600 random index programs, each simplified with the default rule order and with the reverse order
  both results correct on 74 sampled inputs each: yes
  same result (same node): 594   different result: 6
  of the different ones, the default order gave the smaller graph 1 times, the reverse gave the smaller graph 0 times, equal size 5
  total nodes: default 4210, reversed 4211
an example (seed 551): 26 nodes
  start:   where((neg((((j + ((((k + i) // 4) + i) % 16)) % 5) * -3)) != ((((((j + k) + (j + k)) + 2) + j) // 1) * 6)), neg((((j + ((((k + i) // 4) + i) % 16)) % 5) * -3)), ((((((j + k) + (j + k)) + 2) + j) // 1) * 6))
  default: where(((((j + ((i + ((i + k) // 4)) % 16)) % 5) * 3) != ((j + (((j + k) + (j + k)) + 2)) * 6)), (((j + ((i + ((i + k) // 4)) % 16)) % 5) * 3), ((j + (((j + k) + (j + k)) + 2)) * 6))   (23 nodes)
  reverse: where(((((j + ((i + ((i + k) // 4)) % 16)) % 5) * 3) != (((k + (j + (k + (j + j)))) * 6) + 12)), (((j + ((i + ((i + k) // 4)) % 16)) % 5) * 3), (((k + (j + (k + (j + j)))) * 6) + 12))   (24 nodes)
