results differ: True    nodes 23 vs 24
fired only in the default order: {}   only in the reversed order: {'(a*c1+b)//c2': 1, '(x+c1)*c2': 1}
