after applying start

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

after applying RemoveIds1

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

after applying AlltupId

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

after applying RemoveIds2

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

after applying DistlElim

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

after applying LeftAssociate

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

after applying SelectIntro

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

after applying AlltupId

select . id . (id,iota.#.id)^o . id . id . id

after applying RemoveIds2

select . (id,iota.#.id)^o . id . id . id

after applying RemoveIds2

select . (id,iota.#)^o . id . id . id

after applying SelectElim1

id . id . id . id

after applying RemoveIds1

id . id . id

after applying RemoveIds1

id . id

after applying RemoveIds1

id

end trace