Herbie run

Date:Monday, May 20th, 2024
Commit:662e4288 on platforms-report
Hostname:nightly with Racket 8.11.1
Seed:2024141
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: 12.7min)

sample4.1min (32.6%)

Results
54.7s55095×2valid
52.5s142780×0precondition
49.6s116472×1valid
33.8s7204×5exit
11.0s56918×0valid
3.8s2683×3valid
925.0ms4252×0unsamplable
775.0ms4118×0invalid
Precisions
Click to see histograms. Total time spent on operations: 2.9min
ival-pow: 32.6s (18.9% of total)
ival-mult: 18.2s (10.5% of total)
ival-exp: 14.3s (8.3% of total)
ival-sub: 13.3s (7.7% of total)
ival-tan: 11.8s (6.8% of total)
ival-div: 9.2s (5.3% of total)
...c/correct-round.rkt:119:19: 9.0s (5.2% of total)
backward-pass: 8.8s (5.1% of total)
ival-add: 8.4s (4.9% of total)
ival-log: 8.3s (4.8% of total)
ival-<=: 7.5s (4.3% of total)
ival-cos: 6.5s (3.7% of total)
ival-fabs: 4.8s (2.7% of total)
ival-sin: 4.7s (2.7% of total)
ival-<: 3.8s (2.2% of total)
ival-sqrt: 2.7s (1.6% of total)
ival-and: 2.2s (1.3% of total)
ival->: 1.8s (1% of total)
ival-fmin: 1.4s (0.8% of total)
const: 1.2s (0.7% of total)
ival-neg: 995.0ms (0.6% of total)
ival-atan: 710.0ms (0.4% of total)
ival-cbrt: 626.0ms (0.4% of total)
Bogosity

simplify1.9min (14.9%)

Algorithm
252×egg-herbie
Rules
601668×*-lowering-*.f32
601668×*-lowering-*.f64
363560×+-lowering-+.f32
363560×+-lowering-+.f64
239972×fma-lowering-fma.f64
Stop Event
224×iter limit
74×saturated
178×node limit
Counts
28044 → 28044

soundness1.8min (14.4%)

Rules
488192×*-lowering-*.f32
488192×*-lowering-*.f64
285134×+-lowering-+.f32
285134×+-lowering-+.f64
249806×/-lowering-/.f64
Stop Event
12×saturated
152×iter limit
138×node limit
26×fuel
2×done
Compiler

Compiled 12558 to 6957 computations (44.6% saved)

rewrite1.6min (12.3%)

Algorithm
112×batch-egg-rewrite
Rules
377548×*-lowering-*.f32
377548×*-lowering-*.f64
297832×/-lowering-/.f32
297832×/-lowering-/.f64
175152×+-lowering-+.f32
Stop Event
115×iter limit
112×node limit
Counts
1664 → 64507

localize1.2min (9.6%)

Results
18.1s2929×5exit
12.6s13027×0valid
11.7s7032×1valid
11.4s3817×2valid
2.4s528×3valid
909.0ms1131×0invalid
227.0ms189×0unsamplable
63.0ms17×1unsamplable
7.0ms2×4valid
Compiler

Compiled 27514 to 3021 computations (89% saved)

Precisions
Click to see histograms. Total time spent on operations: 33.8s
ival-mult: 6.9s (20.3% of total)
backward-pass: 5.0s (14.9% of total)
ival-div: 4.2s (12.4% of total)
ival-log: 3.4s (10% of total)
ival-pow: 3.1s (9.1% of total)
ival-add: 2.9s (8.5% of total)
...c/correct-round.rkt:119:19: 1.8s (5.4% of total)
compiled-spec: 1.5s (4.5% of total)
ival-sub: 1.4s (4.1% of total)
ival-tan: 928.0ms (2.7% of total)
ival-exp: 661.0ms (2% of total)
ival-cos: 598.0ms (1.8% of total)
ival-sqrt: 399.0ms (1.2% of total)
ival-sin: 360.0ms (1.1% of total)
ival-neg: 247.0ms (0.7% of total)
const: 220.0ms (0.7% of total)
ival-cbrt: 127.0ms (0.4% of total)
ival-atan2: 63.0ms (0.2% of total)
ival-atan: 21.0ms (0.1% of total)
ival-e: 7.0ms (0% of total)

eval40.1s (5.3%)

Compiler

Compiled 3463666 to 282926 computations (91.8% saved)

prune34.7s (4.6%)

Counts
114472 → 2395
Compiler

Compiled 111814 to 49820 computations (55.4% saved)

explain11.9s (1.6%)

Results
3.9s3448×2valid
3.7s7258×1valid
939.0ms3472×0valid
234.0ms158×3valid
Compiler

Compiled 2227 to 707 computations (68.3% saved)

Precisions
Click to see histograms. Total time spent on operations: 5.4s
ival-mult: 637.0ms (11.8% of total)
ival-exp: 625.0ms (11.6% of total)
ival-tan: 619.0ms (11.5% of total)
backward-pass: 613.0ms (11.4% of total)
ival-sub: 511.0ms (9.5% of total)
ival-log: 491.0ms (9.1% of total)
ival-div: 453.0ms (8.4% of total)
ival-cos: 325.0ms (6% of total)
ival-add: 295.0ms (5.5% of total)
ival-pow: 243.0ms (4.5% of total)
ival-sin: 222.0ms (4.1% of total)
ival-sqrt: 164.0ms (3% of total)
ival-neg: 53.0ms (1% of total)
const: 51.0ms (0.9% of total)
ival-atan: 44.0ms (0.8% of total)
ival-cbrt: 36.0ms (0.7% of total)

preprocess10.6s (1.4%)

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 12816 to 4772 computations (62.8% saved)

series8.4s (1.1%)

Counts
1664 → 28044
Calls

5628 calls:

TimeVariablePointExpression
241.0ms
N
@-inf
(+ (* (neg (/ 1 (log (* N (+ 1 N))))) (pow (log N) 2)) (* (/ 1 (log (* N (+ 1 N)))) (pow (log N) 2)))
124.0ms
n
@0
(* n (log n))
122.0ms
n
@0
(* (/ -1/6 n) (- (pow (log (+ 1 x)) 3) (pow (log x) 3)))
107.0ms
x
@0
(pow x 1/6)
106.0ms
x
@0
(log x)

regimes6.6s (0.9%)

Counts
5288 → 342
Calls

43 calls:

1.6s
x
478.0ms
eps
318.0ms
N
315.0ms
b_2
311.0ms
b
Compiler

Compiled 1525 to 1009 computations (33.8% saved)

analyze6.5s (0.9%)

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: 3.4s
ival-mult: 503.0ms (14.9% of total)
ival-sub: 490.0ms (14.5% of total)
ival-pow: 349.0ms (10.3% of total)
...c/correct-round.rkt:119:19: 294.0ms (8.7% of total)
ival-div: 249.0ms (7.4% of total)
ival-log: 208.0ms (6.2% of total)
ival-<=: 199.0ms (5.9% of total)
ival-sqrt: 159.0ms (4.7% of total)
ival-sin: 154.0ms (4.6% of total)
ival-exp: 153.0ms (4.5% of total)
ival-add: 135.0ms (4% of total)
ival-fabs: 89.0ms (2.6% of total)
ival-tan: 85.0ms (2.5% of total)
ival-cos: 76.0ms (2.3% of total)
ival-neg: 65.0ms (1.9% of total)
const: 44.0ms (1.3% of total)
ival->: 35.0ms (1% of total)
ival-and: 32.0ms (0.9% of total)
ival-<: 24.0ms (0.7% of total)
backward-pass: 14.0ms (0.4% of total)
ival-fmin: 14.0ms (0.4% of total)
ival-atan: 1.0ms (0% of total)
ival-cbrt: 1.0ms (0% of total)

bsearch4.5s (0.6%)

Algorithm
73×binary-search
37×left-value
Stop Event
6×predicate-same
67×narrow-enough
Results
1.3s7397×0valid
769.0ms782×2valid
386.0ms1543×0invalid
341.0ms893×1valid
8.0ms29×0unsamplable
Compiler

Compiled 15032 to 10596 computations (29.5% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.9s
ival-mult: 580.0ms (30.6% of total)
ival-sub: 230.0ms (12.1% of total)
ival-div: 225.0ms (11.9% of total)
ival-exp: 223.0ms (11.8% of total)
ival-sqrt: 144.0ms (7.6% of total)
ival-add: 113.0ms (6% of total)
ival-pow: 112.0ms (5.9% of total)
ival-neg: 88.0ms (4.6% of total)
backward-pass: 75.0ms (4% of total)
ival-cos: 58.0ms (3.1% of total)
const: 31.0ms (1.6% of total)
ival-cbrt: 13.0ms (0.7% of total)
ival-log: 4.0ms (0.2% of total)

end0.0ms (0%)

Profiling

Loading profile data...