Herbie run

Date:Monday, June 3rd, 2024
Commit:e0929cca on platforms
Hostname:nightly with Racket 8.11.1
Seed:2024155
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.4min)

sample1.5min (24%)

Results
33.0s281540×0valid
16.1s51842×1valid
14.3s23991×5exit
7.8s13370×2valid
390.0ms4266×0invalid
128.0ms941×0unsamplable
Precisions
Click to see histograms. Total time spent on operations: 54.1s
ival-mult: 11.8s (21.8% of total)
ival-add: 7.1s (13.1% of total)
ival-pow: 5.3s (9.8% of total)
ival-sub: 5.2s (9.6% of total)
backward-pass: 4.8s (8.9% of total)
ival-div: 4.5s (8.3% of total)
ival-<=: 3.1s (5.8% of total)
...c/correct-round.rkt:119:19: 2.7s (5% of total)
compiled-spec: 2.2s (4% of total)
ival-sin: 1.7s (3.2% of total)
const: 865.0ms (1.6% of total)
ival-neg: 819.0ms (1.5% of total)
ival-exp: 810.0ms (1.5% of total)
ival-log: 761.0ms (1.4% of total)
ival-cos: 637.0ms (1.2% of total)
ival-sqrt: 476.0ms (0.9% of total)
ival-and: 447.0ms (0.8% of total)
ival-==: 336.0ms (0.6% of total)
ival-tan: 161.0ms (0.3% of total)
ival-<: 146.0ms (0.3% of total)
ival-atan: 107.0ms (0.2% of total)
ival-pi: 38.0ms (0.1% of total)
ival-fabs: 24.0ms (0% of total)
ival-if: 13.0ms (0% of total)
Bogosity

soundness1.1min (16.9%)

Rules
595032×*-lowering-*.f32
595032×*-lowering-*.f64
325720×+-lowering-+.f32
325720×+-lowering-+.f64
277874×/-lowering-/.f64
Stop Event
12×saturated
170×iter limit
161×node limit
25×fuel
17×done
Compiler

Compiled 20807 to 10565 computations (49.2% saved)

simplify1.0min (16.1%)

Algorithm
334×egg-herbie
Rules
721548×*-lowering-*.f32
721548×*-lowering-*.f64
419270×+-lowering-+.f32
419270×+-lowering-+.f64
289252×fma-lowering-fma.f64
Stop Event
282×iter limit
125×saturated
219×node limit
Counts
36048 → 36048

rewrite56.0s (14.7%)

Algorithm
146×batch-egg-rewrite
Rules
502524×*-lowering-*.f32
502524×*-lowering-*.f64
393972×/-lowering-/.f64
393972×/-lowering-/.f32
206814×+-lowering-+.f32
Stop Event
11×saturated
143×iter limit
140×node limit
Counts
1829 → 77037

localize24.1s (6.3%)

Results
10.3s32369×0valid
2.9s2845×1valid
2.0s1112×2valid
871.0ms371×5exit
586.0ms194×3valid
190.0ms432×0invalid
36.0ms8×4valid
15.0ms45×0unsamplable
Compiler

Compiled 31912 to 3437 computations (89.2% saved)

Precisions
Click to see histograms. Total time spent on operations: 9.7s
ival-mult: 3.2s (33.1% of total)
ival-div: 2.2s (22.7% of total)
ival-add: 1.2s (12.1% of total)
backward-pass: 749.0ms (7.7% of total)
...c/correct-round.rkt:119:19: 579.0ms (6% of total)
ival-pow: 442.0ms (4.5% of total)
ival-sub: 427.0ms (4.4% of total)
compiled-spec: 354.0ms (3.6% of total)
ival-exp: 150.0ms (1.5% of total)
const: 108.0ms (1.1% of total)
ival-sin: 89.0ms (0.9% of total)
ival-log: 69.0ms (0.7% of total)
ival-sqrt: 56.0ms (0.6% of total)
ival-atan: 38.0ms (0.4% of total)
ival-cos: 26.0ms (0.3% of total)
ival-neg: 19.0ms (0.2% of total)
ival-tan: 6.0ms (0.1% of total)
ival-pi: 5.0ms (0.1% of total)

eval23.1s (6.1%)

Compiler

Compiled 4796989 to 312293 computations (93.5% saved)

prune18.7s (4.9%)

Counts
134488 → 2806
Compiler

Compiled 168803 to 63532 computations (62.4% saved)

bsearch9.6s (2.5%)

Algorithm
295×binary-search
22×left-value
Stop Event
18×predicate-same
277×narrow-enough
Results
4.6s30453×0valid
1.7s5640×1valid
261.0ms595×2valid
238.0ms2944×0invalid
1.0ms8×0unsamplable
Compiler

Compiled 72414 to 47346 computations (34.6% saved)

Precisions
Click to see histograms. Total time spent on operations: 5.0s
ival-mult: 1.8s (35.3% of total)
ival-pow: 910.0ms (18.3% of total)
ival-div: 673.0ms (13.5% of total)
ival-add: 668.0ms (13.4% of total)
ival-sub: 519.0ms (10.4% of total)
backward-pass: 145.0ms (2.9% of total)
const: 84.0ms (1.7% of total)
ival-exp: 80.0ms (1.6% of total)
ival-neg: 75.0ms (1.5% of total)
ival-sqrt: 54.0ms (1.1% of total)
...c/correct-round.rkt:119:19: 5.0ms (0.1% of total)
ival-pi: 3.0ms (0.1% of total)

explain8.6s (2.3%)

Results
2.9s3680×1valid
2.3s16470×0valid
631.0ms1104×2valid
132.0ms234×5exit
25.0ms16×3valid
Compiler

Compiled 7687 to 1404 computations (81.7% saved)

Precisions
Click to see histograms. Total time spent on operations: 4.1s
ival-add: 1.9s (46.1% of total)
ival-mult: 675.0ms (16.7% of total)
ival-pow: 310.0ms (7.7% of total)
ival-div: 286.0ms (7.1% of total)
ival-sub: 209.0ms (5.2% of total)
backward-pass: 195.0ms (4.8% of total)
ival-sin: 119.0ms (2.9% of total)
...c/correct-round.rkt:119:19: 86.0ms (2.1% of total)
ival-exp: 73.0ms (1.8% of total)
const: 49.0ms (1.2% of total)
ival-log: 46.0ms (1.1% of total)
ival-sqrt: 36.0ms (0.9% of total)
ival-cos: 34.0ms (0.8% of total)
ival-neg: 28.0ms (0.7% of total)
compiled-spec: 19.0ms (0.5% of total)
ival-tan: 7.0ms (0.2% of total)
ival-atan: 7.0ms (0.2% of total)
ival-pi: 2.0ms (0% of total)

preprocess8.5s (2.2%)

Algorithm
84×egg-herbie
Rules
65240×fnmadd-define
62928×sum3-define
53926×fmsub-define
53334×fma-define
48410×sum4-define
Stop Event
44×saturated
40×iter limit
42×node limit
Compiler

Compiled 22030 to 7198 computations (67.3% saved)

regimes7.2s (1.9%)

Counts
7637 → 616
Calls

96 calls:

1.1s
x
511.0ms
b
372.0ms
x1
279.0ms
a
278.0ms
c
Compiler

Compiled 3496 to 2197 computations (37.2% saved)

analyze5.1s (1.3%)

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
35.2%19.2%35.3%45.5%0%0%0%2
47.6%25.7%28.3%45.5%0%0.6%0%3
57.1%30.5%22.8%45.5%0%1.2%0%4
70.9%37.5%15.4%45.6%0%1.5%0%5
72.8%38.4%14.4%45.6%0%1.7%0%6
77.8%40.7%11.6%45.6%0%2%0%7
81.4%42.5%9.7%45.7%0%2.1%0%8
84.1%43.8%8.3%45.7%0%2.2%0%9
86.2%44.6%7.2%45.7%0%2.5%0%10
88.2%45.6%6.1%45.7%0%2.5%0.1%11
89.1%45.9%5.6%45.7%0%2.6%0.1%12
Compiler

Compiled 1441 to 688 computations (52.3% saved)

Precisions
Click to see histograms. Total time spent on operations: 3.1s
ival-mult: 777.0ms (25.3% of total)
ival-pow: 479.0ms (15.6% of total)
ival-div: 349.0ms (11.3% of total)
ival-sub: 325.0ms (10.6% of total)
ival-add: 319.0ms (10.4% of total)
ival-<=: 196.0ms (6.4% of total)
ival-sqrt: 152.0ms (4.9% of total)
ival-exp: 109.0ms (3.5% of total)
...c/correct-round.rkt:119:19: 59.0ms (1.9% of total)
ival-if: 58.0ms (1.9% of total)
const: 50.0ms (1.6% of total)
ival-fabs: 50.0ms (1.6% of total)
ival-==: 47.0ms (1.5% of total)
ival-and: 33.0ms (1.1% of total)
ival-neg: 30.0ms (1% of total)
ival-<: 26.0ms (0.8% of total)
backward-pass: 11.0ms (0.4% of total)
ival-pi: 4.0ms (0.1% of total)
ival-cos: 2.0ms (0.1% of total)
ival-log: 1.0ms (0% of total)
ival-atan: 0.0ms (0% of total)
ival-tan: 0.0ms (0% of total)
ival-sin: 0.0ms (0% of total)
compiled-spec: 0.0ms (0% of total)

series3.1s (0.8%)

Counts
1829 → 36048
Calls

7401 calls:

TimeVariablePointExpression
92.0ms
b
@-inf
(/ b (/ (PI) a))
59.0ms
eps
@inf
(* (pow (+ x eps) 5/4) (pow (+ x eps) 5/2))
31.0ms
x
@0
(atan (/ 1 (+ 1 (* x (+ 1 (* x (+ 1/2 (* x 1/2))))))))
30.0ms
x
@inf
(- x (/ 1 (/ (+ x (* 1/2 (/ eps x))) (- (* x x) (* (/ 1/4 (* x x)) (* eps eps))))))
28.0ms
x
@0
(/ (* (* x (* x x)) 10) eps)

end0.0ms (0%)

Profiling

Loading profile data...