Herbie run

Date:Sunday, May 19th, 2024
Commit:de598f26 on platforms-report
Hostname:nightly with Racket 8.11.1
Seed:2024140
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.0min)

sample2.4min (40.1%)

Results
36.9s55202×2valid
26.7s116065×1valid
26.1s140711×0precondition
25.8s7115×5exit
5.5s57289×0valid
2.8s2612×3valid
666.0ms4112×0invalid
514.0ms4135×0unsamplable
Precisions
Click to see histograms. Total time spent on operations: 1.8min
ival-pow: 25.4s (24.1% of total)
ival-exp: 9.9s (9.4% of total)
ival-tan: 9.8s (9.2% of total)
ival-mult: 8.8s (8.3% of total)
ival-sub: 6.7s (6.3% of total)
...c/correct-round.rkt:119:19: 6.1s (5.7% of total)
ival-log: 5.1s (4.8% of total)
backward-pass: 4.9s (4.6% of total)
ival-add: 4.3s (4.1% of total)
ival-div: 3.9s (3.7% of total)
ival-cos: 3.9s (3.7% of total)
ival-<=: 3.3s (3.2% of total)
ival-sin: 3.2s (3% of total)
ival-fabs: 2.9s (2.8% of total)
ival-<: 1.7s (1.6% of total)
ival-sqrt: 1.6s (1.6% of total)
ival-and: 843.0ms (0.8% of total)
ival->: 827.0ms (0.8% of total)
ival-fmin: 706.0ms (0.7% of total)
const: 643.0ms (0.6% of total)
ival-neg: 502.0ms (0.5% of total)
ival-atan: 351.0ms (0.3% of total)
ival-cbrt: 331.0ms (0.3% of total)
Bogosity

simplify46.2s (12.9%)

Algorithm
248×egg-herbie
Rules
621580×*-lowering-*.f32
621580×*-lowering-*.f64
389094×+-lowering-+.f32
389094×+-lowering-+.f64
225730×fma-lowering-fma.f64
Stop Event
220×iter limit
74×saturated
174×node limit
Counts
27252 → 27252

soundness46.0s (12.8%)

Rules
487340×*-lowering-*.f32
487340×*-lowering-*.f64
289644×+-lowering-+.f32
289644×+-lowering-+.f64
240406×/-lowering-/.f64
Stop Event
11×saturated
143×iter limit
132×node limit
24×fuel
4×done
Compiler

Compiled 10962 to 6305 computations (42.5% saved)

rewrite37.6s (10.5%)

Algorithm
110×batch-egg-rewrite
Rules
371668×*-lowering-*.f32
371668×*-lowering-*.f64
301558×/-lowering-/.f64
301558×/-lowering-/.f32
170266×+-lowering-+.f32
Stop Event
113×iter limit
110×node limit
Counts
1624 → 65573

localize28.6s (8%)

Results
7.1s2913×5exit
5.6s7097×1valid
4.6s13487×0valid
3.8s3212×2valid
924.0ms498×3valid
285.0ms776×0invalid
128.0ms167×0unsamplable
19.0ms10×1unsamplable
Compiler

Compiled 27410 to 2925 computations (89.3% saved)

Precisions
Click to see histograms. Total time spent on operations: 15.2s
ival-mult: 2.7s (18% of total)
backward-pass: 2.0s (13.3% of total)
ival-log: 1.8s (11.8% of total)
ival-div: 1.7s (11.1% of total)
ival-pow: 1.3s (8.2% of total)
ival-add: 1.1s (7.5% of total)
compiled-spec: 1.1s (6.9% of total)
...c/correct-round.rkt:119:19: 800.0ms (5.2% of total)
ival-exp: 643.0ms (4.2% of total)
ival-sub: 568.0ms (3.7% of total)
ival-cos: 422.0ms (2.8% of total)
ival-tan: 333.0ms (2.2% of total)
ival-sqrt: 218.0ms (1.4% of total)
ival-sin: 184.0ms (1.2% of total)
const: 113.0ms (0.7% of total)
ival-cosh: 82.0ms (0.5% of total)
ival-neg: 68.0ms (0.4% of total)
ival-cbrt: 68.0ms (0.4% of total)
ival-atan2: 32.0ms (0.2% of total)
ival-atan: 13.0ms (0.1% of total)

eval17.0s (4.7%)

Compiler

Compiled 3806711 to 293001 computations (92.3% saved)

prune15.5s (4.3%)

Counts
116710 → 2226
Compiler

Compiled 91864 to 44289 computations (51.8% saved)

explain6.8s (1.9%)

Results
2.3s3444×2valid
1.8s7228×1valid
781.0ms3494×0valid
598.0ms170×3valid
Compiler

Compiled 2227 to 707 computations (68.3% saved)

Precisions
Click to see histograms. Total time spent on operations: 4.1s
ival-tan: 950.0ms (23.2% of total)
ival-mult: 578.0ms (14.1% of total)
ival-exp: 518.0ms (12.7% of total)
ival-log: 369.0ms (9% of total)
backward-pass: 325.0ms (7.9% of total)
ival-cos: 255.0ms (6.2% of total)
ival-sub: 225.0ms (5.5% of total)
ival-div: 172.0ms (4.2% of total)
ival-sin: 169.0ms (4.1% of total)
ival-pow: 155.0ms (3.8% of total)
ival-add: 137.0ms (3.3% of total)
ival-sqrt: 133.0ms (3.3% of total)
ival-neg: 32.0ms (0.8% of total)
const: 31.0ms (0.8% of total)
ival-atan: 21.0ms (0.5% of total)
ival-cbrt: 20.0ms (0.5% of total)

preprocess4.6s (1.3%)

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 9790 to 3796 computations (61.2% saved)

regimes3.6s (1%)

Counts
4787 → 320
Calls

43 calls:

916.0ms
x
416.0ms
eps
306.0ms
b
157.0ms
N
156.0ms
n
Compiler

Compiled 1380 to 908 computations (34.2% saved)

analyze3.4s (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: 1.6s
ival-sub: 260.0ms (16.2% of total)
ival-mult: 198.0ms (12.3% of total)
...c/correct-round.rkt:119:19: 164.0ms (10.2% of total)
ival-pow: 150.0ms (9.3% of total)
ival-log: 107.0ms (6.7% of total)
ival-div: 106.0ms (6.6% of total)
ival-<=: 90.0ms (5.6% of total)
ival-add: 77.0ms (4.8% of total)
ival-exp: 71.0ms (4.4% of total)
ival-sin: 64.0ms (4% of total)
ival-sqrt: 57.0ms (3.5% of total)
ival-fabs: 54.0ms (3.4% of total)
ival-neg: 49.0ms (3.1% of total)
ival-tan: 38.0ms (2.4% of total)
ival->: 33.0ms (2.1% of total)
ival-cos: 25.0ms (1.6% of total)
const: 21.0ms (1.3% of total)
ival-<: 14.0ms (0.9% of total)
ival-and: 13.0ms (0.8% of total)
backward-pass: 9.0ms (0.6% of total)
ival-fmin: 6.0ms (0.4% of total)
ival-atan: 0.0ms (0% of total)
ival-cbrt: 0.0ms (0% of total)

series3.0s (0.8%)

Counts
1624 → 27252
Calls

5412 calls:

TimeVariablePointExpression
58.0ms
n
@0
(* n (log n))
51.0ms
N
@0
(log N)
50.0ms
x
@0
(* (log (pow x 2/3)) -1)
43.0ms
n
@0
(/ (log (/ x (+ 1 x))) (neg n))
37.0ms
n
@0
(* (/ 1/2 n) (- (pow (log (+ 1 x)) 2) (pow (log x) 2)))

bsearch2.4s (0.7%)

Algorithm
87×binary-search
22×left-value
Stop Event
2×predicate-same
85×narrow-enough
Results
771.0ms8780×0valid
388.0ms1474×1valid
355.0ms866×2valid
188.0ms1862×0invalid
11.0ms93×0unsamplable
Compiler

Compiled 17362 to 12829 computations (26.1% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.2s
ival-mult: 299.0ms (24.9% of total)
ival-pow: 298.0ms (24.8% of total)
ival-div: 126.0ms (10.5% of total)
ival-sub: 115.0ms (9.6% of total)
ival-sqrt: 82.0ms (6.8% of total)
ival-neg: 67.0ms (5.6% of total)
ival-exp: 56.0ms (4.7% of total)
ival-add: 54.0ms (4.5% of total)
backward-pass: 50.0ms (4.2% of total)
ival-cos: 32.0ms (2.7% of total)
const: 21.0ms (1.7% of total)
ival-log: 2.0ms (0.2% of total)

end0.0ms (0%)

Profiling

Loading profile data...