Apply x+(-y) ⇒ x-y simplification even when x and y are permuted
Passed
Sébastien Villemot
created pipeline for commit
366701c0
, finished
For master
1 minute 22 seconds, queued for 3 seconds