Commutative Operations

[nushio3]

You can set input edges for commutative arithmetic operators as unordered from later on. thus increasing the opportunity of common subexpression elimination.

[nushio3]

and also you can normalize (a > b) with (b < a) and so on