Herbie run

Date:Wednesday, July 10th, 2024
Commit:8dd1d15b on elim-conversions
Hostname:nightly with Racket 8.11.1
Seed:2024192
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: 8.3min)

simplify1.9min (23.2%)

Memory
-256.7MiB live, 150 293.6MiB allocated
Algorithm
324×egg-herbie
Rules
2 520 990×accelerator-lowering-fma.f32
2 520 990×accelerator-lowering-fma.f64
933 738×*-lowering-*.f32
933 738×*-lowering-*.f64
522 448×+-lowering-+.f32
Stop Event
274×iter limit
201×node limit
131×saturated
Counts
34 536 → 34 536

soundness1.7min (21.1%)

Memory
-177.7MiB live, 122 783.4MiB allocated
Rules
1 592 984×accelerator-lowering-fma.f32
1 592 984×accelerator-lowering-fma.f64
771 762×*-lowering-*.f32
771 762×*-lowering-*.f64
397 384×/-lowering-/.f64
Stop Event
176×iter limit
164×node limit
26×fuel
16×saturated
16×done
Compiler

Compiled 20 302 to 10 126 computations (50.1% saved)

rewrite1.3min (15.3%)

Memory
-523.4MiB live, 108 640.2MiB allocated
Algorithm
141×batch-egg-rewrite
Rules
764 884×accelerator-lowering-fma.f32
764 884×accelerator-lowering-fma.f64
623 908×*-lowering-*.f32
623 908×*-lowering-*.f64
516 600×/-lowering-/.f64
Stop Event
138×iter limit
136×node limit
9×saturated
Counts
1 752 → 105 639

sample1.0min (12.5%)

Memory
371.5MiB live, 90 410.7MiB allocated
Samples
26.5s285 121×0valid
11.2s43 843×1valid
6.9s17 404×2valid
414.0ms4 210×0invalid
215.0ms384×3valid
199.0ms1 016×0exit
70.0ms101×3exit
53.0ms101×4exit
5.0ms36×1exit
Precisions
Click to see histograms. Total time spent on operations: 34.0s
ival-mult: 7.6s (22.2% of total)
ival-add: 3.7s (10.7% of total)
ival-div: 3.3s (9.6% of total)
ival-pow: 3.2s (9.5% of total)
ival-sub: 2.6s (7.8% of total)
const: 2.6s (7.5% of total)
ival-sin: 2.3s (6.6% of total)
ival-<=: 2.1s (6.3% of total)
adjust: 1.7s (4.9% of total)
ival-cos: 1.5s (4.5% of total)
ival-neg: 523.0ms (1.5% of total)
ival-sqrt: 505.0ms (1.5% of total)
exact: 491.0ms (1.4% of total)
ival-exp: 421.0ms (1.2% of total)
ival-and: 347.0ms (1% of total)
ival-pow2: 275.0ms (0.8% of total)
ival-==: 240.0ms (0.7% of total)
ival-true: 137.0ms (0.4% of total)
ival-assert: 135.0ms (0.4% of total)
ival-log1p: 87.0ms (0.3% of total)
ival-atan: 79.0ms (0.2% of total)
ival-<: 65.0ms (0.2% of total)
ival-expm1: 64.0ms (0.2% of total)
ival-tan: 56.0ms (0.2% of total)
ival-pi: 51.0ms (0.1% of total)
ival-hypot: 19.0ms (0.1% of total)
ival-if: 4.0ms (0% of total)
ival-fabs: 3.0ms (0% of total)
Bogosity

eval31.8s (6.4%)

Memory
1 146.9MiB live, 50 351.4MiB allocated
Compiler

Compiled 6 749 179 to 400 229 computations (94.1% saved)

prune30.5s (6.2%)

Memory
-640.5MiB live, 47 219.1MiB allocated
Counts
166 648 → 2 781
Compiler

Compiled 179 377 to 69 151 computations (61.4% saved)

localize23.4s (4.7%)

Memory
38.1MiB live, 31 404.5MiB allocated
Samples
6.8s30 492×0valid
2.8s2 612×1valid
2.7s2 068×2valid
418.0ms70×5exit
187.0ms90×3valid
103.0ms275×1exit
86.0ms202×0invalid
80.0ms258×0exit
34.0ms23×2exit
17.0ms6×4valid
Compiler

Compiled 36 724 to 3 652 computations (90.1% saved)

Precisions
Click to see histograms. Total time spent on operations: 8.7s
ival-mult: 2.6s (30.3% of total)
ival-div: 1.5s (17.6% of total)
ival-add: 1.4s (15.9% of total)
const: 945.0ms (10.8% of total)
adjust: 661.0ms (7.6% of total)
ival-sub: 533.0ms (6.1% of total)
ival-tan: 303.0ms (3.5% of total)
ival-pow: 249.0ms (2.9% of total)
ival-cos: 142.0ms (1.6% of total)
exact: 62.0ms (0.7% of total)
ival-sqrt: 50.0ms (0.6% of total)
ival-sin: 43.0ms (0.5% of total)
ival-exp: 40.0ms (0.5% of total)
ival-true: 30.0ms (0.3% of total)
ival-neg: 25.0ms (0.3% of total)
ival-atan: 22.0ms (0.3% of total)
ival-log1p: 17.0ms (0.2% of total)
ival-expm1: 15.0ms (0.2% of total)
ival-assert: 15.0ms (0.2% of total)
ival-pow2: 9.0ms (0.1% of total)
ival-pi: 4.0ms (0% of total)
ival-fabs: 2.0ms (0% of total)

preprocess17.4s (3.5%)

Memory
377.1MiB live, 19 526.7MiB allocated
Algorithm
84×egg-herbie
Rules
283 340×accelerator-lowering-fma.f32
283 340×accelerator-lowering-fma.f64
55 342×*-lowering-*.f32
55 342×*-lowering-*.f64
38 680×unsub-neg
Stop Event
55×saturated
40×iter limit
31×node limit
Compiler

Compiled 22 912 to 7 840 computations (65.8% saved)

regimes10.4s (2.1%)

Memory
-232.9MiB live, 13 900.9MiB allocated
Counts
7 315 → 584
Calls

96 calls:

2.1s
x
609.0ms
(-.f64 #s(literal 1 binary64) (*.f64 x x))
536.0ms
b
536.0ms
eps
477.0ms
(/.f64 #s(literal 10 binary64) (-.f64 #s(literal 1 binary64) (*.f64 x x)))
Compiler

Compiled 3 314 to 2 127 computations (35.8% saved)

explain10.2s (2.1%)

Memory
-350.6MiB live, 15 208.6MiB allocated
Explanations
Click to see full explanations table
OperatorSubexpressionExplanationCount
-.f64#fcancellation12716
+.f64#fcancellation37086
-.f64(-.f64 (*.f64 #s(literal 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 binary64) t) #s(literal 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 binary64))oflow-left2230
sqrt.f64#foflow-rescue1920
/.f64#fn/o1710
/.f64#fo/o1680
log.f64(log.f64 (+.f64 #s(literal 1 binary64) x))sensitivity1421
pow.f64(pow.f64 (+.f64 #s(literal 1 binary64) (/.f64 i n)) n)sensitivity1100
-.f64#fnan-rescue890
/.f64#fu/n850
+.f64#fnan-rescue530
/.f64#fn/u520
*.f64#fn*u440
/.f64#fo/n400
/.f64#fu/u360
*.f64#fn*o280
pow.f64(pow.f64 (+.f64 #s(literal 1 binary64) (/.f64 i n)) n)oflow-rescue260
↳(pow.f64 (+.f64 #s(literal 1 binary64) (/.f64 i n)) n)overflow37
↳(/.f64 i n)overflow26
↳(+.f64 #s(literal 1 binary64) (/.f64 i n))overflow26
sqrt.f64#fuflow-rescue80
Confusion
Predicted +Predicted -
+3536481
-1126623
Precision
0.9692982456140351
Recall
0.8802588996763754
Confusion?
Predicted +Predicted MaybePredicted -
+3536166315
-1121846439
Precision?
0.9259629814907454
Recall?
0.9215832710978342
Freqs
test
numberfreq
07104
13211
2394
343
Total Confusion?
Predicted +Predicted MaybePredicted -
+2911
-209
Precision?
0.9375
Recall?
0.967741935483871
Samples
1.8s16 934×0valid
936.0ms3 084×1valid
732.0ms1 466×2valid
12.0ms20×3valid
Compiler

Compiled 8 444 to 1 926 computations (77.2% saved)

Precisions
Click to see histograms. Total time spent on operations: 2.2s
ival-mult: 642.0ms (28.9% of total)
ival-div: 281.0ms (12.6% of total)
ival-add: 232.0ms (10.4% of total)
ival-sub: 227.0ms (10.2% of total)
ival-pow: 191.0ms (8.6% of total)
adjust: 180.0ms (8.1% of total)
ival-cos: 101.0ms (4.5% of total)
ival-sin: 90.0ms (4% of total)
ival-exp: 52.0ms (2.3% of total)
ival-sqrt: 49.0ms (2.2% of total)
ival-neg: 47.0ms (2.1% of total)
const: 46.0ms (2.1% of total)
exact: 24.0ms (1.1% of total)
ival-true: 19.0ms (0.9% of total)
ival-pow2: 14.0ms (0.6% of total)
ival-assert: 9.0ms (0.4% of total)
ival-atan: 6.0ms (0.3% of total)
ival-log1p: 5.0ms (0.2% of total)
ival-tan: 4.0ms (0.2% of total)
ival-expm1: 4.0ms (0.2% of total)
ival-pi: 2.0ms (0.1% of total)

bsearch7.2s (1.5%)

Memory
4.2MiB live, 11 142.2MiB allocated
Algorithm
271×binary-search
21×left-value
Stop Event
252×narrow-enough
19×predicate-same
Samples
3.5s29 030×0valid
888.0ms3 535×1valid
335.0ms824×2valid
104.0ms1 361×0invalid
3.0ms3×3valid
0.0ms1×1exit
Compiler

Compiled 71 487 to 46 818 computations (34.5% saved)

Precisions
Click to see histograms. Total time spent on operations: 3.4s
ival-mult: 1.0s (30.9% of total)
ival-div: 648.0ms (19.3% of total)
ival-pow: 473.0ms (14.1% of total)
ival-add: 409.0ms (12.2% of total)
ival-sub: 373.0ms (11.1% of total)
ival-exp: 121.0ms (3.6% of total)
adjust: 85.0ms (2.5% of total)
ival-neg: 65.0ms (1.9% of total)
exact: 34.0ms (1% of total)
ival-sqrt: 33.0ms (1% of total)
ival-true: 25.0ms (0.7% of total)
ival-expm1: 17.0ms (0.5% of total)
ival-assert: 14.0ms (0.4% of total)
const: 8.0ms (0.2% of total)
ival-pow2: 6.0ms (0.2% of total)
ival-log1p: 4.0ms (0.1% of total)
ival-pi: 3.0ms (0.1% of total)

analyze4.1s (0.8%)

Memory
-71.9MiB live, 5 532.6MiB allocated
Algorithm
43×search
2×random
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%54.5%45.5%0%0%0%0
21.4%11.7%42.9%45.5%0%0%0%1
37.4%20.4%34.1%45.5%0%0%0%2
48.7%26.2%27.7%45.5%0%0.6%0%3
57.7%30.7%22.6%45.5%0%1.2%0%4
71.2%37.7%15.3%45.5%0%1.6%0%5
72.9%38.4%14.3%45.5%0%1.8%0%6
77.9%40.7%11.6%45.5%0%2.2%0%7
81.5%42.6%9.7%45.5%0%2.3%0%8
84.1%43.8%8.3%45.5%0%2.5%0%9
86.2%44.6%7.2%45.5%0%2.7%0%10
88.2%45.6%6.1%45.5%0%2.8%0%11
89.1%45.9%5.6%45.5%0%2.9%0%12
Compiler

Compiled 1 401 to 721 computations (48.5% saved)

series3.3s (0.7%)

Memory
410.9MiB live, 4 879.7MiB allocated
Counts
1 752 → 34 536
Calls

7002 calls:

TimeVariablePointExpression
110.0ms
n
@inf
(/ (- (pow (+ 1 (/ i n)) n) 1) (/ i n))
58.0ms
x
@inf
(pow (/ 1 (- (* x x) eps)) 1/2)
57.0ms
eps
@-inf
(* (exp (* x (- -1 eps))) (- 1/2 (/ 1/2 eps)))
57.0ms
n
@-inf
(* i (/ (* i -50) n))
45.0ms
a
@0
(/ (- (sqrt (+ (* b b) (* a (* c -4)))) b) (* a 2))

end0.0ms (0%)

Memory
1.0MiB live, 0.9MiB allocated

Profiling

Loading profile data...