after applying start

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

after applying RemoveIds1

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

after applying MapIntoComp

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

after applying MapIntoAlltup

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

after applying MapIntoComp

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

after applying MapIntoAlltup

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

after applying MapIntoComp

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

after applying LeftAssociate

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

after applying LeftAssociate

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

after applying ConRepeat

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

after applying CompIntoMap

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

after applying MapIntoComp

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

after applying DistlElim

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

after applying LeftAssociate

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

after applying CompIntoMap

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

after applying RightAssoc2

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

after applying CompIntoAlltup1

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

after applying RightAssoc2

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

after applying CompIntoAlltup1

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

after applying RightAssoc2

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

after applying CompIntoAlltup1

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

after applying RightAssoc2

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

after applying CompIntoAlltup1

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

after applying RightAssoc2

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

after applying CompIntoAlltup1

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

after applying RightAssoc2

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

after applying CompIntoAlltup1

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

after applying AddrIntoZip

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

after applying AddrIntoAlltup

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

after applying ConAsorb

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

after applying ConAsorb

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

after applying LengthIntoZip

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

after applying RightAssoc2

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

after applying AddrIntoAlltup

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

after applying LeftAssociate

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

after applying LengthIntoRepeat

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

after applying AddrIntoAlltup

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

after applying MapIntoComp

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

after applying RightAssoc2

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

after applying AddrIntoZip

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

after applying RightAssoc2

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

after applying AddrIntoAlltup

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

after applying LeftAssociate

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

after applying RepeatFusion

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

after applying RightAssoc2

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

after applying CompIntoAlltup1

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

after applying RightAssoc2

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

after applying AddrIntoAlltup

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

after applying AddrIntoAlltup

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

after applying SelectIntro

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

after applying RemoveIds1

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

after applying RightAssoc2

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

after applying CompIntoAlltup1

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

after applying RightAssoc2

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

after applying CompIntoAlltup1

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

after applying RightAssoc2

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

after applying CompIntoAlltup1

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

after applying RightAssoc2

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

after applying AddrIntoAlltup

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

after applying RemoveIds2

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

after applying AddrIntoAlltup

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

after applying AlltupId

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

after applying RemoveIds2

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

after applying ConAsorb

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

after applying RightAssoc2

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

after applying AddrIntoAlltup

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

after applying RemoveIds1

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

after applying RightAssoc2

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

after applying CompIntoAlltup1

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

after applying RightAssoc2

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

after applying CompIntoAlltup1

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

after applying RemoveIds2

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

after applying ConAsorb

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

after applying RightAssoc2

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

after applying RemoveIds2

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

after applying RightAssoc2

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

after applying CompIntoAlltup1

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

after applying RightAssoc2

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

after applying CompIntoAlltup1

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

after applying RemoveIds2

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

after applying ConAsorb

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

after applying RightAssoc2

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

after applying RemoveIds2

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

end trace