[PROTOTYPE] Try canonicalizing the tree from x - y to x + (-y)
#10644
| Job | Run time |
|---|---|
| 12m 29s | |
| 6m 59s | |
| 19m 28s |
x - y to x + (-y)
#10644
| Job | Run time |
|---|---|
| 12m 29s | |
| 6m 59s | |
| 19m 28s |