after applying start

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

after applying RemoveIds1

( ! . (²π₁.²π₁,!.(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 MapIntoComp

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

after applying MapIntoAlltup

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

after applying MapIntoComp

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

after applying MapIntoComp

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

after applying MapIntoAlltup

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

after applying MapIntoComp

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

after applying LeftAssociate

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

after applying LeftAssociate

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

after applying CompIntoMap

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

after applying CompIntoMap

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

after applying MapIntoComp

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

after applying MapIntoComp

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

after applying DistlElim

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

after applying LeftAssociate

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

after applying CompIntoMap

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

after applying CompIntoMap

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

after applying RightAssoc2

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

after applying CompIntoAlltup1

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

after applying RightAssoc2

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

after applying CompIntoAlltup1

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

after applying RightAssoc2

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

after applying CompIntoAlltup1

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

after applying RightAssoc2

( ! )* . zip₂ . ((²π₁.²π₁)*.zip₂.(repeat.(²π₁,#.²π₂)^o,²π₂)^o,(!)*.zip₂.((²π₂.²π₁)*.zip₂,(²π₂)*.zip₂)^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₂.(repeat.(²π₁,#.²π₂)^o,²π₂)^o)^o)^o . (id,iota.#.id.²π₂)^o . id . id . id

after applying AddrIntoZip

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

after applying AddrIntoAlltup

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

after applying MapIntoComp

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

after applying MapIntoComp

( ! )* . zip₂ . ((²π₁)*.(²π₁)*.zip₂.(repeat.(²π₁,#.²π₂)^o,²π₂)^o,(!)*.zip₂.((²π₂)*.(²π₁)*.zip₂.(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,²π₂)^o)^o . (id,iota.#.id.²π₂)^o . id . id . id

after applying AddrIntoZip

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

after applying RightAssoc2

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

after applying AddrIntoAlltup

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

after applying LeftAssociate

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

after applying RepeatFusion

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

after applying RightAssoc2

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

after applying AddrIntoZip

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

after applying RightAssoc2

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

after applying AddrIntoAlltup

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

after applying LeftAssociate

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

after applying RepeatFusion

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

after applying RightAssoc2

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

after applying CompIntoAlltup1

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

after applying RightAssoc2

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

after applying CompIntoAlltup1

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

after applying RightAssoc2

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

after applying AddrIntoAlltup

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

after applying AddrIntoAlltup

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

after applying RightAssoc2

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

after applying AddrIntoAlltup

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

after applying AddrIntoAlltup

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

after applying SelectIntro

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

after applying SelectIntro

select . (²π₁.²π₁,select.(²π₂.²π₁,²π₂)^o)^o . (id,iota.#.id.²π₂)^o . id . id . id

after applying RemoveIds1

select . (²π₁.²π₁,select.(²π₂.²π₁,²π₂)^o)^o . (id,iota.#.²π₂)^o . id . id . id

after applying LeftAssociate

select . (²π₁.²π₁,select.(²π₂.²π₁,²π₂)^o)^o . (id,iota.#.²π₂)^o . id . id . id

after applying RightAssoc2

select . (²π₁.²π₁,select.(²π₂.²π₁,²π₂)^o)^o . (id,iota.#.²π₂)^o . id . id . id

after applying CompIntoAlltup1

select . (²π₁.²π₁.(id,iota.#.²π₂)^o,select.(²π₂.²π₁,²π₂)^o.(id,iota.#.²π₂)^o)^o . id . id . id

after applying RightAssoc2

select . (²π₁.²π₁.(id,iota.#.²π₂)^o,select.(²π₂.²π₁,²π₂)^o.(id,iota.#.²π₂)^o)^o . id . id . id

after applying CompIntoAlltup1

select . (²π₁.²π₁.(id,iota.#.²π₂)^o,select.(²π₂.²π₁.(id,iota.#.²π₂)^o,²π₂.(id,iota.#.²π₂)^o)^o)^o . id . id . id

after applying RightAssoc2

select . (²π₁.²π₁.(id,iota.#.²π₂)^o,select.(²π₂.²π₁.(id,iota.#.²π₂)^o,²π₂.(id,iota.#.²π₂)^o)^o)^o . id . id . id

after applying AddrIntoAlltup

select . (²π₁.id,select.(²π₂.²π₁.(id,iota.#.²π₂)^o,²π₂.(id,iota.#.²π₂)^o)^o)^o . id . id . id

after applying RemoveIds2

select . (²π₁,select.(²π₂.²π₁.(id,iota.#.²π₂)^o,²π₂.(id,iota.#.²π₂)^o)^o)^o . id . id . id

after applying RightAssoc2

select . (²π₁,select.(²π₂.²π₁.(id,iota.#.²π₂)^o,²π₂.(id,iota.#.²π₂)^o)^o)^o . id . id . id

after applying AddrIntoAlltup

select . (²π₁,select.(²π₂.id,²π₂.(id,iota.#.²π₂)^o)^o)^o . id . id . id

after applying RemoveIds2

select . (²π₁,select.(²π₂,²π₂.(id,iota.#.²π₂)^o)^o)^o . id . id . id

after applying AddrIntoAlltup

select . (²π₁,select.(²π₂,iota.#.²π₂)^o)^o . id . id . id

after applying SelectElim3

select . (²π₁,²π₂)^o . id . id . id

after applying AlltupId

select . id . id . id . id

after applying RemoveIds2

select . id . id . id

after applying RemoveIds1

select . id . id

after applying RemoveIds2

select . id

after applying RemoveIds2

select

end trace