after applying start

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

after applying RemoveIds1

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

after applying MapIntoComp

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

after applying MapIntoAlltup

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

after applying MapIntoComp

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

after applying MapIntoAlltup

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

after applying MapIntoComp

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

after applying MapIntoAlltup

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

after applying LeftAssociate

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

after applying LeftAssociate

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

after applying LeftAssociate

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

after applying ConRepeat

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

after applying ConRepeat

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

after applying DistlElim

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

after applying LeftAssociate

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

after applying RightAssoc2

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

after applying CompIntoAlltup1

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

after applying RightAssoc2

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

after applying CompIntoAlltup1

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

after applying RightAssoc2

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

after applying CompIntoAlltup1

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

after applying RightAssoc2

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

after applying CompIntoAlltup1

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

after applying RightAssoc2

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

after applying CompIntoAlltup1

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

after applying RightAssoc2

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

after applying CompIntoAlltup1

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

after applying RightAssoc2

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

after applying CompIntoAlltup1

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

after applying RightAssoc2

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

after applying CompIntoAlltup1

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

after applying RightAssoc2

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

after applying CompIntoAlltup1

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

after applying RightAssoc2

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

after applying CompIntoAlltup1

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

after applying AddrIntoZip

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

after applying AddrIntoAlltup

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

after applying AddrIntoZip

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

after applying AddrIntoAlltup

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

after applying ConAsorb

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

after applying ConAsorb

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

after applying LengthIntoZip

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

after applying RightAssoc2

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

after applying AddrIntoAlltup

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

after applying LeftAssociate

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

after applying LengthIntoRepeat

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

after applying AddrIntoAlltup

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

after applying SelectIntro

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

after applying ConAsorb

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

after applying ConAsorb

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

after applying LengthIntoZip

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

after applying RightAssoc2

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

after applying AddrIntoAlltup

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

after applying LeftAssociate

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

after applying LengthIntoRepeat

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

after applying AddrIntoAlltup

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

after applying RemoveIds2

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

after applying RightAssoc2

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

after applying CompIntoAlltup1

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

after applying RightAssoc2

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

after applying CompIntoAlltup1

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

after applying RightAssoc2

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

after applying CompIntoAlltup1

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

after applying RightAssoc2

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

after applying CompIntoAlltup1

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

after applying RightAssoc2

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

after applying CompIntoAlltup1

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

after applying AddrIntoAlltup

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

after applying AddrIntoAlltup

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

after applying ConAsorb

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

after applying RightAssoc2

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

after applying AddrIntoAlltup

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

after applying LeftAssociate

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

after applying LengthIntoIota

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

after applying RemoveIds1

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

after applying ConAsorb

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

after applying RightAssoc2

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

after applying AddrIntoAlltup

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

after applying LeftAssociate

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

after applying LengthIntoIota

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

after applying RemoveIds1

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

after applying RemoveIds1

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

after applying RightAssoc2

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

after applying CompIntoAlltup1

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

after applying RightAssoc2

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

after applying CompIntoAlltup1

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

after applying RightAssoc2

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

after applying CompIntoAlltup1

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

after applying RightAssoc2

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

after applying CompIntoAlltup1

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

after applying RightAssoc2

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

after applying CompIntoAlltup1

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

after applying RemoveIds1

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

after applying RightAssoc2

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

after applying RemoveIds2

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

after applying ConAsorb

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

after applying RemoveIds2

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

after applying ConAsorb

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

after applying RemoveIds2

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

after applying RightAssoc2

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

after applying CompIntoAlltup1

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

after applying RightAssoc2

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

after applying CompIntoAlltup1

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

after applying RightAssoc2

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

after applying CompIntoAlltup1

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

after applying RightAssoc2

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

after applying CompIntoAlltup1

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

after applying RightAssoc2

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

after applying CompIntoAlltup1

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

after applying RemoveIds1

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

after applying RightAssoc2

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

after applying RemoveIds2

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

after applying ConAsorb

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

after applying RemoveIds2

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

after applying ConAsorb

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

after applying RemoveIds2

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

end trace