Herbie run

Date:Monday, May 27th, 2024
Commit:5b5a2604 on platforms-seed
Hostname:nightly with Racket 8.11.1
Seed:2024148
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.5min (41.2%)

Results
37.7s55507×2valid
27.8s116308×1valid
27.2s142071×0precondition
26.0s7118×5exit
5.6s56704×0valid
2.9s2649×3valid
490.0ms4150×0unsamplable
388.0ms4274×0invalid
Precisions
Click to see histograms. Total time spent on operations: 1.8min
ival-pow: 26.0s (24.1% of total)
ival-exp: 10.4s (9.7% of total)
ival-tan: 10.3s (9.5% of total)
ival-mult: 8.6s (8% of total)
ival-sub: 6.7s (6.2% of total)
...c/correct-round.rkt:119:19: 6.1s (5.6% of total)
ival-log: 5.5s (5.1% of total)
backward-pass: 4.6s (4.3% of total)
ival-div: 4.5s (4.2% of total)
ival-add: 4.5s (4.1% of total)
ival-cos: 4.1s (3.8% of total)
ival-<=: 3.7s (3.4% of total)
ival-sin: 3.3s (3.1% of total)
ival-fabs: 2.7s (2.5% of total)
ival-<: 1.5s (1.4% of total)
ival-sqrt: 1.4s (1.3% of total)
ival-and: 825.0ms (0.8% of total)
ival->: 775.0ms (0.7% of total)
const: 643.0ms (0.6% of total)
ival-fmin: 630.0ms (0.6% of total)
ival-neg: 564.0ms (0.5% of total)
ival-atan: 359.0ms (0.3% of total)
ival-cbrt: 346.0ms (0.3% of total)
Bogosity

simplify44.5s (12.4%)

Algorithm
248×egg-herbie
Rules
597842×*-lowering-*.f32
597842×*-lowering-*.f64
367624×+-lowering-+.f32
367624×+-lowering-+.f64
230948×fma-lowering-fma.f64
Stop Event
220×iter limit
73×saturated
175×node limit
Counts
28512 → 28512

soundness44.3s (12.3%)

Rules
447676×*-lowering-*.f32
447676×*-lowering-*.f64
266584×+-lowering-+.f32
266584×+-lowering-+.f64
220892×/-lowering-/.f64
Stop Event
10×saturated
138×iter limit
126×node limit
26×fuel
2×done
Compiler

Compiled 10794 to 5786 computations (46.4% saved)

rewrite38.0s (10.6%)

Algorithm
110×batch-egg-rewrite
Rules
375790×*-lowering-*.f32
375790×*-lowering-*.f64
301034×/-lowering-/.f64
301034×/-lowering-/.f32
171718×+-lowering-+.f32
Stop Event
114×iter limit
110×node limit
Counts
1693 → 65665

localize27.8s (7.7%)

Results
6.2s7314×1valid
5.7s2850×5exit
4.7s13149×0valid
3.8s3243×2valid
552.0ms314×3valid
404.0ms1071×0invalid
107.0ms202×0unsamplable
39.0ms16×1unsamplable
5.0ms1×4valid
Compiler

Compiled 27621 to 3025 computations (89% saved)

Precisions
Click to see histograms. Total time spent on operations: 14.7s
ival-mult: 2.7s (18.5% of total)
backward-pass: 1.9s (12.8% of total)
ival-div: 1.7s (11.6% of total)
ival-log: 1.5s (9.9% of total)
ival-pow: 1.3s (9.1% of total)
ival-add: 1.3s (8.7% of total)
...c/correct-round.rkt:119:19: 866.0ms (5.9% of total)
compiled-spec: 770.0ms (5.2% of total)
ival-sub: 622.0ms (4.2% of total)
ival-exp: 496.0ms (3.4% of total)
ival-tan: 435.0ms (3% of total)
ival-cos: 359.0ms (2.4% of total)
ival-sin: 247.0ms (1.7% of total)
ival-sqrt: 204.0ms (1.4% of total)
const: 109.0ms (0.7% of total)
ival-cbrt: 71.0ms (0.5% of total)
ival-neg: 65.0ms (0.4% of total)
ival-atan2: 41.0ms (0.3% of total)
ival-atan: 31.0ms (0.2% of total)

eval17.2s (4.8%)

Compiler

Compiled 3569375 to 284577 computations (92% saved)

prune14.5s (4%)

Counts
112754 → 2331
Compiler

Compiled 103111 to 48632 computations (52.8% saved)

explain6.7s (1.9%)

Results
2.4s3494×2valid
1.9s7138×1valid
435.0ms3520×0valid
212.0ms184×3valid
Compiler

Compiled 2227 to 707 computations (68.3% saved)

Precisions
Click to see histograms. Total time spent on operations: 3.6s
ival-tan: 677.0ms (18.9% of total)
ival-exp: 516.0ms (14.4% of total)
ival-log: 347.0ms (9.7% of total)
backward-pass: 308.0ms (8.6% of total)
ival-div: 281.0ms (7.8% of total)
ival-sin: 261.0ms (7.3% of total)
ival-sub: 260.0ms (7.3% of total)
ival-cos: 221.0ms (6.2% of total)
ival-mult: 197.0ms (5.5% of total)
ival-add: 153.0ms (4.3% of total)
ival-pow: 144.0ms (4% of total)
ival-sqrt: 101.0ms (2.8% of total)
ival-neg: 40.0ms (1.1% of total)
const: 31.0ms (0.9% of total)
ival-atan: 27.0ms (0.8% of total)
ival-cbrt: 19.0ms (0.5% of total)

preprocess5.1s (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 11066 to 3960 computations (64.2% saved)

regimes4.0s (1.1%)

Counts
5328 → 338
Calls

43 calls:

1.2s
x
437.0ms
eps
183.0ms
b
160.0ms
b_2
158.0ms
n
Compiler

Compiled 1455 to 954 computations (34.4% saved)

series3.4s (0.9%)

Counts
1693 → 28512
Calls

5673 calls:

TimeVariablePointExpression
267.0ms
x
@0
(* (pow (exp -2) (* 1/3 (log x))) 1/3)
50.0ms
n
@0
(* n (log n))
40.0ms
n
@0
(* (/ -1/6 n) (- (pow (log (+ 1 x)) 3) (pow (log x) 3)))
36.0ms
b
@-inf
(/ (/ (+ b (sqrt (+ (* b b) (* c (* a -4))))) -2) a)
32.0ms
eps
@0
(* eps (/ (+ a b) b))

analyze3.1s (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.8s
ival-mult: 248.0ms (13.8% of total)
ival-sub: 233.0ms (13% of total)
ival-pow: 211.0ms (11.7% of total)
...c/correct-round.rkt:119:19: 170.0ms (9.5% of total)
ival-div: 138.0ms (7.7% of total)
ival-<=: 125.0ms (6.9% of total)
ival-log: 123.0ms (6.8% of total)
ival-sqrt: 95.0ms (5.3% of total)
ival-sin: 83.0ms (4.6% of total)
ival-add: 77.0ms (4.3% of total)
ival-exp: 68.0ms (3.8% of total)
ival-fabs: 49.0ms (2.7% of total)
ival-tan: 39.0ms (2.2% of total)
ival-neg: 34.0ms (1.9% of total)
ival-cos: 24.0ms (1.3% of total)
const: 22.0ms (1.2% of total)
ival->: 17.0ms (0.9% of total)
ival-and: 13.0ms (0.7% of total)
ival-<: 11.0ms (0.6% of total)
backward-pass: 9.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)

bsearch2.5s (0.7%)

Algorithm
86×binary-search
26×left-value
Stop Event
5×predicate-same
81×narrow-enough
Results
660.0ms7610×0valid
519.0ms1211×2valid
330.0ms1483×1valid
121.0ms1338×0invalid
27.0ms200×0unsamplable
Compiler

Compiled 16089 to 11488 computations (28.6% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.2s
ival-pow: 383.0ms (32.1% of total)
ival-mult: 181.0ms (15.2% of total)
ival-div: 117.0ms (9.8% of total)
ival-sub: 114.0ms (9.6% of total)
ival-cos: 93.0ms (7.8% of total)
ival-exp: 66.0ms (5.5% of total)
ival-add: 62.0ms (5.2% of total)
backward-pass: 54.0ms (4.5% of total)
ival-sqrt: 51.0ms (4.3% of total)
ival-neg: 46.0ms (3.9% of total)
const: 18.0ms (1.5% of total)
ival-cbrt: 5.0ms (0.4% of total)
ival-log: 3.0ms (0.3% of total)

end0.0ms (0%)

Profiling

Loading profile data...