(it yields the same op-tree btw)
In reply to Re**3: state preserving uniq by xmath in thread state preserving uniq by Chady