Herbie run

Date:Thursday, June 6th, 2024
Commit:b2854467 on platforms
Hostname:nightly with Racket 8.11.1
Seed:2024158
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)

sample2.5min (39.9%)

Results
38.8s55361×2valid
29.9s116070×1valid
27.7s140845×0precondition
26.2s7274×5exit
6.6s57100×0valid
3.1s2637×3valid
448.0ms4210×0unsamplable
442.0ms4230×0invalid
Precisions
Click to see histograms. Total time spent on operations: 1.8min
ival-pow: 25.2s (23.3% of total)
ival-exp: 10.6s (9.8% of total)
ival-tan: 10.2s (9.4% of total)
ival-mult: 8.6s (7.9% of total)
ival-sub: 6.8s (6.3% of total)
backward-pass: 6.1s (5.7% of total)
...c/correct-round.rkt:119:19: 6.1s (5.6% of total)
ival-log: 4.7s (4.3% of total)
ival-add: 4.5s (4.1% of total)
ival-cos: 4.3s (4% of total)
ival-div: 4.2s (3.9% of total)
ival-sin: 3.5s (3.2% of total)
ival-<=: 3.2s (3% of total)
ival-fabs: 2.9s (2.7% of total)
ival-sqrt: 1.5s (1.4% of total)
ival-<: 1.5s (1.4% of total)
ival->: 888.0ms (0.8% of total)
ival-and: 808.0ms (0.7% of total)
ival-fmin: 695.0ms (0.6% of total)
const: 676.0ms (0.6% of total)
ival-neg: 638.0ms (0.6% of total)
ival-atan: 371.0ms (0.3% of total)
ival-cbrt: 311.0ms (0.3% of total)
Bogosity

soundness47.8s (12.5%)

Rules
507084×*-lowering-*.f32
507084×*-lowering-*.f64
275740×+-lowering-+.f32
275740×+-lowering-+.f64
246350×/-lowering-/.f64
Stop Event
10×saturated
145×iter limit
135×node limit
25×fuel
3×done
Compiler

Compiled 13176 to 7149 computations (45.7% saved)

simplify47.0s (12.3%)

Algorithm
250×egg-herbie
Rules
609534×*-lowering-*.f32
609534×*-lowering-*.f64
370022×+-lowering-+.f32
370022×+-lowering-+.f64
241016×fma-lowering-fma.f64
Stop Event
222×iter limit
72×saturated
178×node limit
Counts
27480 → 27480

rewrite38.6s (10.1%)

Algorithm
111×batch-egg-rewrite
Rules
396280×*-lowering-*.f32
396280×*-lowering-*.f64
307694×/-lowering-/.f64
307694×/-lowering-/.f32
167898×+-lowering-+.f32
Stop Event
113×iter limit
111×node limit
Counts
1641 → 64318

localize36.9s (9.7%)

Results
10.2s3063×5exit
7.2s6970×1valid
6.3s13596×0valid
5.0s3222×2valid
837.0ms265×3valid
625.0ms1176×0invalid
85.0ms124×0unsamplable
Compiler

Compiled 26346 to 2972 computations (88.7% saved)

Precisions
Click to see histograms. Total time spent on operations: 15.4s
ival-mult: 2.6s (17.1% of total)
backward-pass: 2.6s (16.9% of total)
ival-div: 1.7s (11.4% of total)
ival-log: 1.2s (8% of total)
ival-add: 1.1s (7.5% of total)
...c/correct-round.rkt:119:19: 1.0s (6.6% of total)
ival-pow: 1.0s (6.5% of total)
ival-tan: 893.0ms (5.8% of total)
compiled-spec: 678.0ms (4.4% of total)
ival-sub: 606.0ms (3.9% of total)
ival-exp: 553.0ms (3.6% of total)
ival-cos: 411.0ms (2.7% of total)
ival-sin: 365.0ms (2.4% of total)
ival-sqrt: 166.0ms (1.1% of total)
const: 115.0ms (0.7% of total)
ival-cbrt: 80.0ms (0.5% of total)
ival-neg: 52.0ms (0.3% of total)
ival-cosh: 45.0ms (0.3% of total)
ival-atan2: 27.0ms (0.2% of total)
ival-atan: 11.0ms (0.1% of total)

eval18.3s (4.8%)

Compiler

Compiled 3934375 to 284980 computations (92.8% saved)

prune15.0s (3.9%)

Counts
117044 → 2407
Compiler

Compiled 99077 to 47799 computations (51.8% saved)

explain7.4s (1.9%)

Results
2.8s3452×2valid
2.4s7214×1valid
788.0ms3496×0valid
247.0ms174×3valid
Compiler

Compiled 2227 to 707 computations (68.3% saved)

Precisions
Click to see histograms. Total time spent on operations: 3.5s
ival-tan: 550.0ms (15.9% of total)
ival-exp: 542.0ms (15.7% of total)
backward-pass: 408.0ms (11.8% of total)
ival-sub: 399.0ms (11.6% of total)
ival-log: 299.0ms (8.7% of total)
ival-div: 220.0ms (6.4% of total)
ival-cos: 204.0ms (5.9% of total)
ival-sin: 184.0ms (5.3% of total)
ival-mult: 177.0ms (5.1% of total)
ival-add: 171.0ms (5% of total)
ival-pow: 120.0ms (3.5% of total)
ival-sqrt: 77.0ms (2.2% of total)
const: 32.0ms (0.9% of total)
ival-neg: 27.0ms (0.8% of total)
ival-atan: 24.0ms (0.7% of total)
ival-cbrt: 18.0ms (0.5% of total)

regimes4.4s (1.2%)

Counts
6171 → 359
Calls

43 calls:

1.2s
x
387.0ms
eps
358.0ms
b
238.0ms
(/.f64 #s(literal 1 binary64) n)
201.0ms
b_2
Compiler

Compiled 1514 to 1003 computations (33.8% saved)

preprocess4.4s (1.1%)

Algorithm
56×egg-herbie
Rules
30322×fnmadd-define
27570×sum3-define
24790×fnmsub-define
23844×fmsub-define
21818×fmm-def
Stop Event
44×saturated
28×iter limit
12×node limit
Compiler

Compiled 13732 to 4690 computations (65.8% saved)

analyze3.8s (1%)

Algorithm
28×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%61.1%38.9%0%0%0%0
6.1%3.7%57.4%38.9%0%0%0%1
16.5%10.1%51%38.9%0%0%0%2
35.3%20.6%37.8%41.6%0%0%0%3
46.1%26.9%31.4%41.7%0%0%0%4
54.8%31.5%26%42.4%0%0%0%5
57.1%32.5%24.4%43.1%0%0%0%6
61.5%33.9%21.3%44%0%0.8%0.1%7
64.6%35.3%19.3%44.5%0%0.8%0.1%8
67.1%36%17.6%44.9%0%1.2%0.3%9
69.1%36.5%16.3%45.2%0%1.7%0.3%10
71.7%37.5%14.8%45.4%0%1.9%0.4%11
72.8%37.8%14.1%45.6%0%2.2%0.4%12
Compiler

Compiled 498 to 322 computations (35.3% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.9s
ival-sub: 539.0ms (27.8% of total)
ival-pow: 224.0ms (11.5% of total)
ival-mult: 210.0ms (10.8% of total)
...c/correct-round.rkt:119:19: 167.0ms (8.6% of total)
ival-div: 111.0ms (5.7% of total)
ival-log: 99.0ms (5.1% of total)
ival-<=: 87.0ms (4.5% of total)
ival-sin: 74.0ms (3.8% of total)
ival-exp: 68.0ms (3.5% of total)
ival-add: 65.0ms (3.4% of total)
ival-sqrt: 56.0ms (2.9% of total)
ival-fabs: 52.0ms (2.7% of total)
ival-neg: 48.0ms (2.5% of total)
ival-tan: 36.0ms (1.9% of total)
ival-cos: 24.0ms (1.2% of total)
const: 22.0ms (1.1% of total)
ival->: 15.0ms (0.8% of total)
ival-<: 14.0ms (0.7% of total)
ival-and: 12.0ms (0.6% of total)
backward-pass: 10.0ms (0.5% of total)
ival-fmin: 7.0ms (0.4% of total)
ival-atan: 0.0ms (0% of total)
ival-cbrt: 0.0ms (0% of total)

series3.3s (0.9%)

Counts
1641 → 27480
Calls

5517 calls:

TimeVariablePointExpression
62.0ms
x
@0
(/ (/ (+ 1/2 (- (/ (+ -1/8 (/ 1/16 x)) x) (/ 5/128 (* x (* x x))))) x) (pow (* (+ x 1) (+ x 1)) 1/4))
57.0ms
x
@0
(* (* (cbrt (pow x -3/4)) (cbrt (pow x -5/4))) 1/3)
41.0ms
n
@0
(/ (- (log (+ 1 x)) (log x)) n)
39.0ms
eps
@0
(+ (* (* eps (* eps eps)) (* (* eps (+ 9/40 (* (* eps eps) (+ -27/2800 (* (* eps eps) 27/112000))))) (* (* eps (+ 9/40 (* (* eps eps) (+ -27/2800 (* (* eps eps) 27/112000))))) (* eps (+ 9/40 (* (* eps eps) -27/2800)))))) -1/8)
39.0ms
n
@0
(* n (log n))

bsearch2.7s (0.7%)

Algorithm
88×binary-search
32×left-value
Stop Event
7×predicate-same
81×narrow-enough
Results
888.0ms8342×0valid
434.0ms879×2valid
385.0ms1499×1valid
229.0ms1877×0invalid
7.0ms55×0unsamplable
Compiler

Compiled 18233 to 12738 computations (30.1% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.3s
ival-mult: 317.0ms (24.3% of total)
ival-pow: 172.0ms (13.2% of total)
ival-div: 136.0ms (10.4% of total)
ival-add: 124.0ms (9.5% of total)
ival-sub: 119.0ms (9.1% of total)
ival-sqrt: 99.0ms (7.6% of total)
backward-pass: 91.0ms (7% of total)
ival-neg: 71.0ms (5.5% of total)
ival-exp: 59.0ms (4.5% of total)
ival-cos: 43.0ms (3.3% of total)
ival-sin: 35.0ms (2.7% of total)
const: 20.0ms (1.5% of total)
ival-cbrt: 12.0ms (0.9% of total)
ival-log: 2.0ms (0.2% of total)

end0.0ms (0%)

Profiling

Loading profile data...