hash consing                     2,004 checks     0.1s
rewrites keep results           28,700 checks     0.7s
   568 random programs were changed by simplify
special values                  98,700 checks     1.2s
fast-math rules (must fail)          0 checks     0.5s
   7 counterexamples found; first: seed 52, inputs {0: 2147483646, 1: 1.0, 2: True}, original -0.0, fast-math 0.0
exhaustive small ints          385,200 checks    21.3s
   994 programs changed; every one checked on all 320 inputs
running by folding              16,000 checks     1.0s
ranges bound real values       125,600 checks     0.5s
   61,840 node values were checked on nodes marked safe (none had wrapped)
int overflow boundaries        640,260 checks    35.8s
text format round trip             611 checks     0.1s
C renderer vs interpreter       30,000 checks     0.5s
C zero divisors                  1,080 checks     0.0s
rules that never fired in the random tests: ['cast to own dtype']
rule firing counts: {'const fold': 2414, 'canonical order': 1830, 'range is a point': 752, 'x//c, x%c for c in {0, 1, -1}': 408, 'where(const,a,b)': 318, 'inline call': 300, 'x+0 (int)': 268, 'x*-1': 134, 'x*1': 130, '(x*c1)*c2': 106, 'max(x,x)': 104, 'max by range': 75, '(x+c1)*c2': 56, '(a*c1+b)//c2': 49, 'neg(x*c)': 45, 'x%c inside one bucket': 43, 'bool and/or/xor with a constant': 39, '(a*c1+b)%c2': 39, 'neg neg': 32, '(x+c1)+c2': 30, 'x+(-x) (int)': 27, 'where(c,x,x)': 25, '(x//c1)//c2': 17, 'x<x': 16, 'x!=x (not float)': 12, 'x+(-0.0) (float)': 11, 'where(not c,a,b)': 11, 'where(c,true,false)': 10, '(x%c)%c': 1}
total checks in this file: 1,328,156
