rules in the default matcher: 30  (fold 1, inline 1, symbolic 28); fast math adds 5
  a node with op ADD       is tried against  7 rules
  a node with op MUL       is tried against  8 rules
  a node with op NEG       is tried against  4 rules
  a node with op CMPLT     is tried against  3 rules
  a node with op FLOORDIV  is tried against  5 rules
  a node with op FLOORMOD  is tried against  6 rules
  a node with op WHERE     is tried against  6 rules
  a node with op CAST      is tried against  3 rules
  a node with op CONST     is tried against  0 rules
  a node with op LOAD      is tried against  0 rules
  a node with op CALL      is tried against  1 rules
rule names in order: ['const fold', 'inline call', 'canonical order', 'range is a point', 'max by range', 'x*1', 'x*-1', 'x+(-0.0) (float)'] ...
