Herbie run

Date:Saturday, July 13th, 2024
Commit:798ab808 on main
Hostname:nightly with Racket 8.11.1
Seed:2024195
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: 45.3min)

simplify11.5min (25.5%)

Memory
425.8MiB live, 838 389.2MiB allocated
Algorithm
2 191×egg-herbie
Rules
13 653 162×accelerator-lowering-fma.f32
13 653 162×accelerator-lowering-fma.f64
5 203 004×*-lowering-*.f32
5 203 004×*-lowering-*.f64
2 858 562×+-lowering-+.f32
Stop Event
1 902×iter limit
1 212×node limit
999×saturated
Counts
248 688 → 248 688

rewrite8.5min (18.7%)

Memory
409.5MiB live, 660 722.3MiB allocated
Algorithm
961×batch-egg-rewrite
Rules
5 561 490×accelerator-lowering-fma.f32
5 561 490×accelerator-lowering-fma.f64
3 924 064×*-lowering-*.f32
3 924 064×*-lowering-*.f64
3 314 094×/-lowering-/.f64
Stop Event
1 005×iter limit
918×node limit
38×saturated
14×unsound
Counts
9 382 → 687 867

soundness5.9min (12.9%)

Memory
-473.9MiB live, 190 480.5MiB allocated
Rules
8 914 730×accelerator-lowering-fma.f32
8 914 730×accelerator-lowering-fma.f64
4 590 786×*-lowering-*.f32
4 590 786×*-lowering-*.f64
2 658 954×/-lowering-/.f64
Stop Event
1 088×iter limit
1 043×node limit
162×fuel
107×done
16×saturated
5×unsound
Compiler

Compiled 151 799 to 77 112 computations (49.2% saved)

sample5.6min (12.3%)

Memory
1 257.6MiB live, 394 417.2MiB allocated
Samples
3.3min2 145 590×0valid
21.0s68 813×1valid
19.3s63 915×0invalid
1.9s5 789×2valid
1.2s1 186×5exit
762.0ms1 851×1invalid
201.0ms394×4exit
192.0ms670×3valid
3.0ms29×1exit
1.0ms2×4valid
Precisions
Click to see histograms. Total time spent on operations: 2.6min
ival-mult: 52.7s (33.6% of total)
ival-div: 29.0s (18.5% of total)
ival-sub: 20.1s (12.8% of total)
ival-add: 18.3s (11.7% of total)
ival-log: 10.2s (6.5% of total)
const: 5.9s (3.8% of total)
ival-sqrt: 4.7s (3% of total)
ival-sin: 3.4s (2.2% of total)
ival-cos: 3.1s (2% of total)
ival-exp: 2.1s (1.4% of total)
adjust: 1.9s (1.2% of total)
ival-true: 1.6s (1% of total)
exact: 1.0s (0.7% of total)
ival-assert: 876.0ms (0.6% of total)
ival-hypot: 414.0ms (0.3% of total)
ival-fabs: 282.0ms (0.2% of total)
ival-cosh: 280.0ms (0.2% of total)
ival-tan: 248.0ms (0.2% of total)
ival-acos: 217.0ms (0.1% of total)
ival-tanh: 131.0ms (0.1% of total)
ival-sinh: 131.0ms (0.1% of total)
Bogosity

eval3.3min (7.2%)

Memory
6 222.9MiB live, 278 066.5MiB allocated
Compiler

Compiled 29 132 427 to 2 006 541 computations (93.1% saved)

prune3.1min (6.7%)

Memory
-5 461.4MiB live, 280 113.3MiB allocated
Counts
1 040 379 → 15 634
Compiler

Compiled 559 355 to 302 281 computations (46% saved)

regimes2.2min (4.8%)

Memory
-428.1MiB live, 143 444.4MiB allocated
Counts
49 071 → 5 049
Calls

513 calls:

23.8s
x
18.6s
y
10.8s
z
9.9s
(exp.f64 (*.f64 y y))
6.1s
t
Compiler

Compiled 81 529 to 60 695 computations (25.6% saved)

localize1.5min (3.4%)

Memory
-1 208.3MiB live, 126 845.9MiB allocated
Samples
45.0s229 453×0valid
7.0s9 055×1valid
2.8s2 868×2valid
1.2s3 334×0invalid
436.0ms393×5exit
195.0ms277×3valid
159.0ms364×0exit
103.0ms268×2exit
4.0ms4×4valid
Compiler

Compiled 99 203 to 19 713 computations (80.1% saved)

Precisions
Click to see histograms. Total time spent on operations: 36.1s
ival-mult: 13.0s (36.1% of total)
ival-div: 6.0s (16.5% of total)
ival-add: 5.9s (16.4% of total)
ival-sub: 3.2s (8.9% of total)
const: 2.3s (6.3% of total)
ival-log: 1.0s (2.9% of total)
adjust: 953.0ms (2.6% of total)
ival-cos: 783.0ms (2.2% of total)
ival-sin: 643.0ms (1.8% of total)
ival-sqrt: 593.0ms (1.6% of total)
ival-pow2: 262.0ms (0.7% of total)
exact: 247.0ms (0.7% of total)
ival-true: 200.0ms (0.6% of total)
ival-pow: 191.0ms (0.5% of total)
ival-exp: 174.0ms (0.5% of total)
ival-neg: 140.0ms (0.4% of total)
ival-fabs: 126.0ms (0.3% of total)
ival-assert: 101.0ms (0.3% of total)
ival-tan: 57.0ms (0.2% of total)
ival-expm1: 44.0ms (0.1% of total)
ival-log1p: 38.0ms (0.1% of total)
ival-tanh: 19.0ms (0.1% of total)
ival-acos: 18.0ms (0% of total)
ival-cosh: 17.0ms (0% of total)
ival-asin: 12.0ms (0% of total)
ival-sinh: 10.0ms (0% of total)
ival-hypot: 8.0ms (0% of total)
ival-pi: 3.0ms (0% of total)

preprocess1.5min (3.3%)

Memory
-268.3MiB live, 101 165.1MiB allocated
Algorithm
538×egg-herbie
Rules
854 502×accelerator-lowering-fma.f32
854 502×accelerator-lowering-fma.f64
196 052×unsub-neg
193 236×*-lowering-*.f32
193 236×*-lowering-*.f64
Stop Event
392×saturated
269×iter limit
146×node limit
Compiler

Compiled 161 568 to 47 900 computations (70.4% saved)

bsearch46.4s (1.7%)

Memory
-128.9MiB live, 62 430.0MiB allocated
Algorithm
1 627×binary-search
1 201×left-value
Stop Event
1 600×narrow-enough
27×predicate-same
Samples
29.1s199 768×0valid
1.5s5 124×1valid
376.0ms5 491×0invalid
22.0ms139×2valid
7.0ms22×3valid
1.0ms3×4valid
Compiler

Compiled 404 908 to 297 300 computations (26.6% saved)

Precisions
Click to see histograms. Total time spent on operations: 21.0s
ival-mult: 8.9s (42.4% of total)
ival-sub: 3.7s (17.8% of total)
ival-add: 2.6s (12.4% of total)
ival-div: 1.6s (7.6% of total)
ival-log: 1.1s (5.2% of total)
const: 1.1s (5.2% of total)
ival-sin: 536.0ms (2.6% of total)
ival-cos: 489.0ms (2.3% of total)
ival-exp: 254.0ms (1.2% of total)
ival-sqrt: 189.0ms (0.9% of total)
ival-true: 156.0ms (0.7% of total)
adjust: 134.0ms (0.6% of total)
exact: 86.0ms (0.4% of total)
ival-assert: 82.0ms (0.4% of total)
ival-cosh: 56.0ms (0.3% of total)
ival-tanh: 4.0ms (0% of total)

explain42.8s (1.6%)

Memory
-171.6MiB live, 59 501.0MiB allocated
Explanations
Click to see full explanations table
OperatorSubexpressionExplanationCount
log.f64#fsensitivity15714
/.f64#fo/n12240
sqrt.f64#foflow-rescue8100
/.f64#fo/o6020
-.f64#fcancellation5849
*.f64#fn*o5050
+.f64#fnan-rescue4980
-.f64#fnan-rescue4270
cos.f64#fsensitivity3552
/.f64#fn/o3430
+.f64#fcancellation3191
/.f64#fu/n2600
sin.f64#fsensitivity2290
*.f64#fn*u1810
cos.f64#foflow-rescue1220
/.f64#fn/u1160
/.f64#fu/u970
tan.f64(tan.f64 (/.f64 x (*.f64 y #s(literal 2 binary64))))sensitivity960
log.f64#foflow-rescue890
log.f64#fuflow-rescue830
sqrt.f64#fuflow-rescue410
*.f64#fo*u410
tan.f64(tan.f64 (/.f64 x (*.f64 y #s(literal 2 binary64))))oflow-rescue360
↳(/.f64 x (*.f64 y #s(literal 2 binary64)))overflow36
sin.f64(sin.f64 (/.f64 x (*.f64 y #s(literal 2 binary64))))oflow-rescue360
↳(/.f64 x (*.f64 y #s(literal 2 binary64)))overflow36
exp.f64#fsensitivity302
*.f64#fu*o20
Confusion
Predicted +Predicted -
+6092184
-172660862
Precision
0.7792274238935789
Recall
0.9706819630337795
Confusion?
Predicted +Predicted MaybePredicted -
+60923181
-17261860844
Precision?
0.777522643194285
Recall?
0.9711599745060548
Freqs
test
numberfreq
061046
17039
2699
361
418
51
Total Confusion?
Predicted +Predicted MaybePredicted -
+13400
-22131
Precision?
0.9710144927536232
Recall?
1.0
Samples
12.1s130 372×0valid
1.9s6 044×1valid
594.0ms1 206×2valid
28.0ms106×3valid
Compiler

Compiled 29 004 to 10 844 computations (62.6% saved)

Precisions
Click to see histograms. Total time spent on operations: 7.9s
ival-mult: 2.6s (32.8% of total)
ival-sub: 1.0s (13% of total)
ival-div: 1.0s (12.6% of total)
ival-add: 978.0ms (12.3% of total)
ival-log: 682.0ms (8.6% of total)
const: 314.0ms (4% of total)
ival-sin: 279.0ms (3.5% of total)
adjust: 224.0ms (2.8% of total)
ival-cos: 216.0ms (2.7% of total)
ival-sqrt: 155.0ms (2% of total)
ival-true: 118.0ms (1.5% of total)
ival-exp: 86.0ms (1.1% of total)
exact: 66.0ms (0.8% of total)
ival-cosh: 61.0ms (0.8% of total)
ival-assert: 56.0ms (0.7% of total)
ival-tan: 15.0ms (0.2% of total)
ival-fabs: 11.0ms (0.1% of total)
ival-sinh: 9.0ms (0.1% of total)
ival-hypot: 8.0ms (0.1% of total)
ival-acos: 7.0ms (0.1% of total)
ival-tanh: 6.0ms (0.1% of total)

series30.1s (1.1%)

Memory
1 132.2MiB live, 42 071.7MiB allocated
Counts
9 382 → 248 688
Calls

45564 calls:

TimeVariablePointExpression
243.0ms
y
@0
(+ (* y (/ -1/3 (* x (+ (* x x) 0)))) (/ -1/2 (+ (* x x) 0)))
223.0ms
x
@0
(- x (+ (* x (* (* y y) (+ (* x (* y 1/4)) -1/2))) y))
208.0ms
t
@-inf
(/ x (+ (* y (- (- 0 t) z)) (* t z)))
192.0ms
y
@0
(log y)
192.0ms
y2
@0
(+ (- (* (* x y2) (- (* c y0) (* a y1))) (* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))) (* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0))))

analyze18.1s (0.7%)

Memory
-236.9MiB live, 24 403.8MiB 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)

end2.0ms (0%)

Memory
4.9MiB live, 4.4MiB allocated

Profiling

Loading profile data...