Herbie run

Date:Friday, August 30th, 2024
Commit:fc30cd44 on main
Hostname:nightly with Racket 8.11.1
Seed:2024243
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: 34.8min)

simplify5.8min (16.7%)

Memory
4 101.7MiB live, 301 109.9MiB allocated
Algorithm
2 115×egg-herbie
Rules
13 952 710×lower-fma.f32
13 949 668×lower-fma.f64
5 230 110×lower-*.f32
5 223 124×lower-*.f64
3 021 394×lower-+.f32
Stop Event
2 755×iter limit
1 234×node limit
895×saturated
Counts
349 500 → 341 439

sample5.6min (16.2%)

Memory
1 378.7MiB live, 375 049.0MiB allocated
Samples
3.3min2 146 953×0valid
22.2s67 681×1valid
10.2s63 952×0invalid
2.0s5 635×2valid
993.0ms1 159×5exit
374.0ms1 798×1invalid
327.0ms364×4exit
172.0ms591×3valid
3.0ms23×1exit
1.0ms4×4valid
Precisions
Click to see histograms. Total time spent on operations: 2.4min
ival-mult: 47.6s (33.6% of total)
ival-add: 19.2s (13.5% of total)
ival-sub: 19.2s (13.5% of total)
ival-div: 17.2s (12.1% of total)
ival-log: 9.5s (6.7% of total)
const: 6.4s (4.5% of total)
ival-sin: 4.8s (3.4% of total)
ival-sqrt: 4.4s (3.1% of total)
ival-cos: 3.3s (2.3% of total)
adjust: 3.1s (2.2% of total)
ival-exp: 2.1s (1.5% of total)
ival-true: 1.6s (1.1% of total)
exact: 1.0s (0.7% of total)
ival-assert: 889.0ms (0.6% of total)
ival-hypot: 277.0ms (0.2% of total)
ival-fabs: 239.0ms (0.2% of total)
ival-sinh: 232.0ms (0.2% of total)
ival-cosh: 227.0ms (0.2% of total)
ival-tan: 196.0ms (0.1% of total)
ival-acos: 156.0ms (0.1% of total)
ival-tanh: 86.0ms (0.1% of total)
Bogosity

soundness5.1min (14.6%)

Memory
-4.1MiB live, 165 734.5MiB allocated
Rules
8 122 014×lower-fma.f32
8 120 808×lower-fma.f64
4 225 056×lower-*.f32
4 221 806×lower-*.f64
2 345 578×lower-/.f32
Stop Event
1 397×iter limit
947×node limit
145×fuel
124×done
23×saturated
3×unsound
Compiler

Compiled 124 871 to 75 626 computations (39.4% saved)

rewrite3.9min (11.3%)

Memory
-360.2MiB live, 241 376.3MiB allocated
Rules
5 021 266×lower-fma.f32
5 018 234×lower-fma.f64
3 901 154×lower-*.f32
3 894 258×lower-*.f64
3 381 076×lower-/.f32
Stop Event
1 889×iter limit
897×node limit
17×saturated
17×unsound
Counts
11 288 → 475 841

eval3.3min (9.4%)

Memory
5 152.8MiB live, 241 738.7MiB allocated
Compiler

Compiled 21 175 950 to 1 884 112 computations (91.1% saved)

prune3.2min (9.1%)

Memory
-6 246.8MiB live, 224 745.3MiB allocated
Counts
900 981 → 13 898
Compiler

Compiled 420 386 to 295 715 computations (29.7% saved)

localize1.8min (5.1%)

Memory
-2 687.3MiB live, 117 614.4MiB allocated
Samples
1.0min218 055×0valid
9.9s10 210×1valid
4.0s2 924×2valid
1.9s3 823×0invalid
341.0ms387×2exit
284.0ms191×5exit
240.0ms454×0exit
216.0ms240×3valid
5.0ms4×4valid
Compiler

Compiled 135 411 to 22 164 computations (83.6% saved)

Precisions
Click to see histograms. Total time spent on operations: 56.0s
ival-mult: 22.8s (40.6% of total)
ival-div: 8.3s (14.8% of total)
ival-add: 6.9s (12.4% of total)
ival-sub: 4.7s (8.3% of total)
const: 2.4s (4.3% of total)
adjust: 2.0s (3.5% of total)
ival-pow: 1.9s (3.3% of total)
ival-log: 1.4s (2.4% of total)
ival-cos: 1.3s (2.4% of total)
ival-neg: 1.1s (1.9% of total)
ival-sqrt: 992.0ms (1.8% of total)
ival-sin: 713.0ms (1.3% of total)
ival-exp: 361.0ms (0.6% of total)
ival-pow2: 297.0ms (0.5% of total)
exact: 225.0ms (0.4% of total)
ival-true: 181.0ms (0.3% of total)
ival-log1p: 111.0ms (0.2% of total)
ival-assert: 96.0ms (0.2% of total)
ival-hypot: 79.0ms (0.1% of total)
ival-fabs: 78.0ms (0.1% of total)
ival-tan: 62.0ms (0.1% of total)
ival-expm1: 53.0ms (0.1% of total)
ival-cosh: 32.0ms (0.1% of total)
ival-acos: 22.0ms (0% of total)
ival-sinh: 15.0ms (0% of total)
ival-tanh: 14.0ms (0% of total)
ival-asin: 7.0ms (0% of total)
ival-pi: 3.0ms (0% of total)
ival-cbrt: 2.0ms (0% of total)

regimes1.6min (4.6%)

Memory
11.5MiB live, 115 399.1MiB allocated
Counts
39 685 → 5 020
Calls

511 calls:

13.7s
x
12.8s
y
9.6s
z
5.2s
t
4.3s
a
Compiler

Compiled 38 270 to 58 287 computations (-52.3% saved)

preprocess1.3min (3.8%)

Memory
829.7MiB live, 70 158.5MiB allocated
Algorithm
269×egg-herbie
Rules
845 124×lower-fma.f64
845 124×lower-fma.f32
193 164×unsub-neg
192 664×lower-*.f32
191 630×lower-*.f64
Stop Event
538×iter limit
394×saturated
144×node limit
Compiler

Compiled 171 402 to 55 506 computations (67.6% saved)

series1.2min (3.4%)

Memory
-2.3MiB live, 83 760.8MiB allocated
Counts
11 288 → 349 500
Calls

8862 calls:

TimeVariablePointExpression
928.0ms
z
@inf
((+ (* x 1/2) (* y (+ (- 1 z) (log z)))) (* y (+ (- 1 z) (log z))) (* x 1/2) (+ (- 1 z) (log z)) (log z))
910.0ms
y
@inf
((+ (* x 1/2) (* y (+ (- 1 z) (log z)))) (* y (+ (- 1 z) (log z))) (* x 1/2) (+ (- 1 z) (log z)) (log z))
394.0ms
x
@0
((+ (* (log (/ x y)) x) (neg z)) (log (/ x y)) (/ x y) (neg z) (- (* x (log (/ x y))) z) (- (* x (- (log (neg x)) (log (neg y)))) z) (* x (- (log (neg x)) (log (neg y)))) (- (log (neg x)) (log (neg y))) (log (neg x)) (/ (+ (* (neg z) z) (pow (* (log (/ x y)) x) 2)) (+ (* (log (/ x y)) x) z)) (+ (* (neg z) z) (pow (* (log (/ x y)) x) 2)) (pow (* (log (/ x y)) x) 2) (- (/ (pow (log (neg x)) 2) (log (* (neg x) (neg y)))) (/ (pow (log (neg y)) 2) (log (* (neg x) (neg y))))) (* (neg x) (neg y)) (- (* x (- (/ (pow (log (neg x)) 2) (log (* (neg x) (neg y)))) (/ (pow (log (neg y)) 2) (log (* (neg x) (neg y)))))) z) (* x (- (/ (pow (log (neg x)) 2) (log (* (neg x) (neg y)))) (/ (pow (log (neg y)) 2) (log (* (neg x) (neg y)))))) (* (log (/ x y)) x) (log (* (neg x) (neg y))) (pow (log (neg x)) 2) (pow (log (neg y)) 2))
312.0ms
t
@inf
((+ (* (- a x) y) (* (- a x) (neg z))) (+ x (/ (+ (* (- a x) y) (* (- a x) (neg z))) (- (+ 1 t) z))) (* (- a x) (neg z)) (/ (+ (* (- a x) y) (* (- a x) (neg z))) (- (+ 1 t) z)) (+ x (* (/ (- y z) (- (+ t 1) z)) (- a x))) (+ (* (- z y) (/ x (- (+ t 1) z))) x) (+ x (* (/ (- y z) (- (+ t 1) z)) (- a x))) (+ (* (/ (- a x) z) (- (+ t 1) y)) a) (* (/ (- a x) z) t) (/ (- a x) z) (+ (* (neg x) (/ y (+ t 1))) x) (+ x (* (/ (- y z) (- (+ t 1) z)) (- a x))) (+ (* (- z y) (/ x (- (+ t 1) z))) x) (neg x) (* (neg x) (/ (- (+ t 1) y) z)) (+ x (* (/ (- y z) (- (+ t 1) z)) (- a x))) (+ (* (/ (- a x) z) (- (+ t 1) y)) a) (/ y (+ t 1)) (/ (- (+ t 1) y) z))
293.0ms
x
@-inf
((- (+ x (+ (* (- -1/2 y) (log y)) y)) z) (+ x (+ (* (- -1/2 y) (log y)) y)) (+ (* (- -1/2 y) (log y)) y) (- -1/2 y) (/ (* (neg z) z) z) (- (+ (- x (* (+ y 1/2) (log y))) y) z) (* (neg z) z) (neg z) (/ 1 (/ 1 (+ (* (- -1/2 y) (log y)) (+ x (- y z))))) (* (- 1 (log y)) y) (- 1 (log y)) (log y) (+ (* (* (/ (log y) x) -1/2) x) x) (- (+ (- x (* (+ y 1/2) (log y))) y) z) (+ (- x (* (+ y 1/2) (log y))) y) (+ (* -1/2 (log y)) x) (/ 1 (/ 1 (+ (* (- -1/2 y) (log y)) (+ x (- y z))))) (/ 1 (+ (* (- -1/2 y) (log y)) (+ x (- y z)))) (/ (/ 1 (- 1 (log y))) y) (/ 1 (- 1 (log y))) (/ (log y) x))

explain1.1min (3.2%)

Memory
-796.5MiB live, 52 473.2MiB allocated
Explanations
Click to see full explanations table
OperatorSubexpressionExplanationCount
log.f64#fsensitivity16110
/.f64#fo/n11750
sqrt.f64#foflow-rescue7950
/.f64#fo/o6130
-.f64#fcancellation5609
-.f64#fnan-rescue4950
+.f64#fnan-rescue4910
*.f64#fn*o4880
cos.f64#fsensitivity3470
/.f64#fn/o3250
+.f64#fcancellation2950
/.f64#fu/n2610
sin.f64#fsensitivity2130
*.f64#fn*u1880
/.f64#fn/u1280
cos.f64#foflow-rescue1180
tan.f64(tan.f64 (/.f64 x (*.f64 y #s(literal 2 binary64))))sensitivity950
/.f64#fu/u840
log.f64#fuflow-rescue790
log.f64#foflow-rescue710
sqrt.f64#fuflow-rescue630
sin.f64(sin.f64 (/.f64 x (*.f64 y #s(literal 2 binary64))))oflow-rescue390
↳(/.f64 x (*.f64 y #s(literal 2 binary64)))overflow39
tan.f64(tan.f64 (/.f64 x (*.f64 y #s(literal 2 binary64))))oflow-rescue390
↳(/.f64 x (*.f64 y #s(literal 2 binary64)))overflow39
*.f64#fo*u370
exp.f64#fsensitivity273
*.f64#fu*o40
Confusion
Predicted +Predicted -
+5975187
-175360949
Precision
0.7731625258799172
Recall
0.9696527101590393
Confusion?
Predicted +Predicted MaybePredicted -
+59751186
-17531660933
Precision?
0.7715945771465461
Recall?
0.9698149951314509
Freqs
test
numberfreq
061136
16925
2720
360
419
54
Total Confusion?
Predicted +Predicted MaybePredicted -
+13810
-11128
Precision?
0.9858156028368794
Recall?
1.0
Samples
13.4s130 560×0valid
2.0s5 852×1valid
689.0ms1 234×2valid
21.0ms80×3valid
1.0ms2×4valid
Compiler

Compiled 24 442 to 8 402 computations (65.6% saved)

Precisions
Click to see histograms. Total time spent on operations: 8.5s
ival-mult: 2.5s (29.1% of total)
ival-sub: 1.4s (16.5% of total)
ival-add: 1.2s (13.7% of total)
ival-log: 866.0ms (10.1% of total)
ival-div: 830.0ms (9.7% of total)
adjust: 434.0ms (5.1% of total)
const: 347.0ms (4.1% of total)
ival-sin: 218.0ms (2.6% of total)
ival-cos: 207.0ms (2.4% of total)
ival-sqrt: 151.0ms (1.8% of total)
ival-exp: 134.0ms (1.6% of total)
ival-true: 111.0ms (1.3% of total)
exact: 60.0ms (0.7% of total)
ival-assert: 56.0ms (0.7% of total)
ival-tan: 14.0ms (0.2% of total)
ival-cosh: 11.0ms (0.1% of total)
ival-fabs: 10.0ms (0.1% of total)
ival-sinh: 10.0ms (0.1% of total)
ival-hypot: 8.0ms (0.1% of total)
ival-tanh: 7.0ms (0.1% of total)
ival-acos: 5.0ms (0.1% of total)

bsearch35.2s (1.7%)

Memory
131.6MiB live, 40 123.1MiB allocated
Algorithm
1 618×binary-search
1 235×left-value
Stop Event
1 601×narrow-enough
17×predicate-same
Samples
20.6s132 185×0valid
968.0ms3 526×1valid
397.0ms4 102×0invalid
28.0ms64×1invalid
21.0ms104×2valid
2.0ms9×3valid
0.0ms1×1exit
Compiler

Compiled 278 422 to 337 226 computations (-21.1% saved)

Precisions
Click to see histograms. Total time spent on operations: 14.9s
ival-mult: 6.8s (45.3% of total)
ival-sub: 3.2s (21.5% of total)
ival-add: 1.8s (12.3% of total)
ival-log: 818.0ms (5.5% of total)
ival-div: 763.0ms (5.1% of total)
ival-cos: 465.0ms (3.1% of total)
ival-sin: 283.0ms (1.9% of total)
const: 253.0ms (1.7% of total)
ival-exp: 130.0ms (0.9% of total)
adjust: 106.0ms (0.7% of total)
ival-true: 96.0ms (0.6% of total)
ival-sqrt: 90.0ms (0.6% of total)
ival-assert: 56.0ms (0.4% of total)
exact: 43.0ms (0.3% of total)
ival-cosh: 6.0ms (0% of total)
ival-tanh: 3.0ms (0% of total)
ival-fabs: 1.0ms (0% of total)

analyze20.2s (1%)

Memory
-40.3MiB live, 23 092.9MiB allocated
Algorithm
269×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%99.9%0.1%0%0%0%0
46.8%46.8%53.1%0.1%0%0%0%1
50.5%50.1%49.2%0.1%0%0.6%0%2
58.6%57%40.3%0.1%0%2.6%0%3
65.2%62.7%33.5%0.1%0%3.6%0%4
71.2%68.2%27.5%0.1%0%4.1%0%5
75.9%72.3%23%0.1%0%4.6%0%6
79.8%75.6%19.1%0.1%0%5.1%0%7
81.7%77%17.3%0.1%0%5.6%0%8
84.3%79.3%14.7%0.1%0%5.9%0%9
85.9%80.5%13.2%0.1%0%6.2%0%10
88.5%82.8%10.8%0.1%0%6.2%0%11
89.6%83.6%9.8%0.1%0%6.5%0%12
Compiler

Compiled 3 462 to 2 977 computations (14% saved)

start7.0ms (0%)

Memory
16.3MiB live, 16.2MiB allocated

end4.0ms (0%)

Memory
-32.5MiB live, 4.2MiB allocated

Profiling

Loading profile data...