<<< native [ EGrouped [ EIdentifier "A" , EPhantom (EIdentifier "A") , EIdentifier "A" , EGrouped [ EPhantom (EGrouped [ EIdentifier "A" , ESymbol Bin "+" , EIdentifier "A" ]) , EIdentifier "A" ] ] , EIdentifier "A" , EIdentifier "A" , EIdentifier "A" , EGrouped [ EIdentifier "A" , ESymbol Bin "+" , EIdentifier "A" , EIdentifier "A" ] ] >>> eqn {A hphantom A A {hphantom {A + A} A}} A A A {A + A A}