Herbie run

Date:Sunday, September 15th, 2024
Commit:cb306e6d on zane-regimes-old
Hostname:nightly with Racket 8.10
Seed:2024259
Parameters:256 points for 4 iterations
Flags:
localize:costslocalize:errorsreduce:regimesreduce:avg-errorreduce:binary-searchreduce:branch-expressionssetup:simplifysetup:searchrules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicrules:numericsrules:specialrules:boolsrules:branchesgenerate:rrgenerate:taylorgenerate:simplifygenerate:proofs
default

Time bar (total: 5.0min)

sample2.0min (40.9%)

Memory
-185.9MiB live, 126 046.8MiB allocated
Samples
29.9s41 380×2valid
26.8s145 505×0invalid
20.5s92 259×1valid
10.5s4 926×5exit
10.1s94 563×0valid
2.0s2 963×3valid
404.0ms2 280×1exit
304.0ms4 225×0exit
12.0ms6×4exit
3.0ms3×4valid
2.0ms3×2exit
2.0ms3×3exit
Precisions
Click to see histograms. Total time spent on operations: 1.4min
ival-tan: 14.2s (16.9% of total)
ival-pow: 9.9s (11.8% of total)
ival-mult: 6.9s (8.3% of total)
adjust: 5.9s (7% of total)
const: 5.8s (6.9% of total)
ival-cos: 5.1s (6.1% of total)
ival-div: 4.6s (5.4% of total)
ival-sub: 4.0s (4.8% of total)
ival-sin: 4.0s (4.8% of total)
ival-log: 3.3s (3.9% of total)
ival-add: 3.1s (3.7% of total)
ival-fabs: 2.8s (3.3% of total)
ival-<=: 2.7s (3.3% of total)
ival-exp: 2.6s (3% of total)
ival-expm1: 2.3s (2.8% of total)
ival-log1p: 1.3s (1.6% of total)
ival-sqrt: 1.2s (1.4% of total)
ival-<: 1.0s (1.2% of total)
ival-and: 635.0ms (0.8% of total)
ival-fmin: 598.0ms (0.7% of total)
ival-atan: 430.0ms (0.5% of total)
exact: 371.0ms (0.4% of total)
ival->: 305.0ms (0.4% of total)
ival-cbrt: 301.0ms (0.4% of total)
ival-neg: 273.0ms (0.3% of total)
ival-assert: 157.0ms (0.2% of total)
ival-true: 73.0ms (0.1% of total)
Bogosity

simplify38.4s (12.8%)

Memory
745.3MiB live, 32 710.7MiB allocated
Algorithm
242×egg-herbie
Rules
2 192 696×lower-fma.f32
2 191 978×lower-fma.f64
748 232×lower-*.f32
747 422×lower-*.f64
475 166×lower-+.f32
Stop Event
321×iter limit
169×node limit
73×saturated
Counts
29 856 → 29 406

soundness31.6s (10.5%)

Memory
201.1MiB live, 17 798.3MiB allocated
Rules
1 236 308×lower-fma.f32
1 235 920×lower-fma.f64
611 234×lower-*.f32
610 786×lower-*.f64
336 604×lower-+.f32
Stop Event
203×iter limit
135×node limit
22×fuel
6×done
2×saturated
Compiler

Compiled 10 805 to 6 104 computations (43.5% saved)

rewrite24.5s (8.2%)

Memory
119.7MiB live, 25 232.9MiB allocated
Rules
463 402×lower-fma.f32
462 686×lower-fma.f64
424 662×lower-*.f32
423 864×lower-*.f64
391 348×lower-/.f32
Stop Event
219×iter limit
107×node limit
Counts
1 681 → 59 616

localize24.1s (8%)

Memory
-172.1MiB live, 26 009.0MiB allocated
Samples
7.7s5 717×2valid
7.1s9 788×1valid
3.6s10 964×0valid
718.0ms337×3valid
221.0ms493×0invalid
141.0ms66×5exit
10.0ms27×0exit
Compiler

Compiled 23 402 to 3 449 computations (85.3% saved)

Precisions
Click to see histograms. Total time spent on operations: 15.5s
ival-mult: 2.6s (16.4% of total)
ival-div: 2.4s (15.7% of total)
adjust: 1.8s (11.4% of total)
ival-tan: 1.7s (10.8% of total)
ival-add: 1.5s (9.6% of total)
ival-sub: 822.0ms (5.3% of total)
ival-pow: 711.0ms (4.6% of total)
const: 680.0ms (4.4% of total)
ival-log: 593.0ms (3.8% of total)
ival-cos: 593.0ms (3.8% of total)
ival-sin: 519.0ms (3.3% of total)
ival-exp: 367.0ms (2.4% of total)
ival-sqrt: 253.0ms (1.6% of total)
ival-pow2: 247.0ms (1.6% of total)
ival-neg: 216.0ms (1.4% of total)
ival-cbrt: 139.0ms (0.9% of total)
ival-cosh: 123.0ms (0.8% of total)
ival-log1p: 117.0ms (0.8% of total)
ival-expm1: 112.0ms (0.7% of total)
exact: 52.0ms (0.3% of total)
ival-true: 24.0ms (0.2% of total)
ival-atan2: 23.0ms (0.1% of total)
ival-assert: 12.0ms (0.1% of total)
ival-atan: 10.0ms (0.1% of total)

eval20.3s (6.8%)

Memory
447.7MiB live, 25 392.1MiB allocated
Compiler

Compiled 2 784 149 to 292 599 computations (89.5% saved)

regimes11.9s (3.9%)

Memory
66.5MiB live, 20 856.1MiB allocated
Counts
4 523 → 375
Calls

43 calls:

4.0s
x
1.0s
a
926.0ms
eps
822.0ms
n
809.0ms
(/.f64 #s(literal 1 binary64) n)
Compiler

Compiled 2 345 to 2 212 computations (5.7% saved)

prune7.0s (2.3%)

Memory
-672.0MiB live, 10 078.6MiB allocated
Counts
102 668 → 2 025
Compiler

Compiled 68 865 to 39 718 computations (42.3% saved)

series6.6s (2.2%)

Memory
-5.0MiB live, 6 328.2MiB allocated
Counts
1 681 → 29 856
Calls

495 calls:

TimeVariablePointExpression
334.0ms
x
@inf
((- (cbrt (+ x 1)) (cbrt x)) (* (cbrt (/ (/ 1 x) x)) 1/3) (cbrt (/ (/ 1 x) x)) (/ (/ 1 x) x) (- (cbrt (+ x 1)) (cbrt x)) (cbrt (+ x 1)) (cbrt x) (pow (pow x 1/6) 2) (- (cbrt (+ x 1)) (pow (pow x 1/6) 2)) (cbrt (+ x 1)) (+ x 1) (- (cbrt (+ x 1)) (pow (exp 1/3) (log x))) (pow (exp 1/3) (log x)) (- (* (* x x) (- x 1)) (* (- x 1) 1)) (* (- x 1) 1) (- (/ (cbrt (- (* (* x x) (- x 1)) (* (- x 1) 1))) (pow (cbrt (- x 1)) 2)) (cbrt x)) (/ (cbrt (- (* (* x x) (- x 1)) (* (- x 1) 1))) (pow (cbrt (- x 1)) 2)) (pow x 1/6) (exp 1/3) (cbrt (- (* (* x x) (- x 1)) (* (- x 1) 1))) (pow (cbrt (- x 1)) 2))
104.0ms
a
@-inf
((/ (* eps (- (exp (* (+ a b) eps)) 1)) (* (- (exp (* a eps)) 1) (- (exp (* b eps)) 1))) (/ (/ (+ b a) b) a) (/ (+ b a) b) (+ b a) (/ (* eps (- (exp (* (+ a b) eps)) 1)) (* (- (exp (* a eps)) 1) (- (exp (* b eps)) 1))) (/ 1 a) (/ (* eps (- (exp (* (+ a b) eps)) 1)) (* (- (exp (* a eps)) 1) (- (exp (* b eps)) 1))) (/ 1 b) (+ (* (/ (* (+ (* (* b a) b) (* (* b a) a)) -1/2) (* b b)) (/ (/ (+ b a) a) a)) (* (/ 1/2 b) (/ (pow (+ b a) 2) a))) (/ (* (+ (* (* b a) b) (* (* b a) a)) -1/2) (* b b)) (+ (* (* b a) b) (* (* b a) a)) (/ (* eps (- (exp (* (+ a b) eps)) 1)) (* (- (exp (* a eps)) 1) (- (exp (* b eps)) 1))) (/ (* eps (- (exp (* (+ a b) eps)) 1)) (* (- (exp (* a eps)) 1) (- (exp (* b eps)) 1))) (/ (+ (* (* eps (- (/ (pow (exp a) eps) (- (exp (* eps a)) 1)) 1/2)) b) 1) b) (+ (* (* eps (- (/ (pow (exp a) eps) (- (exp (* eps a)) 1)) 1/2)) b) 1) (* eps (- (/ (pow (exp a) eps) (- (exp (* eps a)) 1)) 1/2)) (/ (pow (+ b a) 2) a) (* (/ 1/2 b) (/ (pow (+ b a) 2) a)) (/ (pow (exp a) eps) (- (exp (* eps a)) 1)))
103.0ms
a
@inf
((/ (* eps (- (exp (* (+ a b) eps)) 1)) (* (- (exp (* a eps)) 1) (- (exp (* b eps)) 1))) (/ (/ (+ b a) b) a) (/ (+ b a) b) (+ b a) (/ (* eps (- (exp (* (+ a b) eps)) 1)) (* (- (exp (* a eps)) 1) (- (exp (* b eps)) 1))) (/ 1 a) (/ (* eps (- (exp (* (+ a b) eps)) 1)) (* (- (exp (* a eps)) 1) (- (exp (* b eps)) 1))) (/ 1 b) (+ (* (/ (* (+ (* (* b a) b) (* (* b a) a)) -1/2) (* b b)) (/ (/ (+ b a) a) a)) (* (/ 1/2 b) (/ (pow (+ b a) 2) a))) (/ (* (+ (* (* b a) b) (* (* b a) a)) -1/2) (* b b)) (+ (* (* b a) b) (* (* b a) a)) (/ (* eps (- (exp (* (+ a b) eps)) 1)) (* (- (exp (* a eps)) 1) (- (exp (* b eps)) 1))) (/ (* eps (- (exp (* (+ a b) eps)) 1)) (* (- (exp (* a eps)) 1) (- (exp (* b eps)) 1))) (/ (+ (* (* eps (- (/ (pow (exp a) eps) (- (exp (* eps a)) 1)) 1/2)) b) 1) b) (+ (* (* eps (- (/ (pow (exp a) eps) (- (exp (* eps a)) 1)) 1/2)) b) 1) (* eps (- (/ (pow (exp a) eps) (- (exp (* eps a)) 1)) 1/2)) (/ (pow (+ b a) 2) a) (* (/ 1/2 b) (/ (pow (+ b a) 2) a)) (/ (pow (exp a) eps) (- (exp (* eps a)) 1)))
100.0ms
x
@-inf
((- (pow (+ x 1) (/ 1 n)) (pow x (/ 1 n))) (/ (- (log (+ 1 x)) (log x)) n) (- (log (+ 1 x)) (log x)) (log (+ 1 x)) (- (pow (+ x 1) (/ 1 n)) (pow x (/ 1 n))) (pow (+ x 1) (/ 1 n)) (pow x (/ 1 n)) (+ (* (+ (* (- (/ 1/2 (* n n)) (/ 1/2 n)) x) (/ 1 n)) x) 1) (+ (* (- (/ 1/2 (* n n)) (/ 1/2 n)) x) (/ 1 n)) (- (/ 1/2 (* n n)) (/ 1/2 n)) (- (pow (+ x 1) (/ 1 n)) (pow x (/ 1 n))) (- (exp (* (/ 1/2 n) (log (* x x)))) 1) (- (pow (+ x 1) (/ 1 n)) (pow x (/ 1 n))) (- (/ x n) (- (exp (* (/ 1/2 n) (log (* x x)))) 1)) (/ x n) (pow (pow x (pow n -1)) 2) (/ (+ (+ (pow (pow x (pow n -1)) 2) 1) (pow x (pow n -1))) (- (exp (* (/ (log x) n) 3)) 1)) (/ 1 (/ (+ (+ (pow (pow x (pow n -1)) 2) 1) (pow x (pow n -1))) (- (exp (* (/ (log x) n) 3)) 1))) (- (pow (+ x 1) (/ 1 n)) (pow x (/ 1 n))) (log x) (pow (+ x 1) (/ 1 n)) (log (* x x)) (* (/ 1/2 n) (log (* x x))) (* (/ (log x) n) 3) (/ (log x) n))
93.0ms
x
@inf
((- (pow (+ x 1) (/ 1 n)) (pow x (/ 1 n))) (/ (- (log (+ 1 x)) (log x)) n) (- (log (+ 1 x)) (log x)) (log (+ 1 x)) (- (pow (+ x 1) (/ 1 n)) (pow x (/ 1 n))) (pow (+ x 1) (/ 1 n)) (pow x (/ 1 n)) (+ (* (+ (* (- (/ 1/2 (* n n)) (/ 1/2 n)) x) (/ 1 n)) x) 1) (+ (* (- (/ 1/2 (* n n)) (/ 1/2 n)) x) (/ 1 n)) (- (/ 1/2 (* n n)) (/ 1/2 n)) (- (pow (+ x 1) (/ 1 n)) (pow x (/ 1 n))) (- (exp (* (/ 1/2 n) (log (* x x)))) 1) (- (pow (+ x 1) (/ 1 n)) (pow x (/ 1 n))) (- (/ x n) (- (exp (* (/ 1/2 n) (log (* x x)))) 1)) (/ x n) (pow (pow x (pow n -1)) 2) (/ (+ (+ (pow (pow x (pow n -1)) 2) 1) (pow x (pow n -1))) (- (exp (* (/ (log x) n) 3)) 1)) (/ 1 (/ (+ (+ (pow (pow x (pow n -1)) 2) 1) (pow x (pow n -1))) (- (exp (* (/ (log x) n) 3)) 1))) (- (pow (+ x 1) (/ 1 n)) (pow x (/ 1 n))) (log x) (pow (+ x 1) (/ 1 n)) (log (* x x)) (* (/ 1/2 n) (log (* x x))) (* (/ (log x) n) 3) (/ (log x) n))

explain5.7s (1.9%)

Memory
-63.9MiB live, 7 347.1MiB allocated
Explanations
Click to see full explanations table
OperatorSubexpressionExplanationCount
-.f64#fcancellation414732
log.f64#fsensitivity7563
/.f64#fu/u4270
sqrt.f64#foflow-rescue3640
+.f64#fcancellation3231
/.f64#fu/n1050
pow.f64(pow.f64 (+.f64 x #s(literal 1 binary64)) (/.f64 #s(literal 1 binary64) n))sensitivity591
/.f64(/.f64 (*.f64 eps (-.f64 (exp.f64 (*.f64 (+.f64 a b) eps)) #s(literal 1 binary64))) (*.f64 (-.f64 (exp.f64 (*.f64 a eps)) #s(literal 1 binary64)) (-.f64 (exp.f64 (*.f64 b eps)) #s(literal 1 binary64))))n/u290
↳(*.f64 b eps)underflow141
↳(-.f64 (exp.f64 (*.f64 a eps)) #s(literal 1 binary64))underflow143
↳(-.f64 (exp.f64 (*.f64 b eps)) #s(literal 1 binary64))underflow141
↳(*.f64 (-.f64 (exp.f64 (*.f64 a eps)) #s(literal 1 binary64)) (-.f64 (exp.f64 (*.f64 b eps)) #s(literal 1 binary64)))underflow228
↳(*.f64 a eps)underflow143
sqrt.f64#fuflow-rescue240
-.f64#fnan-rescue90
/.f64(/.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (*.f64 x x))n/o60
↳(*.f64 x x)overflow57
cos.f64(cos.f64 (+.f64 x eps))sensitivity41
sin.f64(sin.f64 (+.f64 x eps))sensitivity43
tan.f64(tan.f64 (+.f64 x eps))sensitivity43
exp.f64#fsensitivity20
/.f64(/.f64 (-.f64 (exp.f64 (*.f64 #s(literal 2 binary64) x)) #s(literal 1 binary64)) (-.f64 (exp.f64 x) #s(literal 1 binary64)))o/o10
↳(exp.f64 (*.f64 #s(literal 2 binary64) x))overflow1
↳(*.f64 #s(literal 2 binary64) x)overflow1
↳(-.f64 (exp.f64 (*.f64 #s(literal 2 binary64) x)) #s(literal 1 binary64))overflow1
↳(exp.f64 x)overflow1
↳(-.f64 (exp.f64 x) #s(literal 1 binary64))overflow1
Confusion
Predicted +Predicted -
+516521
-1361846
Precision
0.9743444633088096
Recall
0.9959506363285769
Confusion?
Predicted +Predicted MaybePredicted -
+5165165
-136211825
Precision?
0.9705882352941176
Recall?
0.9990358657925184
Freqs
test
numberfreq
01867
14542
2610
394
455
Total Confusion?
Predicted +Predicted MaybePredicted -
+2800
-000
Precision?
1.0
Recall?
1.0
Samples
1.8s2 650×2valid
1.0s5 692×1valid
477.0ms5 818×0valid
112.0ms176×3valid
Compiler

Compiled 2 154 to 763 computations (64.6% saved)

Precisions
Click to see histograms. Total time spent on operations: 2.7s
ival-tan: 838.0ms (31% of total)
adjust: 243.0ms (9% of total)
ival-cos: 236.0ms (8.7% of total)
ival-log: 213.0ms (7.9% of total)
ival-sin: 185.0ms (6.8% of total)
ival-div: 167.0ms (6.2% of total)
ival-sub: 147.0ms (5.4% of total)
ival-exp: 139.0ms (5.1% of total)
ival-add: 100.0ms (3.7% of total)
ival-mult: 86.0ms (3.2% of total)
ival-sqrt: 86.0ms (3.2% of total)
ival-pow: 85.0ms (3.1% of total)
ival-log1p: 71.0ms (2.6% of total)
ival-atan: 28.0ms (1% of total)
ival-expm1: 23.0ms (0.9% of total)
ival-cbrt: 18.0ms (0.7% of total)
ival-true: 13.0ms (0.5% of total)
ival-neg: 12.0ms (0.4% of total)
exact: 9.0ms (0.3% of total)
ival-assert: 6.0ms (0.2% of total)

preprocess4.2s (1.4%)

Memory
123.0MiB live, 5 425.5MiB allocated
Algorithm
28×egg-herbie
Rules
27 478×lower-fma.f64
27 478×lower-fma.f32
10 768×div-sub
10 444×sub-neg
9 190×lower-*.f32
Stop Event
56×iter limit
50×saturated
6×node limit
Compiler

Compiled 12 252 to 4 585 computations (62.6% saved)

analyze1.9s (0.6%)

Memory
153.2MiB live, 1 951.1MiB allocated
Algorithm
28×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%61.1%38.9%0%0%0%0
7.4%4.5%56.6%38.9%0%0%0%1
22.3%13.6%47.5%38.9%0%0%0%2
40.2%23.5%34.9%38.9%0%2.7%0%3
53.4%31.1%27.2%38.9%0%2.8%0%4
63%36.3%21.3%38.9%0%3.6%0%5
65.9%37.5%19.4%38.9%0%4.2%0%6
70.4%38.8%16.3%38.9%0%6%0%7
73.6%40.2%14.4%38.9%0%6.5%0%8
76.3%40.9%12.7%38.9%0%7.5%0%9
78.4%41.4%11.4%38.9%0%8.3%0%10
81.1%42.4%9.9%38.9%0%8.8%0%11
82.3%42.7%9.2%38.9%0%9.3%0%12
Compiler

Compiled 483 to 337 computations (30.2% saved)

bsearch1.5s (0.5%)

Memory
-52.8MiB live, 1 663.5MiB allocated
Algorithm
104×binary-search
30×left-value
Stop Event
96×narrow-enough
8×predicate-same
Samples
407.0ms3 980×0valid
232.0ms345×2valid
158.0ms804×1valid
86.0ms724×0invalid
2.0ms7×3valid
1.0ms17×0exit
0.0ms1×1exit
Compiler

Compiled 16 307 to 15 343 computations (5.9% saved)

Precisions
Click to see histograms. Total time spent on operations: 685.0ms
ival-pow: 256.0ms (37.4% of total)
ival-add: 86.0ms (12.6% of total)
ival-mult: 86.0ms (12.6% of total)
ival-div: 70.0ms (10.2% of total)
ival-sub: 64.0ms (9.3% of total)
adjust: 31.0ms (4.5% of total)
ival-sqrt: 28.0ms (4.1% of total)
ival-neg: 18.0ms (2.6% of total)
ival-cos: 12.0ms (1.8% of total)
ival-tan: 6.0ms (0.9% of total)
ival-cbrt: 6.0ms (0.9% of total)
ival-expm1: 6.0ms (0.9% of total)
ival-true: 5.0ms (0.7% of total)
ival-sin: 4.0ms (0.6% of total)
exact: 4.0ms (0.6% of total)
ival-exp: 2.0ms (0.3% of total)
ival-assert: 2.0ms (0.3% of total)

start1.0ms (0%)

Memory
1.5MiB live, 1.5MiB allocated

end0.0ms (0%)

Memory
0.4MiB live, 0.4MiB allocated

Profiling

Loading profile data...