Simplification now includes the following:
x + y + x -> 2 * x + y