-
Matthias Braun authored
The simple x+(-x) case worked already because it was converted to a x-x, but the more complicated case (x-y) + (y-x) did not work. While certainly the reassoc could perform better here, adding this rule as a localopt doesn't hurt.
78ad9c61