after applying start

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

after applying MapIntoComp

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

after applying MapIntoAlltup

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

after applying LeftAssociate

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

after applying ConRepeat

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

after applying DistlElim

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

after applying LeftAssociate

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

after applying RightAssoc2

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

after applying CompIntoAlltup1

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

after applying RightAssoc2

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

after applying CompIntoAlltup1

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

after applying RightAssoc2

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

after applying CompIntoAlltup1

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

after applying RightAssoc2

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

after applying CompIntoAlltup1

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

after applying AddrIntoZip

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

after applying AddrIntoAlltup

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

after applying ConAsorb

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

after applying ConAsorb

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

after applying LengthIntoZip

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

after applying RightAssoc2

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

after applying AddrIntoAlltup

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

after applying LeftAssociate

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

after applying LengthIntoRepeat

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

after applying AddrIntoAlltup

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

after applying RightAssoc2

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

after applying CompIntoAlltup1

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

after applying RightAssoc2

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

after applying CompIntoAlltup1

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

after applying AddrIntoAlltup

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

after applying ConAsorb

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

after applying RightAssoc2

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

after applying AddrIntoAlltup

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

after applying RemoveIds1

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

after applying RightAssoc2

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

after applying CompIntoAlltup1

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

after applying RightAssoc2

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

after applying CompIntoAlltup1

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

after applying RemoveIds2

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

after applying ConAsorb

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

after applying RightAssoc2

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

after applying RemoveIds2

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

after applying MapIntoComp

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

after applying MapIntoComp

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

after applying MapIntoAlltup

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

after applying MapIntoComp

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

after applying MapIntoAlltup

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

after applying MapIntoComp

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

after applying LeftAssociate

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

after applying LeftAssociate

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

after applying ConRepeat

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

after applying CompIntoMap

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

after applying CompIntoMap

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

after applying MapIntoComp

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

after applying MapIntoComp

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

after applying DistlElim

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

after applying LeftAssociate

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

after applying CompIntoMap

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

after applying CompIntoMap

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

after applying RightAssoc2

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

after applying CompIntoAlltup1

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

after applying RightAssoc2

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

after applying CompIntoAlltup1

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

after applying RightAssoc2

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

after applying CompIntoAlltup1

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

after applying RightAssoc2

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

after applying CompIntoAlltup1

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

after applying RightAssoc2

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

after applying CompIntoAlltup1

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

after applying RightAssoc2

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

after applying CompIntoAlltup1

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

after applying AddrIntoZip

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

after applying AddrIntoAlltup

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

after applying ConAsorb

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

after applying ConAsorb

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

after applying LengthIntoZip

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

after applying RightAssoc2

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

after applying AddrIntoAlltup

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

after applying LeftAssociate

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

after applying LengthIntoRepeat

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

after applying AddrIntoAlltup

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

after applying MapIntoComp

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

after applying MapIntoComp

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

after applying RightAssoc2

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

after applying AddrIntoZip

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

after applying RightAssoc2

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

after applying AddrIntoAlltup

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

after applying CompIntoMap

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

after applying MapIntoComp

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

after applying CompIntoMap

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

after applying RightAssoc2

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

after applying CompIntoAlltup1

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

after applying RightAssoc2

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

after applying CompIntoAlltup1

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

after applying RightAssoc2

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

after applying CompIntoAlltup1

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

after applying AddrIntoAlltup

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

after applying ConAsorb

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

after applying RightAssoc2

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

after applying AddrIntoAlltup

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

after applying RemoveIds2

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

after applying RightAssoc2

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

after applying AddrIntoAlltup

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

after applying RemoveIds2

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

after applying MapIntoComp

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

after applying CompIntoMap

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

after applying MapIntoComp

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

after applying RemoveIds1

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

after applying CompIntoMap

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

after applying RightAssoc2

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

after applying CompIntoAlltup1

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

after applying RightAssoc2

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

after applying CompIntoAlltup1

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

after applying RightAssoc2

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

after applying CompIntoAlltup1

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

after applying RemoveIds1

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

after applying ConAsorb

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

after applying RemoveIds2

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

after applying RemoveIds2

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

after applying MapIntoComp

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

after applying CompIntoMap

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

after applying MapIntoComp

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

after applying CompIntoMap

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

after applying RightAssoc2

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

after applying CompIntoAlltup1

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

after applying RightAssoc2

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

after applying CompIntoAlltup1

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

after applying RightAssoc2

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

after applying CompIntoAlltup1

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

after applying RemoveIds1

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

after applying ConAsorb

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

after applying RemoveIds2

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

after applying RemoveIds2

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

after applying MapIntoComp

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

after applying CompIntoMap

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

after applying MapIntoComp

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

end trace