after applying start

( + . (!.(id.²π₁,²π₂)^o,!.(id.²π₁,-.(#.id.²π₁,+.(²π₂,1)^o)^o)^o)^o )* . distl . (id,iota.#.id)^o . id . id . id

after applying RemoveIds1

( + . (!.(²π₁,²π₂)^o,!.(id.²π₁,-.(#.id.²π₁,+.(²π₂,1)^o)^o)^o)^o )* . distl . (id,iota.#.id)^o . id . id . id

after applying AlltupId

( + . (!.id,!.(id.²π₁,-.(#.id.²π₁,+.(²π₂,1)^o)^o)^o)^o )* . distl . (id,iota.#.id)^o . id . id . id

after applying RemoveIds2

( + . (!,!.(id.²π₁,-.(#.id.²π₁,+.(²π₂,1)^o)^o)^o)^o )* . distl . (id,iota.#.id)^o . id . id . id

after applying RemoveIds1

( + . (!,!.(²π₁,-.(#.id.²π₁,+.(²π₂,1)^o)^o)^o)^o )* . distl . (id,iota.#.id)^o . id . id . id

after applying RemoveIds1

( + . (!,!.(²π₁,-.(#.²π₁,+.(²π₂,1)^o)^o)^o)^o )* . distl . (id,iota.#.id)^o . id . id . id

after applying MapIntoComp

( + )* . ( (!,!.(²π₁,-.(#.²π₁,+.(²π₂,1)^o)^o)^o)^o )* . distl . (id,iota.#.id)^o . id . id . id

after applying MapIntoAlltup

( + )* . zip₂ . ((!)*,(!.(²π₁,-.(#.²π₁,+.(²π₂,1)^o)^o)^o)*)^o . distl . (id,iota.#.id)^o . id . id . id

after applying MapIntoComp

( + )* . zip₂ . ((!)*,(!)*.((²π₁,-.(#.²π₁,+.(²π₂,1)^o)^o)^o)*)^o . distl . (id,iota.#.id)^o . id . id . id

after applying MapIntoAlltup

( + )* . zip₂ . ((!)*,(!)*.zip₂.((²π₁)*,(-.(#.²π₁,+.(²π₂,1)^o)^o)*)^o)^o . distl . (id,iota.#.id)^o . id . id . id

after applying MapIntoComp

( + )* . zip₂ . ((!)*,(!)*.zip₂.((²π₁)*,(-)*.((#.²π₁,+.(²π₂,1)^o)^o)*)^o)^o . distl . (id,iota.#.id)^o . id . id . id

after applying MapIntoAlltup

( + )* . zip₂ . ((!)*,(!)*.zip₂.((²π₁)*,(-)*.zip₂.((#.²π₁)*,(+.(²π₂,1)^o)*)^o)^o)^o . distl . (id,iota.#.id)^o . id . id . id

after applying MapIntoComp

( + )* . zip₂ . ((!)*,(!)*.zip₂.((²π₁)*,(-)*.zip₂.((#)*.(²π₁)*,(+.(²π₂,1)^o)*)^o)^o)^o . distl . (id,iota.#.id)^o . id . id . id

after applying MapIntoComp

( + )* . zip₂ . ((!)*,(!)*.zip₂.((²π₁)*,(-)*.zip₂.((#)*.(²π₁)*,(+)*.((²π₂,1)^o)*)^o)^o)^o . distl . (id,iota.#.id)^o . id . id . id

after applying MapIntoAlltup

( + )* . zip₂ . ((!)*,(!)*.zip₂.((²π₁)*,(-)*.zip₂.((#)*.(²π₁)*,(+)*.zip₂.((²π₂)*,(1)*)^o)^o)^o)^o . distl . (id,iota.#.id)^o . id . id . id

after applying LeftAssociate

( + )* . zip₂ . ((!)*,(!)*.zip₂.((²π₁)*,(-)*.zip₂.((#)*.(²π₁)*,(+)*.zip₂.((²π₂)*,(1)*)^o)^o)^o)^o . distl . (id,iota.#.id)^o . id . id . id

after applying LeftAssociate

( + )* . zip₂ . ((!)*,(!)*.zip₂.((²π₁)*,(-)*.zip₂.((#)*.(²π₁)*,(+)*.zip₂.((²π₂)*,(1)*)^o)^o)^o)^o . distl . (id,iota.#.id)^o . id . id . id

after applying LeftAssociate

( + )* . zip₂ . ((!)*,(!)*.zip₂.((²π₁)*,(-)*.zip₂.((#)*.(²π₁)*,(+)*.zip₂.((²π₂)*,(1)*)^o)^o)^o)^o . distl . (id,iota.#.id)^o . id . id . id

after applying LeftAssociate

( + )* . zip₂ . ((!)*,(!)*.zip₂.((²π₁)*,(-)*.zip₂.((#)*.(²π₁)*,(+)*.zip₂.((²π₂)*,(1)*)^o)^o)^o)^o . distl . (id,iota.#.id)^o . id . id . id

after applying ConRepeat

( + )* . zip₂ . ((!)*,(!)*.zip₂.((²π₁)*,(-)*.zip₂.((#)*.(²π₁)*,(+)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o)^o)^o)^o . distl . (id,iota.#.id)^o . id . id . id

after applying CompIntoMap

( + )* . zip₂ . ((!)*,(!)*.zip₂.((²π₁)*,(-)*.zip₂.((#.²π₁)*,(+)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o)^o)^o)^o . distl . (id,iota.#.id)^o . id . id . id

after applying MapIntoComp

( + )* . zip₂ . ((!)*,(!)*.zip₂.((²π₁)*,(-)*.zip₂.((#)*.(²π₁)*,(+)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o)^o)^o)^o . distl . (id,iota.#.id)^o . id . id . id

after applying DistlElim

( + )* . zip₂ . ((!)*,(!)*.zip₂.((²π₁)*,(-)*.zip₂.((#)*.(²π₁)*,(+)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o)^o)^o)^o . zip₂ . (repeat.(²π₁,#.²π₂)^o,²π₂)^o . (id,iota.#.id)^o . id . id . id

after applying LeftAssociate

( + )* . zip₂ . ((!)*,(!)*.zip₂.((²π₁)*,(-)*.zip₂.((#)*.(²π₁)*,(+)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o)^o)^o)^o . zip₂ . (repeat.(²π₁,#.²π₂)^o,²π₂)^o . (id,iota.#.id)^o . id . id . id

after applying CompIntoMap

( + )* . zip₂ . ((!)*,(!)*.zip₂.((²π₁)*,(-)*.zip₂.((#.²π₁)*,(+)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o)^o)^o)^o . zip₂ . (repeat.(²π₁,#.²π₂)^o,²π₂)^o . (id,iota.#.id)^o . id . id . id

after applying RightAssoc2

( + )* . zip₂ . ((!)*,(!)*.zip₂.((²π₁)*,(-)*.zip₂.((#.²π₁)*,(+)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o)^o)^o)^o . zip₂ . (repeat.(²π₁,#.²π₂)^o,²π₂)^o . (id,iota.#.id)^o . id . id . id

after applying CompIntoAlltup1

( + )* . zip₂ . ((!)*.zip₂,(!)*.zip₂.((²π₁)*,(-)*.zip₂.((#.²π₁)*,(+)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o)^o)^o.zip₂)^o . (repeat.(²π₁,#.²π₂)^o,²π₂)^o . (id,iota.#.id)^o . id . id . id

after applying RightAssoc2

( + )* . zip₂ . ((!)*.zip₂,(!)*.zip₂.((²π₁)*,(-)*.zip₂.((#.²π₁)*,(+)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o)^o)^o.zip₂)^o . (repeat.(²π₁,#.²π₂)^o,²π₂)^o . (id,iota.#.id)^o . id . id . id

after applying CompIntoAlltup1

( + )* . zip₂ . ((!)*.zip₂,(!)*.zip₂.((²π₁)*.zip₂,(-)*.zip₂.((#.²π₁)*,(+)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o)^o.zip₂)^o)^o . (repeat.(²π₁,#.²π₂)^o,²π₂)^o . (id,iota.#.id)^o . id . id . id

after applying RightAssoc2

( + )* . zip₂ . ((!)*.zip₂,(!)*.zip₂.((²π₁)*.zip₂,(-)*.zip₂.((#.²π₁)*,(+)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o)^o.zip₂)^o)^o . (repeat.(²π₁,#.²π₂)^o,²π₂)^o . (id,iota.#.id)^o . id . id . id

after applying CompIntoAlltup1

( + )* . zip₂ . ((!)*.zip₂,(!)*.zip₂.((²π₁)*.zip₂,(-)*.zip₂.((#.²π₁)*.zip₂,(+)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o.zip₂)^o)^o)^o . (repeat.(²π₁,#.²π₂)^o,²π₂)^o . (id,iota.#.id)^o . id . id . id

after applying RightAssoc2

( + )* . zip₂ . ((!)*.zip₂,(!)*.zip₂.((²π₁)*.zip₂,(-)*.zip₂.((#.²π₁)*.zip₂,(+)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o.zip₂)^o)^o)^o . (repeat.(²π₁,#.²π₂)^o,²π₂)^o . (id,iota.#.id)^o . id . id . id

after applying CompIntoAlltup1

( + )* . zip₂ . ((!)*.zip₂,(!)*.zip₂.((²π₁)*.zip₂,(-)*.zip₂.((#.²π₁)*.zip₂,(+)*.zip₂.((²π₂)*.zip₂,repeat.(1,#)^o.zip₂)^o)^o)^o)^o . (repeat.(²π₁,#.²π₂)^o,²π₂)^o . (id,iota.#.id)^o . id . id . id

after applying RightAssoc2

( + )* . zip₂ . ((!)*.zip₂,(!)*.zip₂.((²π₁)*.zip₂,(-)*.zip₂.((#.²π₁)*.zip₂,(+)*.zip₂.((²π₂)*.zip₂,repeat.(1,#)^o.zip₂)^o)^o)^o)^o . (repeat.(²π₁,#.²π₂)^o,²π₂)^o . (id,iota.#.id)^o . id . id . id

after applying CompIntoAlltup1

( + )* . zip₂ . ((!)*.zip₂,(!)*.zip₂.((²π₁)*.zip₂,(-)*.zip₂.((#.²π₁)*.zip₂,(+)*.zip₂.((²π₂)*.zip₂,repeat.(1.zip₂,#.zip₂)^o)^o)^o)^o)^o . (repeat.(²π₁,#.²π₂)^o,²π₂)^o . (id,iota.#.id)^o . id . id . id

after applying RightAssoc2

( + )* . zip₂ . ((!)*.zip₂,(!)*.zip₂.((²π₁)*.zip₂,(-)*.zip₂.((#.²π₁)*.zip₂,(+)*.zip₂.((²π₂)*.zip₂,repeat.(1.zip₂,#.zip₂)^o)^o)^o)^o)^o . (repeat.(²π₁,#.²π₂)^o,²π₂)^o . (id,iota.#.id)^o . id . id . id

after applying CompIntoAlltup1

( + )* . zip₂ . ((!)*.zip₂.(repeat.(²π₁,#.²π₂)^o,²π₂)^o,(!)*.zip₂.((²π₁)*.zip₂,(-)*.zip₂.((#.²π₁)*.zip₂,(+)*.zip₂.((²π₂)*.zip₂,repeat.(1.zip₂,#.zip₂)^o)^o)^o)^o.(repeat.(²π₁,#.²π₂)^o,²π₂)^o)^o . (id,iota.#.id)^o . id . id . id

after applying RightAssoc2

( + )* . zip₂ . ((!)*.zip₂.(repeat.(²π₁,#.²π₂)^o,²π₂)^o,(!)*.zip₂.((²π₁)*.zip₂,(-)*.zip₂.((#.²π₁)*.zip₂,(+)*.zip₂.((²π₂)*.zip₂,repeat.(1.zip₂,#.zip₂)^o)^o)^o)^o.(repeat.(²π₁,#.²π₂)^o,²π₂)^o)^o . (id,iota.#.id)^o . id . id . id

after applying CompIntoAlltup1

( + )* . zip₂ . ((!)*.zip₂.(repeat.(²π₁,#.²π₂)^o,²π₂)^o,(!)*.zip₂.((²π₁)*.zip₂.(repeat.(²π₁,#.²π₂)^o,²π₂)^o,(-)*.zip₂.((#.²π₁)*.zip₂,(+)*.zip₂.((²π₂)*.zip₂,repeat.(1.zip₂,#.zip₂)^o)^o)^o.(repeat.(²π₁,#.²π₂)^o,²π₂)^o)^o)^o . (id,iota.#.id)^o . id . id . id

after applying RightAssoc2

( + )* . zip₂ . ((!)*.zip₂.(repeat.(²π₁,#.²π₂)^o,²π₂)^o,(!)*.zip₂.((²π₁)*.zip₂.(repeat.(²π₁,#.²π₂)^o,²π₂)^o,(-)*.zip₂.((#.²π₁)*.zip₂,(+)*.zip₂.((²π₂)*.zip₂,repeat.(1.zip₂,#.zip₂)^o)^o)^o.(repeat.(²π₁,#.²π₂)^o,²π₂)^o)^o)^o . (id,iota.#.id)^o . id . id . id

after applying CompIntoAlltup1

( + )* . zip₂ . ((!)*.zip₂.(repeat.(²π₁,#.²π₂)^o,²π₂)^o,(!)*.zip₂.((²π₁)*.zip₂.(repeat.(²π₁,#.²π₂)^o,²π₂)^o,(-)*.zip₂.((#.²π₁)*.zip₂.(repeat.(²π₁,#.²π₂)^o,²π₂)^o,(+)*.zip₂.((²π₂)*.zip₂,repeat.(1.zip₂,#.zip₂)^o)^o.(repeat.(²π₁,#.²π₂)^o,²π₂)^o)^o)^o)^o . (id,iota.#.id)^o . id . id . id

after applying RightAssoc2

( + )* . zip₂ . ((!)*.zip₂.(repeat.(²π₁,#.²π₂)^o,²π₂)^o,(!)*.zip₂.((²π₁)*.zip₂.(repeat.(²π₁,#.²π₂)^o,²π₂)^o,(-)*.zip₂.((#.²π₁)*.zip₂.(repeat.(²π₁,#.²π₂)^o,²π₂)^o,(+)*.zip₂.((²π₂)*.zip₂,repeat.(1.zip₂,#.zip₂)^o)^o.(repeat.(²π₁,#.²π₂)^o,²π₂)^o)^o)^o)^o . (id,iota.#.id)^o . id . id . id

after applying CompIntoAlltup1

( + )* . zip₂ . ((!)*.zip₂.(repeat.(²π₁,#.²π₂)^o,²π₂)^o,(!)*.zip₂.((²π₁)*.zip₂.(repeat.(²π₁,#.²π₂)^o,²π₂)^o,(-)*.zip₂.((#.²π₁)*.zip₂.(repeat.(²π₁,#.²π₂)^o,²π₂)^o,(+)*.zip₂.((²π₂)*.zip₂.(repeat.(²π₁,#.²π₂)^o,²π₂)^o,repeat.(1.zip₂,#.zip₂)^o.(repeat.(²π₁,#.²π₂)^o,²π₂)^o)^o)^o)^o)^o . (id,iota.#.id)^o . id . id . id

after applying RightAssoc2

( + )* . zip₂ . ((!)*.zip₂.(repeat.(²π₁,#.²π₂)^o,²π₂)^o,(!)*.zip₂.((²π₁)*.zip₂.(repeat.(²π₁,#.²π₂)^o,²π₂)^o,(-)*.zip₂.((#.²π₁)*.zip₂.(repeat.(²π₁,#.²π₂)^o,²π₂)^o,(+)*.zip₂.((²π₂)*.zip₂.(repeat.(²π₁,#.²π₂)^o,²π₂)^o,repeat.(1.zip₂,#.zip₂)^o.(repeat.(²π₁,#.²π₂)^o,²π₂)^o)^o)^o)^o)^o . (id,iota.#.id)^o . id . id . id

after applying CompIntoAlltup1

( + )* . zip₂ . ((!)*.zip₂.(repeat.(²π₁,#.²π₂)^o,²π₂)^o,(!)*.zip₂.((²π₁)*.zip₂.(repeat.(²π₁,#.²π₂)^o,²π₂)^o,(-)*.zip₂.((#.²π₁)*.zip₂.(repeat.(²π₁,#.²π₂)^o,²π₂)^o,(+)*.zip₂.((²π₂)*.zip₂.(repeat.(²π₁,#.²π₂)^o,²π₂)^o,repeat.(1.zip₂.(repeat.(²π₁,#.²π₂)^o,²π₂)^o,#.zip₂.(repeat.(²π₁,#.²π₂)^o,²π₂)^o)^o)^o)^o)^o)^o . (id,iota.#.id)^o . id . id . id

after applying SelectIntro

( + )* . zip₂ . (select.(²π₁,²π₂)^o,(!)*.zip₂.((²π₁)*.zip₂.(repeat.(²π₁,#.²π₂)^o,²π₂)^o,(-)*.zip₂.((#.²π₁)*.zip₂.(repeat.(²π₁,#.²π₂)^o,²π₂)^o,(+)*.zip₂.((²π₂)*.zip₂.(repeat.(²π₁,#.²π₂)^o,²π₂)^o,repeat.(1.zip₂.(repeat.(²π₁,#.²π₂)^o,²π₂)^o,#.zip₂.(repeat.(²π₁,#.²π₂)^o,²π₂)^o)^o)^o)^o)^o)^o . (id,iota.#.id)^o . id . id . id

after applying AlltupId

( + )* . zip₂ . (select.id,(!)*.zip₂.((²π₁)*.zip₂.(repeat.(²π₁,#.²π₂)^o,²π₂)^o,(-)*.zip₂.((#.²π₁)*.zip₂.(repeat.(²π₁,#.²π₂)^o,²π₂)^o,(+)*.zip₂.((²π₂)*.zip₂.(repeat.(²π₁,#.²π₂)^o,²π₂)^o,repeat.(1.zip₂.(repeat.(²π₁,#.²π₂)^o,²π₂)^o,#.zip₂.(repeat.(²π₁,#.²π₂)^o,²π₂)^o)^o)^o)^o)^o)^o . (id,iota.#.id)^o . id . id . id

after applying RemoveIds2

( + )* . zip₂ . (select,(!)*.zip₂.((²π₁)*.zip₂.(repeat.(²π₁,#.²π₂)^o,²π₂)^o,(-)*.zip₂.((#.²π₁)*.zip₂.(repeat.(²π₁,#.²π₂)^o,²π₂)^o,(+)*.zip₂.((²π₂)*.zip₂.(repeat.(²π₁,#.²π₂)^o,²π₂)^o,repeat.(1.zip₂.(repeat.(²π₁,#.²π₂)^o,²π₂)^o,#.zip₂.(repeat.(²π₁,#.²π₂)^o,²π₂)^o)^o)^o)^o)^o)^o . (id,iota.#.id)^o . id . id . id

after applying AddrIntoZip

( + )* . zip₂ . (select,(!)*.zip₂.(²π₁.(repeat.(²π₁,#.²π₂)^o,²π₂)^o,(-)*.zip₂.((#.²π₁)*.zip₂.(repeat.(²π₁,#.²π₂)^o,²π₂)^o,(+)*.zip₂.((²π₂)*.zip₂.(repeat.(²π₁,#.²π₂)^o,²π₂)^o,repeat.(1.zip₂.(repeat.(²π₁,#.²π₂)^o,²π₂)^o,#.zip₂.(repeat.(²π₁,#.²π₂)^o,²π₂)^o)^o)^o)^o)^o)^o . (id,iota.#.id)^o . id . id . id

after applying AddrIntoAlltup

( + )* . zip₂ . (select,(!)*.zip₂.(repeat.(²π₁,#.²π₂)^o,(-)*.zip₂.((#.²π₁)*.zip₂.(repeat.(²π₁,#.²π₂)^o,²π₂)^o,(+)*.zip₂.((²π₂)*.zip₂.(repeat.(²π₁,#.²π₂)^o,²π₂)^o,repeat.(1.zip₂.(repeat.(²π₁,#.²π₂)^o,²π₂)^o,#.zip₂.(repeat.(²π₁,#.²π₂)^o,²π₂)^o)^o)^o)^o)^o)^o . (id,iota.#.id)^o . id . id . id

after applying AddrIntoZip

( + )* . zip₂ . (select,(!)*.zip₂.(repeat.(²π₁,#.²π₂)^o,(-)*.zip₂.((#.²π₁)*.zip₂.(repeat.(²π₁,#.²π₂)^o,²π₂)^o,(+)*.zip₂.(²π₂.(repeat.(²π₁,#.²π₂)^o,²π₂)^o,repeat.(1.zip₂.(repeat.(²π₁,#.²π₂)^o,²π₂)^o,#.zip₂.(repeat.(²π₁,#.²π₂)^o,²π₂)^o)^o)^o)^o)^o)^o . (id,iota.#.id)^o . id . id . id

after applying AddrIntoAlltup

( + )* . zip₂ . (select,(!)*.zip₂.(repeat.(²π₁,#.²π₂)^o,(-)*.zip₂.((#.²π₁)*.zip₂.(repeat.(²π₁,#.²π₂)^o,²π₂)^o,(+)*.zip₂.(²π₂,repeat.(1.zip₂.(repeat.(²π₁,#.²π₂)^o,²π₂)^o,#.zip₂.(repeat.(²π₁,#.²π₂)^o,²π₂)^o)^o)^o)^o)^o)^o . (id,iota.#.id)^o . id . id . id

after applying ConAsorb

( + )* . zip₂ . (select,(!)*.zip₂.(repeat.(²π₁,#.²π₂)^o,(-)*.zip₂.((#.²π₁)*.zip₂.(repeat.(²π₁,#.²π₂)^o,²π₂)^o,(+)*.zip₂.(²π₂,repeat.(1.(repeat.(²π₁,#.²π₂)^o,²π₂)^o,#.zip₂.(repeat.(²π₁,#.²π₂)^o,²π₂)^o)^o)^o)^o)^o)^o . (id,iota.#.id)^o . id . id . id

after applying ConAsorb

( + )* . zip₂ . (select,(!)*.zip₂.(repeat.(²π₁,#.²π₂)^o,(-)*.zip₂.((#.²π₁)*.zip₂.(repeat.(²π₁,#.²π₂)^o,²π₂)^o,(+)*.zip₂.(²π₂,repeat.(1,#.zip₂.(repeat.(²π₁,#.²π₂)^o,²π₂)^o)^o)^o)^o)^o)^o . (id,iota.#.id)^o . id . id . id

after applying LengthIntoZip

( + )* . zip₂ . (select,(!)*.zip₂.(repeat.(²π₁,#.²π₂)^o,(-)*.zip₂.((#.²π₁)*.zip₂.(repeat.(²π₁,#.²π₂)^o,²π₂)^o,(+)*.zip₂.(²π₂,repeat.(1,#.²π₁.(repeat.(²π₁,#.²π₂)^o,²π₂)^o)^o)^o)^o)^o)^o . (id,iota.#.id)^o . id . id . id

after applying RightAssoc2

( + )* . zip₂ . (select,(!)*.zip₂.(repeat.(²π₁,#.²π₂)^o,(-)*.zip₂.((#.²π₁)*.zip₂.(repeat.(²π₁,#.²π₂)^o,²π₂)^o,(+)*.zip₂.(²π₂,repeat.(1,#.²π₁.(repeat.(²π₁,#.²π₂)^o,²π₂)^o)^o)^o)^o)^o)^o . (id,iota.#.id)^o . id . id . id

after applying AddrIntoAlltup

( + )* . zip₂ . (select,(!)*.zip₂.(repeat.(²π₁,#.²π₂)^o,(-)*.zip₂.((#.²π₁)*.zip₂.(repeat.(²π₁,#.²π₂)^o,²π₂)^o,(+)*.zip₂.(²π₂,repeat.(1,#.repeat.(²π₁,#.²π₂)^o)^o)^o)^o)^o)^o . (id,iota.#.id)^o . id . id . id

after applying LeftAssociate

( + )* . zip₂ . (select,(!)*.zip₂.(repeat.(²π₁,#.²π₂)^o,(-)*.zip₂.((#.²π₁)*.zip₂.(repeat.(²π₁,#.²π₂)^o,²π₂)^o,(+)*.zip₂.(²π₂,repeat.(1,#.repeat.(²π₁,#.²π₂)^o)^o)^o)^o)^o)^o . (id,iota.#.id)^o . id . id . id

after applying LengthIntoRepeat

( + )* . zip₂ . (select,(!)*.zip₂.(repeat.(²π₁,#.²π₂)^o,(-)*.zip₂.((#.²π₁)*.zip₂.(repeat.(²π₁,#.²π₂)^o,²π₂)^o,(+)*.zip₂.(²π₂,repeat.(1,²π₂.(²π₁,#.²π₂)^o)^o)^o)^o)^o)^o . (id,iota.#.id)^o . id . id . id

after applying AddrIntoAlltup

( + )* . zip₂ . (select,(!)*.zip₂.(repeat.(²π₁,#.²π₂)^o,(-)*.zip₂.((#.²π₁)*.zip₂.(repeat.(²π₁,#.²π₂)^o,²π₂)^o,(+)*.zip₂.(²π₂,repeat.(1,#.²π₂)^o)^o)^o)^o)^o . (id,iota.#.id)^o . id . id . id

after applying SelectIntro

( + )* . zip₂ . (select,select.(²π₁,(-)*.zip₂.((#.²π₁)*.zip₂.(repeat.(²π₁,#.²π₂)^o,²π₂)^o,(+)*.zip₂.(²π₂,repeat.(1,#.²π₂)^o)^o)^o)^o)^o . (id,iota.#.id)^o . id . id . id

after applying MapIntoComp

( + )* . zip₂ . (select,select.(²π₁,(-)*.zip₂.((#)*.(²π₁)*.zip₂.(repeat.(²π₁,#.²π₂)^o,²π₂)^o,(+)*.zip₂.(²π₂,repeat.(1,#.²π₂)^o)^o)^o)^o)^o . (id,iota.#.id)^o . id . id . id

after applying RightAssoc2

( + )* . zip₂ . (select,select.(²π₁,(-)*.zip₂.((#)*.(²π₁)*.zip₂.(repeat.(²π₁,#.²π₂)^o,²π₂)^o,(+)*.zip₂.(²π₂,repeat.(1,#.²π₂)^o)^o)^o)^o)^o . (id,iota.#.id)^o . id . id . id

after applying AddrIntoZip

( + )* . zip₂ . (select,select.(²π₁,(-)*.zip₂.((#)*.²π₁.(repeat.(²π₁,#.²π₂)^o,²π₂)^o,(+)*.zip₂.(²π₂,repeat.(1,#.²π₂)^o)^o)^o)^o)^o . (id,iota.#.id)^o . id . id . id

after applying RightAssoc2

( + )* . zip₂ . (select,select.(²π₁,(-)*.zip₂.((#)*.²π₁.(repeat.(²π₁,#.²π₂)^o,²π₂)^o,(+)*.zip₂.(²π₂,repeat.(1,#.²π₂)^o)^o)^o)^o)^o . (id,iota.#.id)^o . id . id . id

after applying AddrIntoAlltup

( + )* . zip₂ . (select,select.(²π₁,(-)*.zip₂.((#)*.repeat.(²π₁,#.²π₂)^o,(+)*.zip₂.(²π₂,repeat.(1,#.²π₂)^o)^o)^o)^o)^o . (id,iota.#.id)^o . id . id . id

after applying LeftAssociate

( + )* . zip₂ . (select,select.(²π₁,(-)*.zip₂.((#)*.repeat.(²π₁,#.²π₂)^o,(+)*.zip₂.(²π₂,repeat.(1,#.²π₂)^o)^o)^o)^o)^o . (id,iota.#.id)^o . id . id . id

after applying RepeatFusion

( + )* . zip₂ . (select,select.(²π₁,(-)*.zip₂.(repeat.(#.²π₁,²π₂)^o.(²π₁,#.²π₂)^o,(+)*.zip₂.(²π₂,repeat.(1,#.²π₂)^o)^o)^o)^o)^o . (id,iota.#.id)^o . id . id . id

after applying RightAssoc2

( + )* . zip₂ . (select,select.(²π₁,(-)*.zip₂.(repeat.(#.²π₁,²π₂)^o.(²π₁,#.²π₂)^o,(+)*.zip₂.(²π₂,repeat.(1,#.²π₂)^o)^o)^o)^o)^o . (id,iota.#.id)^o . id . id . id

after applying CompIntoAlltup1

( + )* . zip₂ . (select,select.(²π₁,(-)*.zip₂.(repeat.(#.²π₁.(²π₁,#.²π₂)^o,²π₂.(²π₁,#.²π₂)^o)^o,(+)*.zip₂.(²π₂,repeat.(1,#.²π₂)^o)^o)^o)^o)^o . (id,iota.#.id)^o . id . id . id

after applying RightAssoc2

( + )* . zip₂ . (select,select.(²π₁,(-)*.zip₂.(repeat.(#.²π₁.(²π₁,#.²π₂)^o,²π₂.(²π₁,#.²π₂)^o)^o,(+)*.zip₂.(²π₂,repeat.(1,#.²π₂)^o)^o)^o)^o)^o . (id,iota.#.id)^o . id . id . id

after applying AddrIntoAlltup

( + )* . zip₂ . (select,select.(²π₁,(-)*.zip₂.(repeat.(#.²π₁,²π₂.(²π₁,#.²π₂)^o)^o,(+)*.zip₂.(²π₂,repeat.(1,#.²π₂)^o)^o)^o)^o)^o . (id,iota.#.id)^o . id . id . id

after applying AddrIntoAlltup

( + )* . zip₂ . (select,select.(²π₁,(-)*.zip₂.(repeat.(#.²π₁,#.²π₂)^o,(+)*.zip₂.(²π₂,repeat.(1,#.²π₂)^o)^o)^o)^o)^o . (id,iota.#.id)^o . id . id . id

after applying RemoveIds2

( + )* . zip₂ . (select,select.(²π₁,(-)*.zip₂.(repeat.(#.²π₁,#.²π₂)^o,(+)*.zip₂.(²π₂,repeat.(1,#.²π₂)^o)^o)^o)^o)^o . (id,iota.#)^o . id . id . id

after applying RightAssoc2

( + )* . zip₂ . (select,select.(²π₁,(-)*.zip₂.(repeat.(#.²π₁,#.²π₂)^o,(+)*.zip₂.(²π₂,repeat.(1,#.²π₂)^o)^o)^o)^o)^o . (id,iota.#)^o . id . id . id

after applying CompIntoAlltup1

( + )* . zip₂ . (select.(id,iota.#)^o,select.(²π₁,(-)*.zip₂.(repeat.(#.²π₁,#.²π₂)^o,(+)*.zip₂.(²π₂,repeat.(1,#.²π₂)^o)^o)^o)^o.(id,iota.#)^o)^o . id . id . id

after applying RightAssoc2

( + )* . zip₂ . (select.(id,iota.#)^o,select.(²π₁,(-)*.zip₂.(repeat.(#.²π₁,#.²π₂)^o,(+)*.zip₂.(²π₂,repeat.(1,#.²π₂)^o)^o)^o)^o.(id,iota.#)^o)^o . id . id . id

after applying CompIntoAlltup1

( + )* . zip₂ . (select.(id,iota.#)^o,select.(²π₁.(id,iota.#)^o,(-)*.zip₂.(repeat.(#.²π₁,#.²π₂)^o,(+)*.zip₂.(²π₂,repeat.(1,#.²π₂)^o)^o)^o.(id,iota.#)^o)^o)^o . id . id . id

after applying RightAssoc2

( + )* . zip₂ . (select.(id,iota.#)^o,select.(²π₁.(id,iota.#)^o,(-)*.zip₂.(repeat.(#.²π₁,#.²π₂)^o,(+)*.zip₂.(²π₂,repeat.(1,#.²π₂)^o)^o)^o.(id,iota.#)^o)^o)^o . id . id . id

after applying CompIntoAlltup1

( + )* . zip₂ . (select.(id,iota.#)^o,select.(²π₁.(id,iota.#)^o,(-)*.zip₂.(repeat.(#.²π₁,#.²π₂)^o.(id,iota.#)^o,(+)*.zip₂.(²π₂,repeat.(1,#.²π₂)^o)^o.(id,iota.#)^o)^o)^o)^o . id . id . id

after applying RightAssoc2

( + )* . zip₂ . (select.(id,iota.#)^o,select.(²π₁.(id,iota.#)^o,(-)*.zip₂.(repeat.(#.²π₁,#.²π₂)^o.(id,iota.#)^o,(+)*.zip₂.(²π₂,repeat.(1,#.²π₂)^o)^o.(id,iota.#)^o)^o)^o)^o . id . id . id

after applying CompIntoAlltup1

( + )* . zip₂ . (select.(id,iota.#)^o,select.(²π₁.(id,iota.#)^o,(-)*.zip₂.(repeat.(#.²π₁.(id,iota.#)^o,#.²π₂.(id,iota.#)^o)^o,(+)*.zip₂.(²π₂,repeat.(1,#.²π₂)^o)^o.(id,iota.#)^o)^o)^o)^o . id . id . id

after applying RightAssoc2

( + )* . zip₂ . (select.(id,iota.#)^o,select.(²π₁.(id,iota.#)^o,(-)*.zip₂.(repeat.(#.²π₁.(id,iota.#)^o,#.²π₂.(id,iota.#)^o)^o,(+)*.zip₂.(²π₂,repeat.(1,#.²π₂)^o)^o.(id,iota.#)^o)^o)^o)^o . id . id . id

after applying CompIntoAlltup1

( + )* . zip₂ . (select.(id,iota.#)^o,select.(²π₁.(id,iota.#)^o,(-)*.zip₂.(repeat.(#.²π₁.(id,iota.#)^o,#.²π₂.(id,iota.#)^o)^o,(+)*.zip₂.(²π₂.(id,iota.#)^o,repeat.(1,#.²π₂)^o.(id,iota.#)^o)^o)^o)^o)^o . id . id . id

after applying RightAssoc2

( + )* . zip₂ . (select.(id,iota.#)^o,select.(²π₁.(id,iota.#)^o,(-)*.zip₂.(repeat.(#.²π₁.(id,iota.#)^o,#.²π₂.(id,iota.#)^o)^o,(+)*.zip₂.(²π₂.(id,iota.#)^o,repeat.(1,#.²π₂)^o.(id,iota.#)^o)^o)^o)^o)^o . id . id . id

after applying CompIntoAlltup1

( + )* . zip₂ . (select.(id,iota.#)^o,select.(²π₁.(id,iota.#)^o,(-)*.zip₂.(repeat.(#.²π₁.(id,iota.#)^o,#.²π₂.(id,iota.#)^o)^o,(+)*.zip₂.(²π₂.(id,iota.#)^o,repeat.(1.(id,iota.#)^o,#.²π₂.(id,iota.#)^o)^o)^o)^o)^o)^o . id . id . id

after applying SelectElim1

( + )* . zip₂ . (id,select.(²π₁.(id,iota.#)^o,(-)*.zip₂.(repeat.(#.²π₁.(id,iota.#)^o,#.²π₂.(id,iota.#)^o)^o,(+)*.zip₂.(²π₂.(id,iota.#)^o,repeat.(1.(id,iota.#)^o,#.²π₂.(id,iota.#)^o)^o)^o)^o)^o)^o . id . id . id

after applying AddrIntoAlltup

( + )* . zip₂ . (id,select.(id,(-)*.zip₂.(repeat.(#.²π₁.(id,iota.#)^o,#.²π₂.(id,iota.#)^o)^o,(+)*.zip₂.(²π₂.(id,iota.#)^o,repeat.(1.(id,iota.#)^o,#.²π₂.(id,iota.#)^o)^o)^o)^o)^o)^o . id . id . id

after applying RightAssoc2

( + )* . zip₂ . (id,select.(id,(-)*.zip₂.(repeat.(#.²π₁.(id,iota.#)^o,#.²π₂.(id,iota.#)^o)^o,(+)*.zip₂.(²π₂.(id,iota.#)^o,repeat.(1.(id,iota.#)^o,#.²π₂.(id,iota.#)^o)^o)^o)^o)^o)^o . id . id . id

after applying AddrIntoAlltup

( + )* . zip₂ . (id,select.(id,(-)*.zip₂.(repeat.(#.id,#.²π₂.(id,iota.#)^o)^o,(+)*.zip₂.(²π₂.(id,iota.#)^o,repeat.(1.(id,iota.#)^o,#.²π₂.(id,iota.#)^o)^o)^o)^o)^o)^o . id . id . id

after applying RemoveIds2

( + )* . zip₂ . (id,select.(id,(-)*.zip₂.(repeat.(#,#.²π₂.(id,iota.#)^o)^o,(+)*.zip₂.(²π₂.(id,iota.#)^o,repeat.(1.(id,iota.#)^o,#.²π₂.(id,iota.#)^o)^o)^o)^o)^o)^o . id . id . id

after applying RightAssoc2

( + )* . zip₂ . (id,select.(id,(-)*.zip₂.(repeat.(#,#.²π₂.(id,iota.#)^o)^o,(+)*.zip₂.(²π₂.(id,iota.#)^o,repeat.(1.(id,iota.#)^o,#.²π₂.(id,iota.#)^o)^o)^o)^o)^o)^o . id . id . id

after applying AddrIntoAlltup

( + )* . zip₂ . (id,select.(id,(-)*.zip₂.(repeat.(#,#.iota.#)^o,(+)*.zip₂.(²π₂.(id,iota.#)^o,repeat.(1.(id,iota.#)^o,#.²π₂.(id,iota.#)^o)^o)^o)^o)^o)^o . id . id . id

after applying LeftAssociate

( + )* . zip₂ . (id,select.(id,(-)*.zip₂.(repeat.(#,#.iota.#)^o,(+)*.zip₂.(²π₂.(id,iota.#)^o,repeat.(1.(id,iota.#)^o,#.²π₂.(id,iota.#)^o)^o)^o)^o)^o)^o . id . id . id

after applying LengthIntoIota

( + )* . zip₂ . (id,select.(id,(-)*.zip₂.(repeat.(#,id.#)^o,(+)*.zip₂.(²π₂.(id,iota.#)^o,repeat.(1.(id,iota.#)^o,#.²π₂.(id,iota.#)^o)^o)^o)^o)^o)^o . id . id . id

after applying RemoveIds1

( + )* . zip₂ . (id,select.(id,(-)*.zip₂.(repeat.(#,#)^o,(+)*.zip₂.(²π₂.(id,iota.#)^o,repeat.(1.(id,iota.#)^o,#.²π₂.(id,iota.#)^o)^o)^o)^o)^o)^o . id . id . id

after applying AddrIntoAlltup

( + )* . zip₂ . (id,select.(id,(-)*.zip₂.(repeat.(#,#)^o,(+)*.zip₂.(iota.#,repeat.(1.(id,iota.#)^o,#.²π₂.(id,iota.#)^o)^o)^o)^o)^o)^o . id . id . id

after applying ConAsorb

( + )* . zip₂ . (id,select.(id,(-)*.zip₂.(repeat.(#,#)^o,(+)*.zip₂.(iota.#,repeat.(1,#.²π₂.(id,iota.#)^o)^o)^o)^o)^o)^o . id . id . id

after applying RightAssoc2

( + )* . zip₂ . (id,select.(id,(-)*.zip₂.(repeat.(#,#)^o,(+)*.zip₂.(iota.#,repeat.(1,#.²π₂.(id,iota.#)^o)^o)^o)^o)^o)^o . id . id . id

after applying AddrIntoAlltup

( + )* . zip₂ . (id,select.(id,(-)*.zip₂.(repeat.(#,#)^o,(+)*.zip₂.(iota.#,repeat.(1,#.iota.#)^o)^o)^o)^o)^o . id . id . id

after applying LeftAssociate

( + )* . zip₂ . (id,select.(id,(-)*.zip₂.(repeat.(#,#)^o,(+)*.zip₂.(iota.#,repeat.(1,#.iota.#)^o)^o)^o)^o)^o . id . id . id

after applying LengthIntoIota

( + )* . zip₂ . (id,select.(id,(-)*.zip₂.(repeat.(#,#)^o,(+)*.zip₂.(iota.#,repeat.(1,id.#)^o)^o)^o)^o)^o . id . id . id

after applying RemoveIds1

( + )* . zip₂ . (id,select.(id,(-)*.zip₂.(repeat.(#,#)^o,(+)*.zip₂.(iota.#,repeat.(1,#)^o)^o)^o)^o)^o . id . id . id

after applying RemoveIds1

( + )* . zip₂ . (id,select.(id,(-)*.zip₂.(repeat.(#,#)^o,(+)*.zip₂.(iota.#,repeat.(1,#)^o)^o)^o)^o)^o . id . id

after applying RightAssoc2

( + )* . zip₂ . (id,select.(id,(-)*.zip₂.(repeat.(#,#)^o,(+)*.zip₂.(iota.#,repeat.(1,#)^o)^o)^o)^o)^o . id . id

after applying CompIntoAlltup1

( + )* . zip₂ . (id.id,select.(id,(-)*.zip₂.(repeat.(#,#)^o,(+)*.zip₂.(iota.#,repeat.(1,#)^o)^o)^o)^o.id)^o . id

after applying RightAssoc2

( + )* . zip₂ . (id.id,select.(id,(-)*.zip₂.(repeat.(#,#)^o,(+)*.zip₂.(iota.#,repeat.(1,#)^o)^o)^o)^o.id)^o . id

after applying CompIntoAlltup1

( + )* . zip₂ . (id.id,select.(id.id,(-)*.zip₂.(repeat.(#,#)^o,(+)*.zip₂.(iota.#,repeat.(1,#)^o)^o)^o.id)^o)^o . id

after applying RightAssoc2

( + )* . zip₂ . (id.id,select.(id.id,(-)*.zip₂.(repeat.(#,#)^o,(+)*.zip₂.(iota.#,repeat.(1,#)^o)^o)^o.id)^o)^o . id

after applying CompIntoAlltup1

( + )* . zip₂ . (id.id,select.(id.id,(-)*.zip₂.(repeat.(#,#)^o.id,(+)*.zip₂.(iota.#,repeat.(1,#)^o)^o.id)^o)^o)^o . id

after applying RightAssoc2

( + )* . zip₂ . (id.id,select.(id.id,(-)*.zip₂.(repeat.(#,#)^o.id,(+)*.zip₂.(iota.#,repeat.(1,#)^o)^o.id)^o)^o)^o . id

after applying CompIntoAlltup1

( + )* . zip₂ . (id.id,select.(id.id,(-)*.zip₂.(repeat.(#.id,#.id)^o,(+)*.zip₂.(iota.#,repeat.(1,#)^o)^o.id)^o)^o)^o . id

after applying RightAssoc2

( + )* . zip₂ . (id.id,select.(id.id,(-)*.zip₂.(repeat.(#.id,#.id)^o,(+)*.zip₂.(iota.#,repeat.(1,#)^o)^o.id)^o)^o)^o . id

after applying CompIntoAlltup1

( + )* . zip₂ . (id.id,select.(id.id,(-)*.zip₂.(repeat.(#.id,#.id)^o,(+)*.zip₂.(iota.#.id,repeat.(1,#)^o.id)^o)^o)^o)^o . id

after applying RightAssoc2

( + )* . zip₂ . (id.id,select.(id.id,(-)*.zip₂.(repeat.(#.id,#.id)^o,(+)*.zip₂.(iota.#.id,repeat.(1,#)^o.id)^o)^o)^o)^o . id

after applying CompIntoAlltup1

( + )* . zip₂ . (id.id,select.(id.id,(-)*.zip₂.(repeat.(#.id,#.id)^o,(+)*.zip₂.(iota.#.id,repeat.(1.id,#.id)^o)^o)^o)^o)^o . id

after applying RemoveIds1

( + )* . zip₂ . (id,select.(id.id,(-)*.zip₂.(repeat.(#.id,#.id)^o,(+)*.zip₂.(iota.#.id,repeat.(1.id,#.id)^o)^o)^o)^o)^o . id

after applying RemoveIds1

( + )* . zip₂ . (id,select.(id,(-)*.zip₂.(repeat.(#.id,#.id)^o,(+)*.zip₂.(iota.#.id,repeat.(1.id,#.id)^o)^o)^o)^o)^o . id

after applying RemoveIds2

( + )* . zip₂ . (id,select.(id,(-)*.zip₂.(repeat.(#,#.id)^o,(+)*.zip₂.(iota.#.id,repeat.(1.id,#.id)^o)^o)^o)^o)^o . id

after applying RemoveIds2

( + )* . zip₂ . (id,select.(id,(-)*.zip₂.(repeat.(#,#)^o,(+)*.zip₂.(iota.#.id,repeat.(1.id,#.id)^o)^o)^o)^o)^o . id

after applying RightAssoc2

( + )* . zip₂ . (id,select.(id,(-)*.zip₂.(repeat.(#,#)^o,(+)*.zip₂.(iota.#.id,repeat.(1.id,#.id)^o)^o)^o)^o)^o . id

after applying RemoveIds2

( + )* . zip₂ . (id,select.(id,(-)*.zip₂.(repeat.(#,#)^o,(+)*.zip₂.(iota.#,repeat.(1.id,#.id)^o)^o)^o)^o)^o . id

after applying ConAsorb

( + )* . zip₂ . (id,select.(id,(-)*.zip₂.(repeat.(#,#)^o,(+)*.zip₂.(iota.#,repeat.(1,#.id)^o)^o)^o)^o)^o . id

after applying RemoveIds2

( + )* . zip₂ . (id,select.(id,(-)*.zip₂.(repeat.(#,#)^o,(+)*.zip₂.(iota.#,repeat.(1,#)^o)^o)^o)^o)^o . id

after applying RightAssoc2

( + )* . zip₂ . (id,select.(id,(-)*.zip₂.(repeat.(#,#)^o,(+)*.zip₂.(iota.#,repeat.(1,#)^o)^o)^o)^o)^o . id

after applying CompIntoAlltup1

( + )* . zip₂ . (id.id,select.(id,(-)*.zip₂.(repeat.(#,#)^o,(+)*.zip₂.(iota.#,repeat.(1,#)^o)^o)^o)^o.id)^o

after applying RightAssoc2

( + )* . zip₂ . (id.id,select.(id,(-)*.zip₂.(repeat.(#,#)^o,(+)*.zip₂.(iota.#,repeat.(1,#)^o)^o)^o)^o.id)^o

after applying CompIntoAlltup1

( + )* . zip₂ . (id.id,select.(id.id,(-)*.zip₂.(repeat.(#,#)^o,(+)*.zip₂.(iota.#,repeat.(1,#)^o)^o)^o.id)^o)^o

after applying RightAssoc2

( + )* . zip₂ . (id.id,select.(id.id,(-)*.zip₂.(repeat.(#,#)^o,(+)*.zip₂.(iota.#,repeat.(1,#)^o)^o)^o.id)^o)^o

after applying CompIntoAlltup1

( + )* . zip₂ . (id.id,select.(id.id,(-)*.zip₂.(repeat.(#,#)^o.id,(+)*.zip₂.(iota.#,repeat.(1,#)^o)^o.id)^o)^o)^o

after applying RightAssoc2

( + )* . zip₂ . (id.id,select.(id.id,(-)*.zip₂.(repeat.(#,#)^o.id,(+)*.zip₂.(iota.#,repeat.(1,#)^o)^o.id)^o)^o)^o

after applying CompIntoAlltup1

( + )* . zip₂ . (id.id,select.(id.id,(-)*.zip₂.(repeat.(#.id,#.id)^o,(+)*.zip₂.(iota.#,repeat.(1,#)^o)^o.id)^o)^o)^o

after applying RightAssoc2

( + )* . zip₂ . (id.id,select.(id.id,(-)*.zip₂.(repeat.(#.id,#.id)^o,(+)*.zip₂.(iota.#,repeat.(1,#)^o)^o.id)^o)^o)^o

after applying CompIntoAlltup1

( + )* . zip₂ . (id.id,select.(id.id,(-)*.zip₂.(repeat.(#.id,#.id)^o,(+)*.zip₂.(iota.#.id,repeat.(1,#)^o.id)^o)^o)^o)^o

after applying RightAssoc2

( + )* . zip₂ . (id.id,select.(id.id,(-)*.zip₂.(repeat.(#.id,#.id)^o,(+)*.zip₂.(iota.#.id,repeat.(1,#)^o.id)^o)^o)^o)^o

after applying CompIntoAlltup1

( + )* . zip₂ . (id.id,select.(id.id,(-)*.zip₂.(repeat.(#.id,#.id)^o,(+)*.zip₂.(iota.#.id,repeat.(1.id,#.id)^o)^o)^o)^o)^o

after applying RemoveIds1

( + )* . zip₂ . (id,select.(id.id,(-)*.zip₂.(repeat.(#.id,#.id)^o,(+)*.zip₂.(iota.#.id,repeat.(1.id,#.id)^o)^o)^o)^o)^o

after applying RemoveIds1

( + )* . zip₂ . (id,select.(id,(-)*.zip₂.(repeat.(#.id,#.id)^o,(+)*.zip₂.(iota.#.id,repeat.(1.id,#.id)^o)^o)^o)^o)^o

after applying RemoveIds2

( + )* . zip₂ . (id,select.(id,(-)*.zip₂.(repeat.(#,#.id)^o,(+)*.zip₂.(iota.#.id,repeat.(1.id,#.id)^o)^o)^o)^o)^o

after applying RemoveIds2

( + )* . zip₂ . (id,select.(id,(-)*.zip₂.(repeat.(#,#)^o,(+)*.zip₂.(iota.#.id,repeat.(1.id,#.id)^o)^o)^o)^o)^o

after applying RightAssoc2

( + )* . zip₂ . (id,select.(id,(-)*.zip₂.(repeat.(#,#)^o,(+)*.zip₂.(iota.#.id,repeat.(1.id,#.id)^o)^o)^o)^o)^o

after applying RemoveIds2

( + )* . zip₂ . (id,select.(id,(-)*.zip₂.(repeat.(#,#)^o,(+)*.zip₂.(iota.#,repeat.(1.id,#.id)^o)^o)^o)^o)^o

after applying ConAsorb

( + )* . zip₂ . (id,select.(id,(-)*.zip₂.(repeat.(#,#)^o,(+)*.zip₂.(iota.#,repeat.(1,#.id)^o)^o)^o)^o)^o

after applying RemoveIds2

( + )* . zip₂ . (id,select.(id,(-)*.zip₂.(repeat.(#,#)^o,(+)*.zip₂.(iota.#,repeat.(1,#)^o)^o)^o)^o)^o

after applying AlltupIntoComp

( + )* . zip₂ . (id,select.(id,(-)*.zip₂.(repeat.(id,id)^o.#,(+)*.zip₂.(iota.#,repeat.(1,#)^o)^o)^o)^o)^o

end trace