Herbie run

Date:Tuesday, July 9th, 2024
Commit:05213bce on main
Hostname:nightly with Racket 8.11.1
Seed:2024191
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: 5.9min)

simplify1.2min (20.2%)

Memory
141.1MiB live, 72 667.1MiB allocated
Algorithm
328×egg-herbie
Rules
109 277×fma-define
78 017×fmm-def
68 298×distribute-lft-in
60 604×distribute-rgt-in
53 427×times-frac
Stop Event
215×node limit
113×saturated
Counts
77 410 → 74 170

sample1.2min (19.5%)

Memory
796.6MiB live, 83 618.2MiB allocated
Samples
29.0s284 955×0valid
13.3s44 017×1valid
8.3s17 350×2valid
806.0ms4 205×0invalid
284.0ms430×3valid
109.0ms968×0exit
94.0ms101×4exit
69.0ms101×3exit
5.0ms41×1exit
Precisions
Click to see histograms. Total time spent on operations: 38.6s
ival-mult: 9.0s (23.3% of total)
ival-add: 4.4s (11.3% of total)
ival-pow: 4.1s (10.6% of total)
ival-sub: 3.2s (8.2% of total)
ival-div: 3.1s (8% of total)
const: 2.9s (7.4% of total)
ival-<=: 2.4s (6.3% of total)
ival-sin: 2.2s (5.8% of total)
adjust: 1.8s (4.6% of total)
ival-cos: 1.3s (3.4% of total)
ival-neg: 829.0ms (2.1% of total)
ival-sqrt: 681.0ms (1.8% of total)
ival-exp: 515.0ms (1.3% of total)
exact: 510.0ms (1.3% of total)
ival-pow2: 393.0ms (1% of total)
ival-and: 346.0ms (0.9% of total)
ival-==: 219.0ms (0.6% of total)
ival-<: 163.0ms (0.4% of total)
ival-true: 135.0ms (0.3% of total)
ival-assert: 131.0ms (0.3% of total)
ival-expm1: 86.0ms (0.2% of total)
ival-log1p: 78.0ms (0.2% of total)
ival-atan: 71.0ms (0.2% of total)
ival-tan: 56.0ms (0.1% of total)
ival-pi: 39.0ms (0.1% of total)
ival-hypot: 15.0ms (0% of total)
ival-if: 4.0ms (0% of total)
ival-fabs: 3.0ms (0% of total)
Bogosity

soundness43.8s (12.3%)

Memory
38.6MiB live, 30 147.6MiB allocated
Rules
35 746×log1p-expm1-u
34 591×fma-define
30 233×expm1-log1p-u
29 382×fmm-def
22 704×distribute-lft-in
Stop Event
131×node limit
23×fuel
19×done
8×saturated
Compiler

Compiled 26 970 to 7 968 computations (70.5% saved)

rewrite37.2s (10.4%)

Memory
-12.8MiB live, 33 901.9MiB allocated
Algorithm
140×batch-egg-rewrite
Rules
82 906×log1p-expm1-u
65 522×expm1-log1p-u
29 509×pow1
28 719×add-exp-log
27 265×add-log-exp
Stop Event
140×node limit
Counts
1 569 → 49 418

prune32.8s (9.2%)

Memory
-692.8MiB live, 41 152.4MiB allocated
Counts
110 339 → 2 112
Compiler

Compiled 83 802 to 41 688 computations (50.3% saved)

localize31.1s (8.7%)

Memory
493.7MiB live, 31 969.5MiB allocated
Samples
14.0s29 998×0valid
3.1s3 158×1valid
2.5s1 879×2valid
748.0ms294×5exit
425.0ms987×1exit
310.0ms858×0invalid
257.0ms108×3valid
35.0ms4×4valid
20.0ms90×0exit
Compiler

Compiled 34 889 to 3 726 computations (89.3% saved)

Precisions
Click to see histograms. Total time spent on operations: 16.5s
ival-mult: 9.2s (55.8% of total)
ival-add: 1.4s (8.3% of total)
ival-div: 1.3s (8.2% of total)
ival-pow: 871.0ms (5.3% of total)
adjust: 773.0ms (4.7% of total)
const: 650.0ms (3.9% of total)
ival-sub: 645.0ms (3.9% of total)
ival-pow2: 265.0ms (1.6% of total)
ival-neg: 255.0ms (1.5% of total)
ival-exp: 201.0ms (1.2% of total)
ival-cos: 176.0ms (1.1% of total)
ival-sin: 149.0ms (0.9% of total)
ival-sqrt: 115.0ms (0.7% of total)
ival-log: 114.0ms (0.7% of total)
ival-cbrt: 104.0ms (0.6% of total)
exact: 65.0ms (0.4% of total)
ival-hypot: 42.0ms (0.3% of total)
ival-true: 30.0ms (0.2% of total)
ival-log1p: 27.0ms (0.2% of total)
ival-expm1: 26.0ms (0.2% of total)
ival-atan: 24.0ms (0.1% of total)
ival-assert: 16.0ms (0.1% of total)
ival-tan: 9.0ms (0.1% of total)
ival-pi: 5.0ms (0% of total)
ival-copysign: 2.0ms (0% of total)
ival-fabs: 1.0ms (0% of total)

eval24.3s (6.8%)

Memory
347.9MiB live, 34 152.7MiB allocated
Compiler

Compiled 3 585 045 to 424 151 computations (88.2% saved)

explain11.9s (3.3%)

Memory
39.1MiB live, 15 413.3MiB allocated
Explanations
Click to see full explanations table
OperatorSubexpressionExplanationCount
-.f64#fcancellation13522
+.f64#fcancellation37183
sqrt.f64#foflow-rescue2380
-.f64(-.f64 (*.f64 #s(literal 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 binary64) t) #s(literal 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 binary64))oflow-left2200
/.f64#fo/o1750
log.f64(log.f64 (+.f64 #s(literal 1 binary64) x))sensitivity1720
/.f64#fn/o1520
pow.f64(pow.f64 (+.f64 #s(literal 1 binary64) (/.f64 i n)) n)sensitivity1270
/.f64#fu/n990
-.f64#fnan-rescue780
/.f64#fn/u580
+.f64#fnan-rescue510
*.f64#fn*u510
/.f64#fo/n490
/.f64#fu/u460
*.f64#fn*o250
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)overflow39
↳(/.f64 i n)overflow21
↳(+.f64 #s(literal 1 binary64) (/.f64 i n))overflow21
sqrt.f64#fuflow-rescue160
Confusion
Predicted +Predicted -
+3683480
-1256464
Precision
0.9671743697478992
Recall
0.8846985347105453
Confusion?
Predicted +Predicted MaybePredicted -
+3683154326
-1251876277
Precision?
0.9248011569052784
Recall?
0.9216910881575787
Freqs
test
numberfreq
06944
13337
2429
342
Total Confusion?
Predicted +Predicted MaybePredicted -
+2911
-209
Precision?
0.9375
Recall?
0.967741935483871
Samples
2.1s16 750×0valid
1.2s3 284×1valid
647.0ms1 430×2valid
20.0ms40×3valid
Compiler

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

Precisions
Click to see histograms. Total time spent on operations: 2.4s
ival-add: 496.0ms (20.8% of total)
ival-mult: 455.0ms (19% of total)
ival-sqrt: 271.0ms (11.3% of total)
ival-div: 271.0ms (11.3% of total)
ival-pow: 180.0ms (7.5% of total)
ival-sub: 173.0ms (7.2% of total)
ival-cos: 142.0ms (5.9% of total)
adjust: 117.0ms (4.9% of total)
ival-sin: 96.0ms (4% of total)
const: 43.0ms (1.8% of total)
ival-neg: 33.0ms (1.4% of total)
ival-exp: 28.0ms (1.2% of total)
exact: 26.0ms (1.1% of total)
ival-true: 18.0ms (0.8% of total)
ival-pow2: 14.0ms (0.6% 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: 3.0ms (0.1% of total)
ival-pi: 2.0ms (0.1% of total)

preprocess10.2s (2.9%)

Memory
-480.1MiB live, 9 110.2MiB 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 18 482 to 7 142 computations (61.4% saved)

series7.0s (2%)

Memory
-90.8MiB live, 8 911.3MiB allocated
Counts
1 569 → 27 992
Calls

7392 calls:

TimeVariablePointExpression
179.0ms
c
@inf
(+ d (+ e (+ c b)))
127.0ms
a
@0
(+ (neg b) (sqrt (- (* b b) (* (* 4 a) c))))
118.0ms
t
@0
(* t 1/25000000000000000000000000000000)
113.0ms
w
@inf
(* (* w w) (/ r (- 1 v)))
112.0ms
x1
@inf
(* (cbrt (+ (* 3 (/ (- (* 3 (pow x1 2)) (+ (* 2 x2) x1)) (+ (* x1 x1) 1))) (+ x1 (+ (* (+ (* x1 x1) 1) (+ (* (pow x1 2) (+ (* (/ (- (+ (* 3 (pow x1 2)) (* 2 x2)) x1) (+ (* x1 x1) 1)) 4) -6)) (* (* (* 2 x1) (/ (- (+ (* 3 (pow x1 2)) (* 2 x2)) x1) (+ (* x1 x1) 1))) (+ (/ (- (+ (* 3 (pow x1 2)) (* 2 x2)) x1) (+ (* x1 x1) 1)) -3)))) (+ (* (/ (- (+ (* 3 (pow x1 2)) (* 2 x2)) x1) (+ (* x1 x1) 1)) (* 3 (pow x1 2))) (pow x1 3)))))) (cbrt (+ (* 3 (/ (- (* 3 (pow x1 2)) (+ (* 2 x2) x1)) (+ (* x1 x1) 1))) (+ x1 (+ (* (+ (* x1 x1) 1) (+ (* (pow x1 2) (+ (* (/ (- (+ (* 3 (pow x1 2)) (* 2 x2)) x1) (+ (* x1 x1) 1)) 4) -6)) (* (* (* 2 x1) (/ (- (+ (* 3 (pow x1 2)) (* 2 x2)) x1) (+ (* x1 x1) 1))) (+ (/ (- (+ (* 3 (pow x1 2)) (* 2 x2)) x1) (+ (* x1 x1) 1)) -3)))) (+ (* (/ (- (+ (* 3 (pow x1 2)) (* 2 x2)) x1) (+ (* x1 x1) 1)) (* 3 (pow x1 2))) (pow x1 3)))))))

bsearch6.3s (1.8%)

Memory
54.4MiB live, 6 647.2MiB allocated
Algorithm
207×binary-search
24×left-value
Stop Event
202×narrow-enough
5×predicate-same
Samples
3.1s22 830×0valid
682.0ms2 832×1valid
489.0ms907×2valid
116.0ms1 608×0invalid
5.0ms7×3valid
5.0ms32×0exit
Compiler

Compiled 48 659 to 32 187 computations (33.9% saved)

Precisions
Click to see histograms. Total time spent on operations: 3.5s
ival-mult: 1.2s (34.6% of total)
ival-div: 604.0ms (17.2% of total)
ival-add: 393.0ms (11.2% of total)
ival-sub: 377.0ms (10.7% of total)
ival-pow: 305.0ms (8.7% of total)
adjust: 217.0ms (6.2% of total)
ival-sqrt: 155.0ms (4.4% of total)
ival-neg: 144.0ms (4.1% of total)
ival-exp: 31.0ms (0.9% of total)
exact: 24.0ms (0.7% of total)
ival-true: 20.0ms (0.6% of total)
ival-pow2: 14.0ms (0.4% of total)
ival-assert: 11.0ms (0.3% of total)
const: 3.0ms (0.1% of total)
ival-pi: 2.0ms (0.1% of total)

regimes5.7s (1.6%)

Memory
137.0MiB live, 8 335.7MiB allocated
Counts
4 414 → 500
Calls

96 calls:

631.0ms
b
552.0ms
x
337.0ms
a
267.0ms
d
256.0ms
x1
Compiler

Compiled 4 341 to 2 689 computations (38.1% saved)

analyze4.5s (1.3%)

Memory
-177.0MiB live, 4 821.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)

end0.0ms (0%)

Memory
0.9MiB live, 0.9MiB allocated

Profiling

Loading profile data...