Herbie run

Date:Thursday, September 5th, 2024
Commit:7a659933 on fewer-globals
Hostname:nightly with Racket 8.11.1
Seed:2024249
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.6min)

simplify6.4min (18.4%)

Memory
405.2MiB live, 350 314.6MiB allocated
Algorithm
2 117×egg-herbie
Rules
13 575 050×lower-fma.f32
13 571 968×lower-fma.f64
5 200 908×lower-*.f32
5 193 780×lower-*.f64
2 937 624×lower-+.f32
Stop Event
2 757×iter limit
1 215×node limit
917×saturated
Counts
354 216 → 346 034

sample5.6min (16%)

Memory
1 434.4MiB live, 372 961.6MiB allocated
Samples
3.2min2 146 378×0valid
24.3s68 197×1valid
10.1s64 104×0invalid
1.9s5 738×2valid
1.0s1 210×5exit
412.0ms364×4exit
392.0ms1 738×1invalid
208.0ms551×3valid
1.0ms13×1exit
Precisions
Click to see histograms. Total time spent on operations: 2.4min
ival-mult: 46.1s (32.1% of total)
ival-add: 21.3s (14.8% of total)
ival-sub: 19.0s (13.2% of total)
ival-div: 17.0s (11.8% of total)
ival-log: 9.1s (6.4% of total)
const: 6.4s (4.4% of total)
ival-sqrt: 5.4s (3.7% of total)
ival-sin: 4.5s (3.1% of total)
ival-cos: 3.4s (2.4% of total)
ival-exp: 3.3s (2.3% of total)
adjust: 3.0s (2.1% of total)
ival-true: 1.6s (1.1% of total)
exact: 995.0ms (0.7% of total)
ival-assert: 845.0ms (0.6% of total)
ival-acos: 545.0ms (0.4% of total)
ival-tan: 328.0ms (0.2% of total)
ival-cosh: 240.0ms (0.2% of total)
ival-fabs: 233.0ms (0.2% of total)
ival-hypot: 232.0ms (0.2% of total)
ival-sinh: 148.0ms (0.1% of total)
ival-tanh: 82.0ms (0.1% of total)
Bogosity

soundness5.3min (15.4%)

Memory
32.9MiB live, 165 783.1MiB allocated
Rules
8 046 552×lower-fma.f32
8 045 304×lower-fma.f64
4 260 288×lower-*.f32
4 256 974×lower-*.f64
2 383 940×lower-/.f32
Stop Event
1 421×iter limit
953×node limit
149×fuel
120×done
25×saturated
3×unsound
Compiler

Compiled 131 780 to 76 768 computations (41.7% saved)

rewrite5.0min (14.4%)

Memory
173.5MiB live, 278 744.3MiB allocated
Rules
5 059 332×lower-fma.f32
5 056 258×lower-fma.f64
3 932 026×lower-*.f32
3 924 992×lower-*.f64
3 366 926×lower-/.f32
Stop Event
1 892×iter limit
896×node limit
19×unsound
18×saturated
Counts
11 509 → 487 020

eval3.8min (10.9%)

Memory
1 650.5MiB live, 248 042.2MiB allocated
Compiler

Compiled 21 407 597 to 1 930 716 computations (91% saved)

localize1.7min (4.9%)

Memory
-1 235.9MiB live, 120 006.8MiB allocated
Samples
56.0s217 308×0valid
9.4s11 240×1valid
4.3s3 233×2valid
1.4s3 461×0invalid
1.2s548×5exit
337.0ms255×3valid
122.0ms126×2exit
82.0ms242×0exit
62.0ms46×3exit
52.0ms53×1invalid
42.0ms16×1exit
24.0ms16×4valid
Compiler

Compiled 136 766 to 22 280 computations (83.7% saved)

Precisions
Click to see histograms. Total time spent on operations: 47.4s
ival-mult: 16.2s (34.1% of total)
ival-div: 7.7s (16.2% of total)
ival-add: 6.5s (13.7% of total)
ival-sub: 4.3s (9.1% of total)
const: 2.6s (5.5% of total)
adjust: 2.6s (5.4% of total)
ival-log: 1.5s (3.1% of total)
ival-pow: 1.4s (2.9% of total)
ival-neg: 834.0ms (1.8% of total)
ival-cos: 735.0ms (1.5% of total)
ival-exp: 678.0ms (1.4% of total)
ival-sin: 644.0ms (1.4% of total)
ival-sqrt: 585.0ms (1.2% of total)
ival-pow2: 378.0ms (0.8% of total)
exact: 219.0ms (0.5% of total)
ival-true: 193.0ms (0.4% of total)
ival-expm1: 97.0ms (0.2% of total)
ival-assert: 92.0ms (0.2% of total)
ival-log1p: 84.0ms (0.2% of total)
ival-tan: 64.0ms (0.1% of total)
ival-sinh: 63.0ms (0.1% of total)
ival-fabs: 37.0ms (0.1% of total)
ival-acos: 32.0ms (0.1% of total)
ival-cosh: 23.0ms (0% of total)
ival-hypot: 21.0ms (0% of total)
ival-tanh: 18.0ms (0% of total)
ival-asin: 5.0ms (0% of total)
ival-pi: 3.0ms (0% of total)

regimes1.6min (4.6%)

Memory
-785.2MiB live, 113 602.5MiB allocated
Counts
41 006 → 5 083
Calls

511 calls:

15.2s
x
12.7s
y
9.1s
z
5.1s
t
3.7s
a
Compiler

Compiled 38 247 to 56 804 computations (-48.5% saved)

preprocess1.3min (3.8%)

Memory
1 235.5MiB live, 72 437.4MiB 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 177 258 to 56 630 computations (68.1% saved)

prune1.2min (3.5%)

Memory
-2 742.1MiB live, 102 988.4MiB allocated
Counts
916 461 → 14 214
Compiler

Compiled 431 372 to 302 475 computations (29.9% saved)

series1.1min (3.3%)

Memory
849.8MiB live, 85 315.8MiB allocated
Counts
11 509 → 354 216
Calls

8838 calls:

TimeVariablePointExpression
456.0ms
y
@0
((/ -1 (/ 1 (* (log (/ y x)) x))) (* (log (/ y x)) x) (log (/ y x)) (/ y x) (/ (log (/ y x)) (/ -1 x)) (/ -1 x) (* x (- (log (neg x)) (log (neg y)))) (- (log (neg x)) (log (neg y))) (log (neg x)) (neg x) (+ (* (* (log x) 2) x) (* (neg x) (log (* y x)))) (* (log x) 2) (log x) (* (neg x) (log (* y x))) (+ (log (/ y (* (neg x) x))) (log (neg x))) (log (/ y (* (neg x) x))) (/ y (* (neg x) x)) (/ 1 (* (log (/ y x)) x)) (log (neg y)) (neg y) (log (* y x)) (* y x) (* (neg x) x))
400.0ms
y
@-inf
((- (+ x y) (/ (* (- z t) y) (- a t))) (+ x y) (/ (* (- z t) y) (- a t)) (* (- z t) y))
385.0ms
y
@-inf
((/ -1 (* -3 y)) (* (/ -1 (* -3 y)) x) (* -3 y) (/ (- 0 (* y (* -1/3 x))) (* y y)) (- 0 (* y (* -1/3 x))) (* y (* -1/3 x)) (* -1/3 x) (/ x 3) (/ (/ x 3) y) (* y y))
363.0ms
y
@0
((/ x (/ z y)) (/ z y) (* (/ x z) y) (/ x z) (* (/ y z) x) (/ y z) (/ y (/ z x)) (/ z x) (/ (- 0 (* (neg z) (* y x))) (* z z)) (- 0 (* (neg z) (* y x))) (* (neg z) (* y x)) (neg z) (* y x))
319.0ms
z
@0
((/ -1 (/ -1 (+ x y))) (* (sqrt (+ (* (/ -1 (/ -1 (+ x y))) z) (* y x))) 2) (sqrt (+ (* (/ -1 (/ -1 (+ x y))) z) (* y x))) (+ (* (/ -1 (/ -1 (+ x y))) z) (* y x)) (* (sqrt (+ (* (+ y x) z) (* y x))) 2) (sqrt (+ (* (+ y x) z) (* y x))) (+ (* (+ y x) z) (* y x)) (* z x) (* 2 (sqrt (+ (+ (* x y) (* x z)) (* y z)))) (* (+ (* (sqrt (/ (/ 1 (+ y x)) (pow z 3))) (* y x)) (* (sqrt (/ (+ y x) z)) 2)) z) (+ (* (sqrt (/ (/ 1 (+ y x)) (pow z 3))) (* y x)) (* (sqrt (/ (+ y x) z)) 2)) (* (sqrt (/ y z)) 2) (* 2 (/ 1 (sqrt (/ 1 (+ (* (+ y x) z) (* y x)))))) (/ 1 (sqrt (/ 1 (+ (* (+ y x) z) (* y x))))) (sqrt (/ 1 (+ (* (+ y x) z) (* y x)))) (/ 1 (+ (* (+ y x) z) (* y x))) (* 2 (sqrt (+ (+ (* x y) (* x z)) (* y z)))) (* (+ (* (sqrt (/ (/ 1 (+ y x)) (pow z 3))) (* y x)) (* (sqrt (/ (+ y x) z)) 2)) z) (+ (* (sqrt (/ (/ 1 (+ y x)) (pow z 3))) (* y x)) (* (sqrt (/ (+ y x) z)) 2)) (* (+ (* (sqrt (/ 1 (* (pow z 3) y))) x) (* (sqrt (/ 1 (* z y))) 2)) y) (/ -1 (+ x y)) (sqrt (/ y z)) (+ (* (+ y x) z) (* y x)) (sqrt (/ 1 (* z y))) (sqrt (/ 1 (* (pow z 3) y))))

explain44.3s (2.1%)

Memory
-869.1MiB live, 53 099.5MiB allocated
Explanations
Click to see full explanations table
OperatorSubexpressionExplanationCount
log.f64#fsensitivity15510
/.f64#fo/n12320
sqrt.f64#foflow-rescue7590
-.f64#fcancellation59711
/.f64#fo/o5430
*.f64#fn*o5040
+.f64#fnan-rescue4810
-.f64#fnan-rescue4730
cos.f64#fsensitivity3640
/.f64#fn/o3210
+.f64#fcancellation3173
sin.f64#fsensitivity2250
/.f64#fu/n2190
*.f64#fn*u1760
/.f64#fn/u1510
cos.f64#foflow-rescue1260
tan.f64(tan.f64 (/.f64 x (*.f64 y #s(literal 2 binary64))))sensitivity950
/.f64#fu/u820
log.f64#foflow-rescue800
log.f64#fuflow-rescue710
sqrt.f64#fuflow-rescue390
tan.f64(tan.f64 (/.f64 x (*.f64 y #s(literal 2 binary64))))oflow-rescue330
↳(/.f64 x (*.f64 y #s(literal 2 binary64)))overflow33
sin.f64(sin.f64 (/.f64 x (*.f64 y #s(literal 2 binary64))))oflow-rescue330
↳(/.f64 x (*.f64 y #s(literal 2 binary64)))overflow33
*.f64#fo*u310
exp.f64#fsensitivity242
*.f64(*.f64 (-.f64 (*.f64 t y2) (*.f64 y y3)) (-.f64 (*.f64 y4 c) (*.f64 y5 a)))u*o20
↳(*.f64 t y2)underflow30
↳(*.f64 y y3)underflow28
↳(-.f64 (*.f64 t y2) (*.f64 y y3))underflow3
↳(*.f64 y4 c)overflow30
↳(-.f64 (*.f64 y4 c) (*.f64 y5 a))overflow62
↳(*.f64 y5 a)overflow36
Confusion
Predicted +Predicted -
+5971199
-166361031
Precision
0.7821587634267749
Recall
0.9677471636952998
Confusion?
Predicted +Predicted MaybePredicted -
+59712197
-16631561016
Precision?
0.7806822637563717
Recall?
0.9680713128038898
Freqs
test
numberfreq
061230
16854
2693
370
410
55
72
Total Confusion?
Predicted +Predicted MaybePredicted -
+13100
-12135
Precision?
0.9776119402985075
Recall?
1.0
Samples
13.3s130 592×0valid
2.5s5 892×1valid
691.0ms1 152×2valid
38.0ms90×3valid
1.0ms2×5exit
Compiler

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

Precisions
Click to see histograms. Total time spent on operations: 9.1s
ival-mult: 2.9s (32.2% of total)
ival-add: 1.4s (15.7% of total)
ival-log: 1.1s (12% of total)
ival-sub: 1.0s (11.2% of total)
ival-div: 892.0ms (9.8% of total)
const: 316.0ms (3.5% of total)
ival-cos: 288.0ms (3.2% of total)
adjust: 274.0ms (3% of total)
ival-sqrt: 229.0ms (2.5% of total)
ival-sin: 188.0ms (2.1% of total)
ival-exp: 127.0ms (1.4% of total)
ival-true: 113.0ms (1.2% of total)
exact: 61.0ms (0.7% of total)
ival-assert: 53.0ms (0.6% of total)
ival-fabs: 34.0ms (0.4% of total)
ival-cosh: 15.0ms (0.2% of total)
ival-sinh: 15.0ms (0.2% of total)
ival-tan: 12.0ms (0.1% of total)
ival-hypot: 8.0ms (0.1% of total)
ival-tanh: 6.0ms (0.1% of total)
ival-acos: 4.0ms (0% of total)

bsearch35.2s (1.7%)

Memory
192.5MiB live, 36 997.5MiB allocated
Algorithm
1 557×binary-search
1 352×left-value
Stop Event
1 523×narrow-enough
34×predicate-same
Samples
18.6s126 263×0valid
1.0s3 514×1valid
280.0ms2 923×0invalid
46.0ms103×2valid
39.0ms145×1invalid
2.0ms8×3valid
Compiler

Compiled 273 529 to 322 928 computations (-18.1% saved)

Precisions
Click to see histograms. Total time spent on operations: 12.6s
ival-mult: 5.9s (47.1% of total)
ival-sub: 2.4s (19.1% of total)
ival-add: 1.3s (10.3% of total)
ival-div: 800.0ms (6.4% of total)
ival-log: 754.0ms (6% of total)
const: 347.0ms (2.8% of total)
ival-sin: 230.0ms (1.8% of total)
ival-cos: 209.0ms (1.7% of total)
ival-exp: 183.0ms (1.5% of total)
adjust: 129.0ms (1% of total)
ival-true: 93.0ms (0.7% of total)
ival-sqrt: 76.0ms (0.6% of total)
ival-assert: 50.0ms (0.4% of total)
exact: 45.0ms (0.4% of total)
ival-tanh: 17.0ms (0.1% of total)
ival-cosh: 12.0ms (0.1% of total)
ival-sinh: 1.0ms (0% of total)

analyze18.4s (0.9%)

Memory
-149.6MiB live, 23 703.7MiB 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
17.3MiB live, 17.3MiB allocated

end2.0ms (0%)

Memory
5.3MiB live, 5.1MiB allocated

Profiling

Loading profile data...