after applying start

²π₂ . (²π₁.²π₁,+.(id.²π₁.²π₂,id.²π₂.²π₂)^o.(²π₁.²π₁,(²π₂.²π₁,²π₂.²π₂)^o)^o)^o / . distl . (id,++.(b_allvec[0]^o,id)^o)^o . id . id . id

after applying RemoveIds1

²π₂ . (²π₁.²π₁,+.(²π₁.²π₂,id.²π₂.²π₂)^o.(²π₁.²π₁,(²π₂.²π₁,²π₂.²π₂)^o)^o)^o / . distl . (id,++.(b_allvec[0]^o,id)^o)^o . id . id . id

after applying RemoveIds1

²π₂ . (²π₁.²π₁,+.(²π₁.²π₂,²π₂.²π₂)^o.(²π₁.²π₁,(²π₂.²π₁,²π₂.²π₂)^o)^o)^o / . distl . (id,++.(b_allvec[0]^o,id)^o)^o . id . id . id

after applying RightAssoc2

²π₂ . (²π₁.²π₁,+.(²π₁.²π₂,²π₂.²π₂)^o.(²π₁.²π₁,(²π₂.²π₁,²π₂.²π₂)^o)^o)^o / . distl . (id,++.(b_allvec[0]^o,id)^o)^o . id . id . id

after applying CompIntoAlltup1

²π₂ . (²π₁.²π₁,+.(²π₁.²π₂.(²π₁.²π₁,(²π₂.²π₁,²π₂.²π₂)^o)^o,²π₂.²π₂.(²π₁.²π₁,(²π₂.²π₁,²π₂.²π₂)^o)^o)^o)^o / . distl . (id,++.(b_allvec[0]^o,id)^o)^o . id . id . id

after applying RightAssoc2

²π₂ . (²π₁.²π₁,+.(²π₁.²π₂.(²π₁.²π₁,(²π₂.²π₁,²π₂.²π₂)^o)^o,²π₂.²π₂.(²π₁.²π₁,(²π₂.²π₁,²π₂.²π₂)^o)^o)^o)^o / . distl . (id,++.(b_allvec[0]^o,id)^o)^o . id . id . id

after applying AddrIntoAlltup

²π₂ . (²π₁.²π₁,+.(²π₁.(²π₂.²π₁,²π₂.²π₂)^o,²π₂.²π₂.(²π₁.²π₁,(²π₂.²π₁,²π₂.²π₂)^o)^o)^o)^o / . distl . (id,++.(b_allvec[0]^o,id)^o)^o . id . id . id

after applying AddrIntoAlltup

²π₂ . (²π₁.²π₁,+.(²π₂.²π₁,²π₂.²π₂.(²π₁.²π₁,(²π₂.²π₁,²π₂.²π₂)^o)^o)^o)^o / . distl . (id,++.(b_allvec[0]^o,id)^o)^o . id . id . id

after applying RightAssoc2

²π₂ . (²π₁.²π₁,+.(²π₂.²π₁,²π₂.²π₂.(²π₁.²π₁,(²π₂.²π₁,²π₂.²π₂)^o)^o)^o)^o / . distl . (id,++.(b_allvec[0]^o,id)^o)^o . id . id . id

after applying AddrIntoAlltup

²π₂ . (²π₁.²π₁,+.(²π₂.²π₁,²π₂.(²π₂.²π₁,²π₂.²π₂)^o)^o)^o / . distl . (id,++.(b_allvec[0]^o,id)^o)^o . id . id . id

after applying AddrIntoAlltup

²π₂ . (²π₁.²π₁,+.(²π₂.²π₁,²π₂.²π₂)^o)^o / . distl . (id,++.(b_allvec[0]^o,id)^o)^o . id . id . id

after applying AddrIntoReducep

+ . (²π₁,²π₂)^o / . ( ²π₂ )* . distl . (id,++.(b_allvec[0]^o,id)^o)^o . id . id . id

after applying AlltupId

+ . id / . ( ²π₂ )* . distl . (id,++.(b_allvec[0]^o,id)^o)^o . id . id . id

after applying RemoveIds2

+ / . ( ²π₂ )* . distl . (id,++.(b_allvec[0]^o,id)^o)^o . id . id . id

after applying DistlElim

+ / . ( ²π₂ )* . zip₂ . (repeat.(²π₁,#.²π₂)^o,²π₂)^o . (id,++.(b_allvec[0]^o,id)^o)^o . id . id . id

after applying LeftAssociate

+ / . ( ²π₂ )* . zip₂ . (repeat.(²π₁,#.²π₂)^o,²π₂)^o . (id,++.(b_allvec[0]^o,id)^o)^o . id . id . id

after applying RightAssoc2

+ / . ( ²π₂ )* . zip₂ . (repeat.(²π₁,#.²π₂)^o,²π₂)^o . (id,++.(b_allvec[0]^o,id)^o)^o . id . id . id

after applying AddrIntoZip

+ / . ²π₂ . (repeat.(²π₁,#.²π₂)^o,²π₂)^o . (id,++.(b_allvec[0]^o,id)^o)^o . id . id . id

after applying RightAssoc2

+ / . ²π₂ . (repeat.(²π₁,#.²π₂)^o,²π₂)^o . (id,++.(b_allvec[0]^o,id)^o)^o . id . id . id

after applying AddrIntoAlltup

+ / . ²π₂ . (id,++.(b_allvec[0]^o,id)^o)^o . id . id . id

after applying RightAssoc2

+ / . ²π₂ . (id,++.(b_allvec[0]^o,id)^o)^o . id . id . id

after applying AddrIntoAlltup

+ / . ++ . (b_allvec[0]^o,id)^o . id . id . id

after applying LeftAssociate

+ / . ++ . (b_allvec[0]^o,id)^o . id . id . id

after applying RemoveIds1

+ / . ++ . (b_allvec[0]^o,id)^o . id . id

after applying RightAssoc2

+ / . ++ . (b_allvec[0]^o,id)^o . id . id

after applying CompIntoAlltup1

+ / . ++ . (b_allvec[0]^o.id,id.id)^o . id

after applying RemoveIds2

+ / . ++ . (b_allvec[0]^o,id.id)^o . id

after applying RemoveIds1

+ / . ++ . (b_allvec[0]^o,id)^o . id

after applying RightAssoc2

+ / . ++ . (b_allvec[0]^o,id)^o . id

after applying CompIntoAlltup1

+ / . ++ . (b_allvec[0]^o.id,id.id)^o

after applying RemoveIds2

+ / . ++ . (b_allvec[0]^o,id.id)^o

after applying RemoveIds1

+ / . ++ . (b_allvec[0]^o,id)^o

end trace