Herbie run

Date:Saturday, June 29th, 2024
Commit:903258ad on fix-regimes-can-split
Hostname:nightly with Racket 8.11.1
Seed:2024181
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.1min)

simplify1.2min (20.1%)

Memory
136.6MiB live, 73 193.4MiB allocated
Algorithm
336×egg-herbie
Rules
113 745×fma-define
96 381×fmm-def
69 489×distribute-lft-in
59 273×distribute-rgt-in
54 422×times-frac
Stop Event
223×node limit
113×saturated
Counts
74 774 → 72 714

sample1.2min (19.6%)

Memory
414.7MiB live, 85 997.8MiB allocated
Samples
30.8s285 349×0valid
16.2s46 305×1valid
6.2s15 001×2valid
413.0ms4 273×0invalid
329.0ms202×5exit
171.0ms1 006×0exit
35.0ms97×3valid
Precisions
Click to see histograms. Total time spent on operations: 40.6s
ival-mult: 9.2s (22.6% of total)
ival-pow: 4.8s (11.8% of total)
ival-add: 4.4s (11% of total)
ival-div: 4.1s (10.1% of total)
ival-sub: 3.3s (8.1% of total)
...in/eval/compile.rkt:111:19: 3.0s (7.4% of total)
ival-<=: 2.4s (5.9% of total)
ival-sin: 2.3s (5.6% of total)
adjust: 1.8s (4.4% of total)
ival-pow2: 845.0ms (2.1% of total)
ival-sqrt: 836.0ms (2.1% of total)
ival-cos: 634.0ms (1.6% of total)
ival-==: 570.0ms (1.4% of total)
ival-exp: 496.0ms (1.2% of total)
ival-neg: 477.0ms (1.2% of total)
...in/eval/compile.rkt:110:19: 351.0ms (0.9% of total)
ival-and: 340.0ms (0.8% of total)
ival-true: 137.0ms (0.3% of total)
ival-assert: 135.0ms (0.3% of total)
ival-<: 120.0ms (0.3% of total)
ival-expm1: 86.0ms (0.2% of total)
ival-log1p: 84.0ms (0.2% of total)
ival-atan: 83.0ms (0.2% of total)
ival-tan: 51.0ms (0.1% of total)
ival-pi: 32.0ms (0.1% of total)
ival-hypot: 27.0ms (0.1% of total)
ival-if: 7.0ms (0% of total)
ival-fabs: 5.0ms (0% of total)
Bogosity

soundness46.2s (12.6%)

Memory
9.5MiB live, 35 980.6MiB allocated
Rules
38 013×log1p-expm1-u
36 400×fma-define
36 027×fmm-def
30 536×expm1-log1p-u
27 242×distribute-lft-in
Stop Event
146×node limit
27×fuel
15×done
8×saturated
Compiler

Compiled 31 090 to 8 636 computations (72.2% saved)

rewrite38.4s (10.5%)

Memory
-216.6MiB live, 34 195.2MiB allocated
Algorithm
144×batch-egg-rewrite
Rules
87 122×log1p-expm1-u
66 960×expm1-log1p-u
30 190×pow1
28 628×add-exp-log
27 291×add-log-exp
Stop Event
144×node limit
Counts
1 502 → 47 909

prune32.9s (9%)

Memory
-101.7MiB live, 39 501.1MiB allocated
Counts
109 321 → 2 150
Compiler

Compiled 86 878 to 42 229 computations (51.4% saved)

localize27.4s (7.5%)

Memory
482.8MiB live, 33 337.5MiB allocated
Samples
7.7s31 151×0valid
3.7s1 008×5exit
2.9s3 496×1valid
1.6s1 258×2valid
371.0ms1 263×0invalid
179.0ms61×3valid
43.0ms11×4valid
41.0ms137×0exit
6.0ms9×2invalid
3.0ms6×1invalid
Compiler

Compiled 33 290 to 3 630 computations (89.1% saved)

Precisions
Click to see histograms. Total time spent on operations: 11.2s
ival-mult: 3.1s (27.4% of total)
ival-add: 1.6s (13.9% of total)
ival-div: 1.4s (12.6% of total)
ival-pow: 849.0ms (7.6% of total)
adjust: 790.0ms (7% of total)
...in/eval/compile.rkt:111:19: 749.0ms (6.7% of total)
ival-sub: 544.0ms (4.9% of total)
ival-expm1: 532.0ms (4.7% of total)
ival-log1p: 531.0ms (4.7% of total)
ival-pow2: 290.0ms (2.6% of total)
ival-sqrt: 149.0ms (1.3% of total)
ival-tan: 141.0ms (1.3% of total)
ival-sin: 98.0ms (0.9% of total)
ival-exp: 90.0ms (0.8% of total)
ival-neg: 71.0ms (0.6% of total)
ival-cbrt: 71.0ms (0.6% of total)
ival-hypot: 58.0ms (0.5% of total)
ival-cos: 49.0ms (0.4% of total)
...in/eval/compile.rkt:110:19: 48.0ms (0.4% of total)
ival-true: 32.0ms (0.3% of total)
ival-log: 27.0ms (0.2% of total)
ival-atan: 23.0ms (0.2% of total)
ival-assert: 16.0ms (0.1% of total)
ival-fabs: 4.0ms (0% of total)
ival-pi: 4.0ms (0% of total)
ival-e: 1.0ms (0% of total)
ival-copysign: 1.0ms (0% of total)

eval25.7s (7%)

Memory
282.8MiB live, 33 941.1MiB allocated
Compiler

Compiled 3 543 280 to 418 008 computations (88.2% saved)

explain10.9s (3%)

Memory
-160.7MiB live, 14 652.9MiB allocated
Explanations
Click to see full explanations table
OperatorSubexpressionExplanationCount
-.f64#fcancellation13313
+.f64#fcancellation36081
-.f64(-.f64 (*.f64 #s(literal 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 binary64) t) #s(literal 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 binary64))oflow-left2230
sqrt.f64#foflow-rescue1940
/.f64#fo/o1870
/.f64#fn/o1660
log.f64(log.f64 (+.f64 #s(literal 1 binary64) x))sensitivity1530
pow.f64(pow.f64 (+.f64 #s(literal 1 binary64) (/.f64 i n)) n)sensitivity1120
-.f64#fnan-rescue990
/.f64#fu/n960
/.f64#fn/u490
/.f64#fu/u440
+.f64#fnan-rescue380
*.f64#fn*u360
/.f64#fo/n330
*.f64#fn*o280
pow.f64(pow.f64 (+.f64 #s(literal 1 binary64) (/.f64 i n)) n)oflow-rescue240
↳(pow.f64 (+.f64 #s(literal 1 binary64) (/.f64 i n)) n)overflow44
↳(/.f64 i n)overflow24
↳(+.f64 #s(literal 1 binary64) (/.f64 i n))overflow24
sqrt.f64#fuflow-rescue80
Confusion
Predicted +Predicted -
+3614497
-1106531
Precision
0.9704618689581096
Recall
0.8791048406713695
Confusion?
Predicted +Predicted MaybePredicted -
+3614168329
-1101726359
Precision?
0.9306102362204725
Recall?
0.9199708100218925
Freqs
test
numberfreq
07028
13290
2391
343
Total Confusion?
Predicted +Predicted MaybePredicted -
+3011
-208
Precision?
0.9393939393939394
Recall?
0.96875
Samples
1.8s16 784×0valid
1.0s3 458×1valid
589.0ms1 242×2valid
15.0ms18×3valid
2.0ms2×4valid
Compiler

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

Precisions
Click to see histograms. Total time spent on operations: 2.3s
ival-mult: 779.0ms (34.2% of total)
ival-pow: 345.0ms (15.2% of total)
ival-add: 255.0ms (11.2% of total)
ival-sin: 214.0ms (9.4% of total)
ival-div: 181.0ms (8% of total)
ival-sub: 173.0ms (7.6% of total)
adjust: 95.0ms (4.2% of total)
...in/eval/compile.rkt:111:19: 49.0ms (2.2% of total)
ival-cos: 33.0ms (1.5% of total)
ival-exp: 30.0ms (1.3% of total)
ival-neg: 23.0ms (1% of total)
ival-sqrt: 22.0ms (1% of total)
ival-true: 19.0ms (0.8% of total)
ival-pow2: 15.0ms (0.7% of total)
...in/eval/compile.rkt:110:19: 15.0ms (0.7% of total)
ival-assert: 9.0ms (0.4% of total)
ival-atan: 5.0ms (0.2% 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)

preprocess10.6s (2.9%)

Memory
-680.8MiB live, 9 575.7MiB allocated
Algorithm
42×egg-herbie
Rules
18 502×fmm-def
16 342×fma-define
9 180×sub-neg
8 997×unsub-neg
7 628×distribute-rgt-in
Stop Event
22×node limit
20×saturated
Compiler

Compiled 23 730 to 7 608 computations (67.9% saved)

bsearch8.8s (2.4%)

Memory
-35.7MiB live, 9 926.6MiB allocated
Algorithm
258×binary-search
18×left-value
Stop Event
241×narrow-enough
17×predicate-same
Samples
4.7s26 711×0valid
1.1s3 851×1valid
135.0ms398×2valid
110.0ms1 613×0invalid
7.0ms60×0exit
Compiler

Compiled 80 038 to 48 724 computations (39.1% saved)

Precisions
Click to see histograms. Total time spent on operations: 4.5s
ival-mult: 1.6s (35.5% of total)
ival-div: 904.0ms (20% of total)
ival-add: 767.0ms (17% of total)
ival-sub: 503.0ms (11.1% of total)
ival-pow: 475.0ms (10.5% of total)
adjust: 65.0ms (1.4% of total)
ival-neg: 49.0ms (1.1% of total)
ival-exp: 37.0ms (0.8% of total)
ival-sqrt: 33.0ms (0.7% of total)
ival-true: 23.0ms (0.5% of total)
...in/eval/compile.rkt:110:19: 22.0ms (0.5% of total)
ival-pow2: 13.0ms (0.3% of total)
ival-assert: 13.0ms (0.3% of total)
ival-log1p: 9.0ms (0.2% of total)
ival-pi: 4.0ms (0.1% of total)

series7.6s (2.1%)

Memory
-89.5MiB live, 9 040.6MiB allocated
Counts
1 502 → 26 865
Calls

7146 calls:

TimeVariablePointExpression
214.0ms
b
@0
(/ (/ (+ (* c a) (* d b)) (sqrt (+ (* c c) (* d d)))) (sqrt (sqrt (+ (* c c) (* d d)))))
212.0ms
i
@-inf
(* i (+ 50/3 (* i 25/6)))
149.0ms
a
@-inf
(* a (* c -4))
125.0ms
x
@-inf
(log (+ 1 (cos x)))
113.0ms
a
@0
(/ (* (/ -1 b) (/ (PI) 2)) (- (* b b) (* a a)))

regimes7.5s (2%)

Memory
-77.4MiB live, 9 832.1MiB allocated
Counts
5 120 → 556
Calls

96 calls:

742.0ms
x
694.0ms
b
562.0ms
a
466.0ms
x1
304.0ms
d
Compiler

Compiled 4 365 to 2 632 computations (39.7% saved)

analyze4.8s (1.3%)

Memory
-58.3MiB live, 5 107.8MiB 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)

end0.0ms (0%)

Memory
0.8MiB live, 0.5MiB allocated

Profiling

Loading profile data...