Herbie run

Date:Friday, April 12th, 2024
Commit:f7c2f43b on zane-regimes-lt-or-eq
Hostname:nightly with Racket 8.11.1
Seed:2024103
Parameters:256 points for 4 iterations
Flags:
reduce: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.9min)

sample1.9min (26.8%)

Results
36.4s282985×0valid
21.9s55099×1valid
20.3s23837×5exit
6.0s8668×2valid
350.0ms4176×0invalid
140.0ms944×0unsamplable
Precisions
Click to see histograms. Total time spent on operations: 1.2min
ival-mult: 14.9s (21.1% of total)
ival-add: 9.3s (13.2% of total)
backward-pass: 8.9s (12.7% of total)
ival-pow: 7.5s (10.6% of total)
ival-div: 6.6s (9.4% of total)
<compiled-spec>: 5.2s (7.4% of total)
ival-sub: 5.0s (7.1% of total)
ival-<=: 3.8s (5.5% of total)
ival-sin: 2.7s (3.9% of total)
const: 1.5s (2.1% of total)
ival-exp: 1.2s (1.7% of total)
ival-log: 794.0ms (1.1% of total)
ival-sqrt: 630.0ms (0.9% of total)
ival-cos: 585.0ms (0.8% of total)
ival-and: 479.0ms (0.7% of total)
ival-neg: 431.0ms (0.6% of total)
ival-==: 273.0ms (0.4% of total)
ival-tan: 218.0ms (0.3% of total)
ival-<: 124.0ms (0.2% of total)
ival-atan: 80.0ms (0.1% of total)
ival-fabs: 50.0ms (0.1% of total)
ival-pi: 41.0ms (0.1% of total)
ival-if: 8.0ms (0% of total)
Bogosity

localize1.2min (18%)

Results
21.0s28127×256valid
16.9s2197×1024valid
7.2s1222×2048valid
5.3s1211×512valid
549.0ms604×256invalid
5.3s231×8192exit
780.0ms131×4096valid
61.0ms29×256unsamplable
48.0ms16×1024invalid
117.0ms15×2048invalid
50.0ms9×4096invalid
Compiler

Compiled 27418 to 16427 computations (40.1% saved)

Precisions
Click to see histograms. Total time spent on operations: 51.8s
ival-mult: 14.3s (27.6% of total)
ival-pow: 9.5s (18.4% of total)
ival-div: 7.8s (15% of total)
ival-add: 6.8s (13.1% of total)
<compiled-spec>: 4.3s (8.4% of total)
ival-sub: 3.7s (7.1% of total)
ival-exp: 1.3s (2.6% of total)
const: 1.3s (2.5% of total)
ival-tan: 878.0ms (1.7% of total)
ival-sqrt: 606.0ms (1.2% of total)
ival-log: 367.0ms (0.7% of total)
ival-cbrt: 262.0ms (0.5% of total)
ival-atan: 177.0ms (0.3% of total)
ival-cos: 151.0ms (0.3% of total)
ival-sin: 149.0ms (0.3% of total)
ival-neg: 96.0ms (0.2% of total)
ival-pi: 6.0ms (0% of total)

simplify40.6s (9.8%)

Algorithm
164×egg-herbie
Rules
48160×fma-define
39319×distribute-lft-in
34420×distribute-rgt-in
32595×associate-*r*
32545×fma-neg
Stop Event
42×saturated
122×node limit
Counts
55440 → 54544

eval36.2s (8.7%)

Compiler

Compiled 2309855 to 1565748 computations (32.2% saved)

soundness31.7s (7.6%)

Rules
42713×fma-define
33084×log1p-expm1-u
27384×expm1-log1p-u
26532×fma-neg
25144×distribute-lft-in
Stop Event
7×saturated
138×node limit
23×fuel
19×done
Compiler

Compiled 36136 to 22231 computations (38.5% saved)

rewrite25.5s (6.2%)

Algorithm
122×batch-egg-rewrite
Rules
70146×log1p-expm1-u
57364×expm1-log1p-u
25597×prod-diff
24602×pow1
23714×add-exp-log
Stop Event
122×node limit
Counts
999 → 34636

prune21.1s (5.1%)

Counts
75952 → 1838
Compiler

Compiled 68004 to 47367 computations (30.3% saved)

bsearch18.1s (4.4%)

Algorithm
389×binary-search
25×left-value
Stop Event
19×predicate-same
370×narrow-enough
Results
10.4s41595×0valid
2.2s6929×1valid
249.0ms3511×0invalid
513.0ms484×2valid
Compiler

Compiled 136494 to 97491 computations (28.6% saved)

Precisions
Click to see histograms. Total time spent on operations: 10.6s
ival-mult: 3.9s (37% of total)
ival-add: 1.9s (18.1% of total)
ival-div: 1.7s (16.4% of total)
ival-sub: 1.2s (11.5% of total)
ival-pow: 866.0ms (8.1% of total)
backward-pass: 394.0ms (3.7% of total)
const: 242.0ms (2.3% of total)
ival-neg: 144.0ms (1.4% of total)
ival-exp: 124.0ms (1.2% of total)
ival-sqrt: 39.0ms (0.4% of total)

explain18.0s (4.4%)

Results
5.7s18102×256valid
3.7s1512×1024valid
1.4s970×512valid
2.0s868×2048valid
83.0ms52×4096valid
Compiler

Compiled 7687 to 4921 computations (36% saved)

Precisions
Click to see histograms. Total time spent on operations: 10.7s
ival-mult: 3.3s (30.9% of total)
ival-pow: 1.7s (15.9% of total)
ival-add: 1.4s (13.5% of total)
ival-div: 1.4s (13.3% of total)
ival-sub: 1.2s (11.1% of total)
ival-tan: 542.0ms (5.1% of total)
ival-sin: 307.0ms (2.9% of total)
const: 255.0ms (2.4% of total)
ival-log: 114.0ms (1.1% of total)
ival-exp: 112.0ms (1% of total)
ival-neg: 111.0ms (1% of total)
ival-cos: 94.0ms (0.9% of total)
ival-sqrt: 68.0ms (0.6% of total)
ival-atan: 28.0ms (0.3% of total)
<compiled-spec>: 12.0ms (0.1% of total)
ival-pi: 2.0ms (0% of total)

preprocess10.9s (2.6%)

Algorithm
42×egg-herbie
Rules
18568×fma-define
18480×fma-neg
9939×unsub-neg
9280×sub-neg
7631×distribute-rgt-in
Stop Event
20×saturated
22×node limit
Compiler

Compiled 31218 to 19542 computations (37.4% saved)

analyze10.7s (2.6%)

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
48.1%25.7%27.7%45.5%0%1.2%0%3
57.5%30.5%22.6%45.5%0%1.5%0%4
71.1%37.5%15.3%45.6%0%1.7%0%5
72.9%38.4%14.3%45.6%0%1.7%0%6
77.8%40.7%11.6%45.6%0%2.1%0%7
81.5%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 1017 computations (29.4% saved)

Precisions
Click to see histograms. Total time spent on operations: 7.8s
ival-add: 1.4s (18.4% of total)
ival-sqrt: 1.4s (17.8% of total)
ival-mult: 1.4s (17.3% of total)
ival-div: 1.1s (13.5% of total)
ival-pow: 820.0ms (10.5% of total)
ival-sub: 746.0ms (9.6% of total)
ival-fabs: 335.0ms (4.3% of total)
ival-if: 161.0ms (2.1% of total)
ival-exp: 157.0ms (2% of total)
const: 149.0ms (1.9% of total)
ival-<=: 84.0ms (1.1% of total)
ival-==: 49.0ms (0.6% of total)
ival-neg: 28.0ms (0.4% of total)
ival-<: 21.0ms (0.3% of total)
ival-and: 16.0ms (0.2% of total)
ival-pi: 5.0ms (0.1% of total)
ival-cos: 2.0ms (0% of total)
ival-atan: 1.0ms (0% of total)
ival-log: 1.0ms (0% of total)
<compiled-spec>: 0.0ms (0% of total)
ival-tan: 0.0ms (0% of total)
ival-sin: 0.0ms (0% of total)

regimes10.6s (2.6%)

Counts
4978 → 713
Calls

94 calls:

1.4s
a
1.3s
x1
1.0s
x
879.0ms
d
739.0ms
b
Compiler

Compiled 4573 to 3274 computations (28.4% saved)

series5.5s (1.3%)

Counts
999 → 20804
Calls

5280 calls:

TimeVariablePointExpression
231.0ms
b
@0
(* (* (PI) 1/2) (/ (+ (/ 1 a) (/ -1 b)) (- (* b b) (* a a))))
230.0ms
x
@0
(- x (* (sqrt (pow (- (pow x 2) eps) 1/4)) (sqrt (pow (- (pow x 2) eps) 3/4))))
132.0ms
w
@0
(* (* w (/ r (- 1 v))) r)
97.0ms
x
@-inf
(- (* x x) eps)
76.0ms
x
@-inf
(+ (* (+ 1 (/ 1 eps)) (pow (exp x) (+ eps -1))) (/ (+ 1 (/ -1 eps)) (exp (+ (* eps x) x))))

end0.0ms (0%)

Profiling

Loading profile data...