Herbie run

Date:Saturday, August 3rd, 2024
Commit:2.2 on release
Hostname:nightly with Racket 8.11.1
Seed:2024216
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: 6.8min)

simplify1.7min (25%)

Memory
-448.3MiB live, 118 376.1MiB allocated
Algorithm
342×egg-herbie
Rules
2 467 570×lower-fma.f32
2 467 000×lower-fma.f64
897 978×lower-*.f32
896 534×lower-*.f64
515 976×lower-+.f32
Stop Event
429×iter limit
206×node limit
157×saturated
Counts
31 644 → 30 893

sample1.1min (16.5%)

Memory
923.4MiB live, 82 769.6MiB allocated
Samples
27.1s285 497×0valid
12.8s43 997×1valid
7.3s16 890×2valid
349.0ms4 194×0invalid
175.0ms368×3valid
106.0ms931×0exit
86.0ms101×4exit
68.0ms101×3exit
6.0ms41×1exit
Precisions
Click to see histograms. Total time spent on operations: 36.5s
ival-mult: 7.7s (21.1% of total)
ival-add: 3.8s (10.4% of total)
ival-sub: 3.7s (10.1% of total)
ival-div: 3.4s (9.4% of total)
ival-pow: 3.1s (8.5% of total)
const: 2.8s (7.7% of total)
adjust: 2.5s (6.9% of total)
ival-sin: 2.0s (5.6% of total)
ival-<=: 1.7s (4.7% of total)
ival-cos: 1.3s (3.5% of total)
ival-sqrt: 1.1s (3% of total)
ival-neg: 736.0ms (2% of total)
exact: 456.0ms (1.3% of total)
ival-exp: 446.0ms (1.2% of total)
ival-and: 355.0ms (1% of total)
ival-pow2: 258.0ms (0.7% of total)
ival-==: 242.0ms (0.7% of total)
ival-true: 138.0ms (0.4% of total)
ival-assert: 135.0ms (0.4% of total)
ival-atan: 98.0ms (0.3% of total)
ival-expm1: 97.0ms (0.3% of total)
ival-log1p: 95.0ms (0.3% of total)
ival-<: 79.0ms (0.2% of total)
ival-tan: 77.0ms (0.2% of total)
ival-pi: 48.0ms (0.1% of total)
ival-hypot: 42.0ms (0.1% of total)
ival-fabs: 13.0ms (0% of total)
ival-if: 4.0ms (0% of total)
Bogosity

rewrite1.0min (15.4%)

Memory
658.3MiB live, 80 091.8MiB allocated
Algorithm
150×batch-egg-rewrite
Rules
778 820×lower-fma.f32
778 250×lower-fma.f64
606 178×lower-*.f32
604 748×lower-*.f64
488 924×lower-/.f32
Stop Event
299×iter limit
139×node limit
22×saturated
2×unsound
Counts
1 617 → 101 483

soundness48.0s (11.8%)

Memory
-103.8MiB live, 26 857.5MiB allocated
Rules
1 487 696×lower-fma.f32
1 487 386×lower-fma.f64
753 110×lower-*.f32
752 246×lower-*.f64
405 622×lower-/.f32
Stop Event
269×iter limit
171×node limit
25×fuel
17×done
9×saturated
1×unsound
Compiler

Compiled 20 087 to 8 382 computations (58.3% saved)

eval37.1s (9.1%)

Memory
736.2MiB live, 43 259.2MiB allocated
Compiler

Compiled 5 086 992 to 354 753 computations (93% saved)

prune27.5s (6.8%)

Memory
-951.7MiB live, 41 047.1MiB allocated
Counts
160 475 → 2 234
Compiler

Compiled 84 964 to 40 224 computations (52.7% saved)

localize15.9s (3.9%)

Memory
58.0MiB live, 23 137.7MiB allocated
Samples
6.2s31 851×0valid
2.0s3 354×1valid
1.6s1 772×2valid
227.0ms776×0invalid
102.0ms64×3valid
98.0ms79×5exit
87.0ms247×0exit
81.0ms253×1exit
6.0ms4×4valid
Compiler

Compiled 24 097 to 3 326 computations (86.2% saved)

Precisions
Click to see histograms. Total time spent on operations: 6.9s
ival-mult: 2.0s (29.4% of total)
ival-add: 1.3s (18.2% of total)
ival-div: 981.0ms (14.2% of total)
adjust: 488.0ms (7.1% of total)
ival-pow: 453.0ms (6.6% of total)
const: 418.0ms (6.1% of total)
ival-sub: 362.0ms (5.3% of total)
ival-exp: 287.0ms (4.2% of total)
ival-sin: 168.0ms (2.4% of total)
ival-sqrt: 117.0ms (1.7% of total)
ival-neg: 109.0ms (1.6% of total)
ival-cos: 59.0ms (0.9% of total)
exact: 48.0ms (0.7% of total)
ival-true: 30.0ms (0.4% of total)
ival-atan: 19.0ms (0.3% of total)
ival-pi: 19.0ms (0.3% of total)
ival-assert: 16.0ms (0.2% of total)
ival-expm1: 14.0ms (0.2% of total)
ival-log1p: 12.0ms (0.2% of total)
ival-pow2: 6.0ms (0.1% of total)
ival-tan: 5.0ms (0.1% of total)

preprocess15.7s (3.9%)

Memory
201.6MiB live, 18 660.8MiB 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 002 to 6 234 computations (74% saved)

explain12.5s (3.1%)

Memory
-394.1MiB live, 14 533.8MiB allocated
Explanations
Click to see full explanations table
OperatorSubexpressionExplanationCount
-.f64#fcancellation13843
+.f64#fcancellation37477
-.f64(-.f64 (*.f64 #s(literal 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 binary64) t) #s(literal 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 binary64))oflow-left2150
sqrt.f64#foflow-rescue1860
/.f64#fo/o1810
log.f64(log.f64 (+.f64 #s(literal 1 binary64) x))sensitivity1600
/.f64#fn/o1590
pow.f64(pow.f64 (+.f64 #s(literal 1 binary64) (/.f64 i n)) n)sensitivity1190
/.f64#fu/n950
-.f64#fnan-rescue870
/.f64#fu/u530
+.f64#fnan-rescue510
/.f64#fn/u440
/.f64#fo/n440
*.f64#fn*u370
*.f64#fn*o260
pow.f64(pow.f64 (+.f64 #s(literal 1 binary64) (/.f64 i n)) n)oflow-rescue210
↳(pow.f64 (+.f64 #s(literal 1 binary64) (/.f64 i n)) n)overflow31
↳(/.f64 i n)overflow21
↳(+.f64 #s(literal 1 binary64) (/.f64 i n))overflow21
sqrt.f64#fuflow-rescue100
Confusion
Predicted +Predicted -
+3701489
-986464
Precision
0.9742037378257437
Recall
0.8832935560859189
Confusion?
Predicted +Predicted MaybePredicted -
+3701160329
-981766288
Precision?
0.9337363966142684
Recall?
0.9214797136038186
Freqs
test
numberfreq
06953
13370
2391
338
Total Confusion?
Predicted +Predicted MaybePredicted -
+3011
-208
Precision?
0.9393939393939394
Recall?
0.96875
Samples
1.8s16 804×0valid
1.7s3 288×1valid
703.0ms1 378×2valid
24.0ms34×3valid
Compiler

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

Precisions
Click to see histograms. Total time spent on operations: 3.2s
ival-pow: 1.1s (34.4% of total)
ival-mult: 585.0ms (18.2% of total)
ival-sin: 296.0ms (9.2% of total)
ival-div: 247.0ms (7.7% of total)
ival-add: 231.0ms (7.2% of total)
adjust: 206.0ms (6.4% of total)
ival-sub: 186.0ms (5.8% of total)
ival-cos: 80.0ms (2.5% of total)
ival-sqrt: 76.0ms (2.4% of total)
ival-exp: 53.0ms (1.7% of total)
const: 44.0ms (1.4% of total)
ival-pow2: 21.0ms (0.7% of total)
ival-true: 18.0ms (0.6% of total)
exact: 18.0ms (0.6% of total)
ival-neg: 15.0ms (0.5% of total)
ival-assert: 9.0ms (0.3% of total)
ival-tan: 6.0ms (0.2% of total)
ival-atan: 5.0ms (0.2% of total)
ival-log1p: 5.0ms (0.2% of total)
ival-expm1: 4.0ms (0.1% of total)
ival-pi: 2.0ms (0.1% of total)

regimes7.0s (1.7%)

Memory
33.9MiB live, 10 255.5MiB allocated
Counts
6 271 → 606
Calls

96 calls:

713.0ms
x
479.0ms
b
435.0ms
a
303.0ms
i
229.0ms
(*.f64 (cos.f64 x) (exp.f64 (*.f64 #s(literal 10 binary64) (*.f64 x x))))
Compiler

Compiled 9 561 to 5 211 computations (45.5% saved)

series4.6s (1.1%)

Memory
-494.8MiB live, 7 153.1MiB allocated
Counts
1 617 → 31 644
Calls

6429 calls:

TimeVariablePointExpression
89.0ms
b
@0
(* (+ (* (/ 1 b) (+ c d)) 1) a)
86.0ms
t
@0
(* (* (sqrt (sqrt (sqrt (+ (* t 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000)))) (* (sqrt (+ (* t 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000)) (sqrt (sqrt (+ (* t 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000))))) (sqrt (sqrt (sqrt (+ (* t 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000)))))
82.0ms
w
@-inf
(* (* (* w w) r) r)
42.0ms
t
@0
(* (sqrt (sqrt (sqrt (+ (* t 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000)))) (* (sqrt (+ (* t 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000)) (sqrt (sqrt (+ (* t 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000)))))
41.0ms
t
@inf
(* (* (sqrt (sqrt (sqrt (+ (* t 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000)))) (* (sqrt (+ (* t 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000)) (sqrt (sqrt (+ (* t 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000))))) (sqrt (sqrt (sqrt (+ (* t 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000)))))

analyze3.9s (1%)

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

bsearch2.6s (0.6%)

Memory
41.0MiB live, 3 148.6MiB allocated
Algorithm
205×binary-search
98×left-value
Stop Event
195×narrow-enough
10×predicate-same
Samples
1.1s10 128×0valid
413.0ms1 424×1valid
97.0ms296×2valid
96.0ms835×0invalid
3.0ms8×3valid
0.0ms3×1exit
Compiler

Compiled 45 780 to 30 050 computations (34.4% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.2s
ival-mult: 424.0ms (35.4% of total)
ival-div: 192.0ms (16% of total)
ival-pow: 191.0ms (16% of total)
ival-sub: 125.0ms (10.4% of total)
ival-add: 125.0ms (10.4% of total)
adjust: 43.0ms (3.6% of total)
ival-neg: 31.0ms (2.6% of total)
ival-sqrt: 20.0ms (1.7% of total)
ival-exp: 18.0ms (1.5% of total)
ival-true: 9.0ms (0.8% of total)
exact: 9.0ms (0.8% of total)
ival-assert: 5.0ms (0.4% 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.8MiB live, 0.8MiB allocated

Profiling

Loading profile data...