Herbie run

Date:Thursday, August 8th, 2024
Commit:1bb3297e on zane-alternatives-bogosity
Hostname:nightly with Racket 8.11.1
Seed:2024221
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: 7.1min)

simplify1.7min (24.2%)

Memory
163.6MiB live, 127 349.4MiB allocated
Algorithm
336×egg-herbie
Rules
2 841 620×lower-fma.f32
2 841 010×lower-fma.f64
909 228×lower-*.f32
907 754×lower-*.f64
591 200×lower-+.f32
Stop Event
427×iter limit
215×node limit
135×saturated
Counts
38 664 → 37 686

sample1.3min (17.9%)

Memory
594.1MiB live, 82 479.4MiB allocated
Samples
32.2s285 521×0valid
12.6s43 982×1valid
8.1s16 861×2valid
5.4s4 058×0invalid
121.0ms388×3valid
118.0ms927×0exit
84.0ms101×4exit
59.0ms101×3exit
6.0ms42×1exit
Precisions
Click to see histograms. Total time spent on operations: 42.0s
ival-add: 9.1s (21.6% of total)
ival-mult: 7.5s (17.9% of total)
ival-pow: 3.8s (9.1% of total)
ival-div: 3.5s (8.3% of total)
ival-sub: 3.2s (7.5% of total)
const: 3.0s (7.2% of total)
adjust: 2.5s (5.9% of total)
ival-sin: 2.2s (5.2% of total)
ival-<=: 1.9s (4.6% of total)
ival-cos: 1.5s (3.7% of total)
ival-==: 508.0ms (1.2% of total)
ival-exp: 469.0ms (1.1% of total)
exact: 423.0ms (1% of total)
ival-neg: 378.0ms (0.9% of total)
ival-sqrt: 361.0ms (0.9% of total)
ival-and: 357.0ms (0.8% of total)
ival-pow2: 295.0ms (0.7% of total)
ival-atan: 278.0ms (0.7% of total)
ival-assert: 136.0ms (0.3% of total)
ival-true: 132.0ms (0.3% of total)
ival-expm1: 122.0ms (0.3% of total)
ival-log1p: 105.0ms (0.2% of total)
ival-tan: 91.0ms (0.2% of total)
ival-<: 73.0ms (0.2% of total)
ival-pi: 57.0ms (0.1% of total)
ival-hypot: 17.0ms (0% of total)
ival-if: 4.0ms (0% of total)
ival-fabs: 3.0ms (0% of total)
Bogosity

rewrite1.1min (15.7%)

Memory
152.8MiB live, 84 152.3MiB allocated
Algorithm
147×batch-egg-rewrite
Rules
816 470×lower-fma.f32
815 864×lower-fma.f64
612 894×lower-*.f32
611 432×lower-*.f64
544 344×lower-/.f32
Stop Event
287×iter limit
142×node limit
13×saturated
Counts
1 903 → 89 112

soundness47.5s (11.1%)

Memory
-371.6MiB live, 26 042.4MiB allocated
Rules
1 479 456×lower-fma.f32
1 479 176×lower-fma.f64
715 794×lower-*.f32
715 000×lower-*.f64
405 304×lower-/.f32
Stop Event
245×iter limit
161×node limit
24×fuel
18×done
8×saturated
Compiler

Compiled 20 428 to 7 973 computations (61% saved)

eval36.2s (8.5%)

Memory
906.3MiB live, 41 061.2MiB allocated
Compiler

Compiled 4 969 162 to 321 543 computations (93.5% saved)

prune28.5s (6.7%)

Memory
-1 344.2MiB live, 39 896.3MiB allocated
Counts
151 991 → 2 229
Compiler

Compiled 94 398 to 41 851 computations (55.7% saved)

localize23.5s (5.5%)

Memory
196.8MiB live, 32 885.2MiB allocated
Samples
7.0s29 059×0valid
3.7s5 539×1valid
3.4s2 748×2valid
159.0ms102×3valid
51.0ms126×1exit
19.0ms6×5exit
15.0ms4×4valid
10.0ms32×0exit
5.0ms16×0invalid
Compiler

Compiled 36 112 to 4 122 computations (88.6% saved)

Precisions
Click to see histograms. Total time spent on operations: 10.8s
ival-mult: 3.2s (29.4% of total)
ival-div: 1.6s (15.3% of total)
ival-add: 1.5s (13.9% of total)
adjust: 980.0ms (9.1% of total)
ival-pow: 972.0ms (9% of total)
const: 653.0ms (6.1% of total)
ival-tan: 456.0ms (4.2% of total)
ival-sub: 411.0ms (3.8% of total)
ival-sin: 252.0ms (2.3% of total)
ival-cos: 226.0ms (2.1% of total)
ival-sqrt: 120.0ms (1.1% of total)
ival-exp: 115.0ms (1.1% of total)
ival-neg: 98.0ms (0.9% of total)
exact: 55.0ms (0.5% of total)
ival-true: 31.0ms (0.3% of total)
ival-expm1: 21.0ms (0.2% of total)
ival-assert: 16.0ms (0.1% of total)
ival-log1p: 14.0ms (0.1% of total)
ival-pow2: 13.0ms (0.1% of total)
ival-atan: 8.0ms (0.1% of total)
ival-log: 5.0ms (0% of total)
ival-pi: 4.0ms (0% of total)

preprocess16.1s (3.8%)

Memory
42.0MiB live, 17 906.2MiB allocated
Algorithm
42×egg-herbie
Rules
284 538×lower-fma.f32
284 536×lower-fma.f64
55 266×lower-*.f32
55 078×lower-*.f64
37 652×lower-+.f32
Stop Event
82×iter limit
54×saturated
32×node limit
Compiler

Compiled 24 568 to 6 570 computations (73.3% saved)

explain9.7s (2.3%)

Memory
-174.2MiB live, 13 735.7MiB allocated
Explanations
Click to see full explanations table
OperatorSubexpressionExplanationCount
-.f64#fcancellation13413
+.f64#fcancellation37186
-.f64(-.f64 (*.f64 #s(literal 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 binary64) t) #s(literal 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 binary64))oflow-left2230
sqrt.f64#foflow-rescue2040
log.f64(log.f64 (+.f64 #s(literal 1 binary64) x))sensitivity1850
/.f64#fo/o1750
/.f64#fn/o1490
pow.f64(pow.f64 (+.f64 #s(literal 1 binary64) (/.f64 i n)) n)sensitivity1340
-.f64#fnan-rescue730
/.f64#fu/n720
/.f64#fu/u610
/.f64#fn/u550
+.f64#fnan-rescue440
*.f64#fn*u430
/.f64#fo/n410
pow.f64(pow.f64 (+.f64 #s(literal 1 binary64) (/.f64 i n)) n)oflow-rescue250
↳(pow.f64 (+.f64 #s(literal 1 binary64) (/.f64 i n)) n)overflow31
↳(/.f64 i n)overflow25
↳(+.f64 #s(literal 1 binary64) (/.f64 i n))overflow25
*.f64#fn*o230
sqrt.f64#fuflow-rescue120
Confusion
Predicted +Predicted -
+3624482
-1116535
Precision
0.970281124497992
Recall
0.8826108134437408
Confusion?
Predicted +Predicted MaybePredicted -
+3624159323
-1111866349
Precision?
0.9272058823529412
Recall?
0.9213346322454944
Freqs
test
numberfreq
07017
13271
2412
352
Total Confusion?
Predicted +Predicted MaybePredicted -
+2911
-209
Precision?
0.9375
Recall?
0.967741935483871
Samples
1.7s16 882×0valid
864.0ms3 252×1valid
580.0ms1 340×2valid
22.0ms30×3valid
Compiler

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

Precisions
Click to see histograms. Total time spent on operations: 2.1s
ival-mult: 725.0ms (34.4% of total)
ival-div: 223.0ms (10.6% of total)
ival-sub: 209.0ms (9.9% of total)
adjust: 205.0ms (9.7% of total)
ival-pow: 198.0ms (9.4% of total)
ival-add: 188.0ms (8.9% of total)
ival-sin: 95.0ms (4.5% of total)
ival-cos: 70.0ms (3.3% of total)
const: 40.0ms (1.9% of total)
ival-sqrt: 34.0ms (1.6% of total)
ival-exp: 31.0ms (1.5% of total)
ival-true: 18.0ms (0.9% of total)
exact: 18.0ms (0.9% of total)
ival-neg: 15.0ms (0.7% of total)
ival-pow2: 14.0ms (0.7% of total)
ival-assert: 9.0ms (0.4% of total)
ival-atan: 5.0ms (0.2% of total)
ival-tan: 4.0ms (0.2% of total)
ival-log1p: 4.0ms (0.2% of total)
ival-expm1: 3.0ms (0.1% of total)
ival-pi: 2.0ms (0.1% of total)

regimes9.5s (2.2%)

Memory
32.2MiB live, 9 431.0MiB allocated
Counts
5 279 → 543
Calls

96 calls:

959.0ms
x
734.0ms
a
708.0ms
d
681.0ms
c
436.0ms
(+.f64 (+.f64 (+.f64 e d) c) b)
Compiler

Compiled 9 581 to 5 202 computations (45.7% saved)

analyze3.5s (0.8%)

Memory
170.7MiB live, 5 334.1MiB 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 402 to 721 computations (48.6% saved)

series3.2s (0.8%)

Memory
-50.2MiB live, 4 513.1MiB allocated
Counts
1 903 → 38 664
Calls

5337 calls:

TimeVariablePointExpression
141.0ms
t
@0
(* (* (sqrt (* (sqrt (sqrt (+ (* t 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000))) (sqrt (+ (* t 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000)))) (sqrt (sqrt (sqrt (+ (* t 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000))))) (sqrt (+ (* t 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000)))
103.0ms
t
@-inf
(sqrt (/ 1 (+ (* t 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000)))
92.0ms
a
@0
(+ (* b (/ (* c (neg c)) d)) (* a c))
38.0ms
x
@-inf
(/ x (tan x))
38.0ms
eps
@inf
(* eps (/ eps (* x x)))

bsearch2.5s (0.6%)

Memory
-61.2MiB live, 2 844.3MiB allocated
Algorithm
192×binary-search
70×left-value
Stop Event
188×narrow-enough
4×predicate-same
Samples
1.0s10 501×0valid
210.0ms1 019×1valid
114.0ms337×2valid
87.0ms794×0invalid
6.0ms15×3valid
Compiler

Compiled 49 119 to 29 750 computations (39.4% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.0s
ival-mult: 399.0ms (38.7% of total)
ival-pow: 153.0ms (14.9% of total)
ival-div: 123.0ms (11.9% of total)
ival-add: 121.0ms (11.8% of total)
ival-sub: 118.0ms (11.5% of total)
adjust: 38.0ms (3.7% of total)
ival-neg: 23.0ms (2.2% of total)
ival-sqrt: 17.0ms (1.7% of total)
ival-exp: 11.0ms (1.1% of total)
ival-true: 9.0ms (0.9% of total)
exact: 9.0ms (0.9% of total)
ival-assert: 5.0ms (0.5% of total)
ival-expm1: 2.0ms (0.2% of total)
ival-pi: 1.0ms (0.1% of total)
ival-log1p: 1.0ms (0.1% of total)

end0.0ms (0%)

Memory
0.7MiB live, 0.7MiB allocated

Profiling

Loading profile data...