after applying start

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

after applying RemoveIds1

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

after applying MapIntoComp

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

after applying MapIntoAlltup

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

after applying MapIntoComp

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

after applying MapIntoAlltup

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

after applying MapIntoComp

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

after applying MapIntoComp

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

after applying LeftAssociate

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

after applying LeftAssociate

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

after applying ConRepeat

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

after applying CompIntoMap

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

after applying CompIntoMap

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

after applying MapIntoComp

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

after applying MapIntoComp

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

after applying DistlElim

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

after applying LeftAssociate

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

after applying CompIntoMap

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

after applying CompIntoMap

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

after applying RightAssoc2

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

after applying CompIntoAlltup1

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

after applying RightAssoc2

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

after applying CompIntoAlltup1

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

after applying RightAssoc2

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

after applying CompIntoAlltup1

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

after applying RightAssoc2

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

after applying CompIntoAlltup1

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

after applying RightAssoc2

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

after applying CompIntoAlltup1

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

after applying RightAssoc2

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

after applying CompIntoAlltup1

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

after applying ConAsorb

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

after applying ConAsorb

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

after applying LengthIntoZip

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

after applying RightAssoc2

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

after applying AddrIntoAlltup

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

after applying LeftAssociate

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

after applying LengthIntoRepeat

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

after applying AddrIntoAlltup

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

after applying MapIntoComp

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

after applying MapIntoComp

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

after applying RightAssoc2

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

after applying AddrIntoZip

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

after applying RightAssoc2

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

after applying AddrIntoAlltup

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

after applying LeftAssociate

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

after applying RepeatFusion

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

after applying RightAssoc2

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

after applying AddrIntoZip

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

after applying RightAssoc2

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

after applying AddrIntoAlltup

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

after applying LeftAssociate

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

after applying RepeatFusion

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

after applying RightAssoc2

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

after applying CompIntoAlltup1

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

after applying RightAssoc2

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

after applying CompIntoAlltup1

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

after applying RightAssoc2

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

after applying ZipElim

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

after applying LeftAssociate

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

after applying RepeatFusion

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

after applying RightAssoc2

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

after applying AddrIntoAlltup

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

after applying RightAssoc2

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

after applying AddrIntoAlltup

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

after applying AddrIntoAlltup

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

after applying RightAssoc2

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

after applying CompIntoAlltup1

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

after applying RightAssoc2

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

after applying AddrIntoAlltup

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

after applying AddrIntoAlltup

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

after applying SelectIntro

( select . (!.(²π₁.²π₁,²π₂.²π₁)^o,repeat.(0,#.²π₂)^o)^o . (id,iota.#.!.(id.²π₁,²π₂)^o)^o . id . id )* . distl . (id,iota.#.id)^o . id . id . id

after applying RepeatPromotion

( repeat . (!.(!.(²π₁.²π₁,²π₂.²π₁)^o,0)^o,#.²π₂)^o . (id,iota.#.!.(id.²π₁,²π₂)^o)^o . id . id )* . distl . (id,iota.#.id)^o . id . id . id

after applying RemoveIds1

( repeat . (!.(!.(²π₁.²π₁,²π₂.²π₁)^o,0)^o,#.²π₂)^o . (id,iota.#.!.(²π₁,²π₂)^o)^o . id . id )* . distl . (id,iota.#.id)^o . id . id . id

after applying AlltupId

( repeat . (!.(!.(²π₁.²π₁,²π₂.²π₁)^o,0)^o,#.²π₂)^o . (id,iota.#.!.id)^o . id . id )* . distl . (id,iota.#.id)^o . id . id . id

after applying RemoveIds2

( repeat . (!.(!.(²π₁.²π₁,²π₂.²π₁)^o,0)^o,#.²π₂)^o . (id,iota.#.!)^o . id . id )* . distl . (id,iota.#.id)^o . id . id . id

after applying LeftAssociate

( repeat . (!.(!.(²π₁.²π₁,²π₂.²π₁)^o,0)^o,#.²π₂)^o . (id,iota.#.!)^o . id . id )* . distl . (id,iota.#.id)^o . id . id . id

after applying RightAssoc2

( repeat . (!.(!.(²π₁.²π₁,²π₂.²π₁)^o,0)^o,#.²π₂)^o . (id,iota.#.!)^o . id . id )* . distl . (id,iota.#.id)^o . id . id . id

after applying CompIntoAlltup1

( repeat . (!.(!.(²π₁.²π₁,²π₂.²π₁)^o,0)^o.(id,iota.#.!)^o,#.²π₂.(id,iota.#.!)^o)^o . id . id )* . distl . (id,iota.#.id)^o . id . id . id

after applying RightAssoc2

( repeat . (!.(!.(²π₁.²π₁,²π₂.²π₁)^o,0)^o.(id,iota.#.!)^o,#.²π₂.(id,iota.#.!)^o)^o . id . id )* . distl . (id,iota.#.id)^o . id . id . id

after applying CompIntoAlltup1

( repeat . (!.(!.(²π₁.²π₁,²π₂.²π₁)^o.(id,iota.#.!)^o,0.(id,iota.#.!)^o)^o,#.²π₂.(id,iota.#.!)^o)^o . id . id )* . distl . (id,iota.#.id)^o . id . id . id

after applying RightAssoc2

( repeat . (!.(!.(²π₁.²π₁,²π₂.²π₁)^o.(id,iota.#.!)^o,0.(id,iota.#.!)^o)^o,#.²π₂.(id,iota.#.!)^o)^o . id . id )* . distl . (id,iota.#.id)^o . id . id . id

after applying CompIntoAlltup1

( repeat . (!.(!.(²π₁.²π₁.(id,iota.#.!)^o,²π₂.²π₁.(id,iota.#.!)^o)^o,0.(id,iota.#.!)^o)^o,#.²π₂.(id,iota.#.!)^o)^o . id . id )* . distl . (id,iota.#.id)^o . id . id . id

after applying RightAssoc2

( repeat . (!.(!.(²π₁.²π₁.(id,iota.#.!)^o,²π₂.²π₁.(id,iota.#.!)^o)^o,0.(id,iota.#.!)^o)^o,#.²π₂.(id,iota.#.!)^o)^o . id . id )* . distl . (id,iota.#.id)^o . id . id . id

after applying AddrIntoAlltup

( repeat . (!.(!.(²π₁.id,²π₂.²π₁.(id,iota.#.!)^o)^o,0.(id,iota.#.!)^o)^o,#.²π₂.(id,iota.#.!)^o)^o . id . id )* . distl . (id,iota.#.id)^o . id . id . id

after applying RemoveIds2

( repeat . (!.(!.(²π₁,²π₂.²π₁.(id,iota.#.!)^o)^o,0.(id,iota.#.!)^o)^o,#.²π₂.(id,iota.#.!)^o)^o . id . id )* . distl . (id,iota.#.id)^o . id . id . id

after applying RightAssoc2

( repeat . (!.(!.(²π₁,²π₂.²π₁.(id,iota.#.!)^o)^o,0.(id,iota.#.!)^o)^o,#.²π₂.(id,iota.#.!)^o)^o . id . id )* . distl . (id,iota.#.id)^o . id . id . id

after applying AddrIntoAlltup

( repeat . (!.(!.(²π₁,²π₂.id)^o,0.(id,iota.#.!)^o)^o,#.²π₂.(id,iota.#.!)^o)^o . id . id )* . distl . (id,iota.#.id)^o . id . id . id

after applying RemoveIds2

( repeat . (!.(!.(²π₁,²π₂)^o,0.(id,iota.#.!)^o)^o,#.²π₂.(id,iota.#.!)^o)^o . id . id )* . distl . (id,iota.#.id)^o . id . id . id

after applying AlltupId

( repeat . (!.(!.id,0.(id,iota.#.!)^o)^o,#.²π₂.(id,iota.#.!)^o)^o . id . id )* . distl . (id,iota.#.id)^o . id . id . id

after applying RemoveIds2

( repeat . (!.(!,0.(id,iota.#.!)^o)^o,#.²π₂.(id,iota.#.!)^o)^o . id . id )* . distl . (id,iota.#.id)^o . id . id . id

after applying ConAsorb

( repeat . (!.(!,0)^o,#.²π₂.(id,iota.#.!)^o)^o . id . id )* . distl . (id,iota.#.id)^o . id . id . id

after applying RightAssoc2

( repeat . (!.(!,0)^o,#.²π₂.(id,iota.#.!)^o)^o . id . id )* . distl . (id,iota.#.id)^o . id . id . id

after applying AddrIntoAlltup

( repeat . (!.(!,0)^o,#.iota.#.!)^o . id . id )* . distl . (id,iota.#.id)^o . id . id . id

after applying LeftAssociate

( repeat . (!.(!,0)^o,#.iota.#.!)^o . id . id )* . distl . (id,iota.#.id)^o . id . id . id

after applying LeftAssociate

( repeat . (!.(!,0)^o,#.iota.#.!)^o . id . id )* . distl . (id,iota.#.id)^o . id . id . id

after applying LengthIntoIota

( repeat . (!.(!,0)^o,id.#.!)^o . id . id )* . distl . (id,iota.#.id)^o . id . id . id

after applying RemoveIds1

( repeat . (!.(!,0)^o,#.!)^o . id . id )* . distl . (id,iota.#.id)^o . id . id . id

after applying RemoveIds1

( repeat . (!.(!,0)^o,#.!)^o . id )* . distl . (id,iota.#.id)^o . id . id . id

after applying RightAssoc2

( repeat . (!.(!,0)^o,#.!)^o . id )* . distl . (id,iota.#.id)^o . id . id . id

after applying CompIntoAlltup1

( repeat . (!.(!,0)^o.id,#.!.id)^o )* . distl . (id,iota.#.id)^o . id . id . id

after applying RightAssoc2

( repeat . (!.(!,0)^o.id,#.!.id)^o )* . distl . (id,iota.#.id)^o . id . id . id

after applying CompIntoAlltup1

( repeat . (!.(!.id,0.id)^o,#.!.id)^o )* . distl . (id,iota.#.id)^o . id . id . id

after applying RemoveIds2

( repeat . (!.(!,0.id)^o,#.!.id)^o )* . distl . (id,iota.#.id)^o . id . id . id

after applying ConAsorb

( repeat . (!.(!,0)^o,#.!.id)^o )* . distl . (id,iota.#.id)^o . id . id . id

after applying RightAssoc2

( repeat . (!.(!,0)^o,#.!.id)^o )* . distl . (id,iota.#.id)^o . id . id . id

after applying RemoveIds2

( repeat . (!.(!,0)^o,#.!)^o )* . distl . (id,iota.#.id)^o . id . id . id

after applying MapIntoComp

( repeat )* . ( (!.(!,0)^o,#.!)^o )* . distl . (id,iota.#.id)^o . id . id . id

after applying MapIntoAlltup

( repeat )* . zip₂ . ((!.(!,0)^o)*,(#.!)*)^o . distl . (id,iota.#.id)^o . id . id . id

after applying MapIntoComp

( repeat )* . zip₂ . ((!)*.((!,0)^o)*,(#.!)*)^o . distl . (id,iota.#.id)^o . id . id . id

after applying MapIntoAlltup

( repeat )* . zip₂ . ((!)*.zip₂.((!)*,(0)*)^o,(#.!)*)^o . distl . (id,iota.#.id)^o . id . id . id

after applying MapIntoComp

( repeat )* . zip₂ . ((!)*.zip₂.((!)*,(0)*)^o,(#)*.(!)*)^o . distl . (id,iota.#.id)^o . id . id . id

after applying LeftAssociate

( repeat )* . zip₂ . ((!)*.zip₂.((!)*,(0)*)^o,(#)*.(!)*)^o . distl . (id,iota.#.id)^o . id . id . id

after applying LeftAssociate

( repeat )* . zip₂ . ((!)*.zip₂.((!)*,(0)*)^o,(#)*.(!)*)^o . distl . (id,iota.#.id)^o . id . id . id

after applying ConRepeat

( repeat )* . zip₂ . ((!)*.zip₂.((!)*,repeat.(0,#)^o)^o,(#)*.(!)*)^o . distl . (id,iota.#.id)^o . id . id . id

after applying CompIntoMap

( repeat )* . zip₂ . ((!)*.zip₂.((!)*,repeat.(0,#)^o)^o,(#.!)*)^o . distl . (id,iota.#.id)^o . id . id . id

after applying MapIntoComp

( repeat )* . zip₂ . ((!)*.zip₂.((!)*,repeat.(0,#)^o)^o,(#)*.(!)*)^o . distl . (id,iota.#.id)^o . id . id . id

after applying DistlElim

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

after applying LeftAssociate

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

after applying CompIntoMap

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

after applying RightAssoc2

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

after applying CompIntoAlltup1

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

after applying RightAssoc2

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

after applying CompIntoAlltup1

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

after applying RightAssoc2

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

after applying CompIntoAlltup1

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

after applying RightAssoc2

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

after applying CompIntoAlltup1

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

after applying RightAssoc2

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

after applying CompIntoAlltup1

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

after applying RightAssoc2

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

after applying CompIntoAlltup1

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

after applying SelectIntro

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

after applying AlltupId

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

after applying RemoveIds2

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

after applying ConAsorb

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

after applying ConAsorb

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

after applying LengthIntoZip

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

after applying RightAssoc2

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

after applying AddrIntoAlltup

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

after applying LeftAssociate

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

after applying LengthIntoRepeat

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

after applying AddrIntoAlltup

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

after applying MapIntoComp

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

after applying RightAssoc3

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

after applying SelectIntro

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

after applying LeftAssociate

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

after applying AlltupId

( repeat )* . zip₂ . ((!)*.zip₂.(select,repeat.(0,#.²π₂)^o)^o,(#)*.select.id)^o . (id,iota.#.id)^o . id . id . id

after applying RightAssoc2

( repeat )* . zip₂ . ((!)*.zip₂.(select,repeat.(0,#.²π₂)^o)^o,(#)*.select.id)^o . (id,iota.#.id)^o . id . id . id

after applying RemoveIds2

( repeat )* . zip₂ . ((!)*.zip₂.(select,repeat.(0,#.²π₂)^o)^o,(#)*.select)^o . (id,iota.#.id)^o . id . id . id

after applying RemoveIds2

( repeat )* . zip₂ . ((!)*.zip₂.(select,repeat.(0,#.²π₂)^o)^o,(#)*.select)^o . (id,iota.#)^o . id . id . id

after applying RightAssoc2

( repeat )* . zip₂ . ((!)*.zip₂.(select,repeat.(0,#.²π₂)^o)^o,(#)*.select)^o . (id,iota.#)^o . id . id . id

after applying CompIntoAlltup1

( repeat )* . zip₂ . ((!)*.zip₂.(select,repeat.(0,#.²π₂)^o)^o.(id,iota.#)^o,(#)*.select.(id,iota.#)^o)^o . id . id . id

after applying RightAssoc2

( repeat )* . zip₂ . ((!)*.zip₂.(select,repeat.(0,#.²π₂)^o)^o.(id,iota.#)^o,(#)*.select.(id,iota.#)^o)^o . id . id . id

after applying CompIntoAlltup1

( repeat )* . zip₂ . ((!)*.zip₂.(select.(id,iota.#)^o,repeat.(0,#.²π₂)^o.(id,iota.#)^o)^o,(#)*.select.(id,iota.#)^o)^o . id . id . id

after applying RightAssoc2

( repeat )* . zip₂ . ((!)*.zip₂.(select.(id,iota.#)^o,repeat.(0,#.²π₂)^o.(id,iota.#)^o)^o,(#)*.select.(id,iota.#)^o)^o . id . id . id

after applying CompIntoAlltup1

( repeat )* . zip₂ . ((!)*.zip₂.(select.(id,iota.#)^o,repeat.(0.(id,iota.#)^o,#.²π₂.(id,iota.#)^o)^o)^o,(#)*.select.(id,iota.#)^o)^o . id . id . id

after applying SelectElim1

( repeat )* . zip₂ . ((!)*.zip₂.(id,repeat.(0.(id,iota.#)^o,#.²π₂.(id,iota.#)^o)^o)^o,(#)*.select.(id,iota.#)^o)^o . id . id . id

after applying ConAsorb

( repeat )* . zip₂ . ((!)*.zip₂.(id,repeat.(0,#.²π₂.(id,iota.#)^o)^o)^o,(#)*.select.(id,iota.#)^o)^o . id . id . id

after applying RightAssoc2

( repeat )* . zip₂ . ((!)*.zip₂.(id,repeat.(0,#.²π₂.(id,iota.#)^o)^o)^o,(#)*.select.(id,iota.#)^o)^o . id . id . id

after applying AddrIntoAlltup

( repeat )* . zip₂ . ((!)*.zip₂.(id,repeat.(0,#.iota.#)^o)^o,(#)*.select.(id,iota.#)^o)^o . id . id . id

after applying LeftAssociate

( repeat )* . zip₂ . ((!)*.zip₂.(id,repeat.(0,#.iota.#)^o)^o,(#)*.select.(id,iota.#)^o)^o . id . id . id

after applying LengthIntoIota

( repeat )* . zip₂ . ((!)*.zip₂.(id,repeat.(0,id.#)^o)^o,(#)*.select.(id,iota.#)^o)^o . id . id . id

after applying RemoveIds1

( repeat )* . zip₂ . ((!)*.zip₂.(id,repeat.(0,#)^o)^o,(#)*.select.(id,iota.#)^o)^o . id . id . id

after applying RightAssoc2

( repeat )* . zip₂ . ((!)*.zip₂.(id,repeat.(0,#)^o)^o,(#)*.select.(id,iota.#)^o)^o . id . id . id

after applying SelectElim1

( repeat )* . zip₂ . ((!)*.zip₂.(id,repeat.(0,#)^o)^o,(#)*.id)^o . id . id . id

after applying RemoveIds2

( repeat )* . zip₂ . ((!)*.zip₂.(id,repeat.(0,#)^o)^o,(#)*)^o . id . id . id

after applying RemoveIds1

( repeat )* . zip₂ . ((!)*.zip₂.(id,repeat.(0,#)^o)^o,(#)*)^o . id . id

after applying RightAssoc2

( repeat )* . zip₂ . ((!)*.zip₂.(id,repeat.(0,#)^o)^o,(#)*)^o . id . id

after applying CompIntoAlltup1

( repeat )* . zip₂ . ((!)*.zip₂.(id,repeat.(0,#)^o)^o.id,(#)*.id)^o . id

after applying RightAssoc2

( repeat )* . zip₂ . ((!)*.zip₂.(id,repeat.(0,#)^o)^o.id,(#)*.id)^o . id

after applying CompIntoAlltup1

( repeat )* . zip₂ . ((!)*.zip₂.(id.id,repeat.(0,#)^o.id)^o,(#)*.id)^o . id

after applying RightAssoc2

( repeat )* . zip₂ . ((!)*.zip₂.(id.id,repeat.(0,#)^o.id)^o,(#)*.id)^o . id

after applying CompIntoAlltup1

( repeat )* . zip₂ . ((!)*.zip₂.(id.id,repeat.(0.id,#.id)^o)^o,(#)*.id)^o . id

after applying RemoveIds1

( repeat )* . zip₂ . ((!)*.zip₂.(id,repeat.(0.id,#.id)^o)^o,(#)*.id)^o . id

after applying ConAsorb

( repeat )* . zip₂ . ((!)*.zip₂.(id,repeat.(0,#.id)^o)^o,(#)*.id)^o . id

after applying RemoveIds2

( repeat )* . zip₂ . ((!)*.zip₂.(id,repeat.(0,#)^o)^o,(#)*.id)^o . id

after applying RemoveIds2

( repeat )* . zip₂ . ((!)*.zip₂.(id,repeat.(0,#)^o)^o,(#)*)^o . id

after applying RightAssoc2

( repeat )* . zip₂ . ((!)*.zip₂.(id,repeat.(0,#)^o)^o,(#)*)^o . id

after applying CompIntoAlltup1

( repeat )* . zip₂ . ((!)*.zip₂.(id,repeat.(0,#)^o)^o.id,(#)*.id)^o

after applying RightAssoc2

( repeat )* . zip₂ . ((!)*.zip₂.(id,repeat.(0,#)^o)^o.id,(#)*.id)^o

after applying CompIntoAlltup1

( repeat )* . zip₂ . ((!)*.zip₂.(id.id,repeat.(0,#)^o.id)^o,(#)*.id)^o

after applying RightAssoc2

( repeat )* . zip₂ . ((!)*.zip₂.(id.id,repeat.(0,#)^o.id)^o,(#)*.id)^o

after applying CompIntoAlltup1

( repeat )* . zip₂ . ((!)*.zip₂.(id.id,repeat.(0.id,#.id)^o)^o,(#)*.id)^o

after applying RemoveIds1

( repeat )* . zip₂ . ((!)*.zip₂.(id,repeat.(0.id,#.id)^o)^o,(#)*.id)^o

after applying ConAsorb

( repeat )* . zip₂ . ((!)*.zip₂.(id,repeat.(0,#.id)^o)^o,(#)*.id)^o

after applying RemoveIds2

( repeat )* . zip₂ . ((!)*.zip₂.(id,repeat.(0,#)^o)^o,(#)*.id)^o

after applying RemoveIds2

( repeat )* . zip₂ . ((!)*.zip₂.(id,repeat.(0,#)^o)^o,(#)*)^o

end trace