after applying start

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

after applying RemoveIds1

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

after applying AlltupId

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

after applying RemoveIds2

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

after applying MapIntoComp

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

after applying MapIntoAlltup

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

after applying LeftAssociate

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

after applying DistlElim

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

after applying LeftAssociate

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

after applying RightAssoc2

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

after applying CompIntoAlltup1

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

after applying RightAssoc2

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

after applying CompIntoAlltup1

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

after applying SelectIntro

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

after applying AlltupId

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

after applying RemoveIds2

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

after applying AddrIntoZip

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

after applying AddrIntoAlltup

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

after applying RemoveIds2

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

after applying RightAssoc2

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

after applying CompIntoAlltup1

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

after applying SelectElim1

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

after applying AddrIntoAlltup

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

after applying RemoveIds1

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

after applying RightAssoc2

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

after applying CompIntoAlltup1

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

after applying RemoveIds1

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

after applying RightAssoc2

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

after applying RemoveIds2

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

after applying RightAssoc2

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

after applying CompIntoAlltup1

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

after applying RemoveIds1

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

after applying RightAssoc2

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

after applying RemoveIds2

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

end trace