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: 9.5min)

sample2.6min (27%)

Results
56.5s439300×0valid
10.6s25569×1valid
51.7s7801×5exit
3.0s5739×2valid
745.0ms4531×0unsamplable
99.0ms526×0invalid
Precisions
Click to see histograms. Total time spent on operations: 1.7min
ival-sin: 25.5s (25.2% of total)
ival-mult: 19.5s (19.3% of total)
ival-add: 11.4s (11.3% of total)
backward-pass: 10.6s (10.5% of total)
ival-sub: 8.2s (8.1% of total)
ival-div: 7.2s (7.1% of total)
ival-exp: 3.2s (3.1% of total)
ival-pow: 2.4s (2.4% of total)
ival-log: 2.3s (2.3% of total)
ival-sqrt: 2.1s (2% of total)
const: 1.7s (1.7% of total)
ival-asin: 1.2s (1.2% of total)
ival-cos: 1.2s (1.2% of total)
ival-atan2: 1.1s (1.1% of total)
ival-<=: 700.0ms (0.7% of total)
ival->: 673.0ms (0.7% of total)
ival-pi: 605.0ms (0.6% of total)
ival-neg: 485.0ms (0.5% of total)
ival-asinh: 283.0ms (0.3% of total)
ival-acosh: 270.0ms (0.3% of total)
ival-fabs: 203.0ms (0.2% of total)
ival->=: 150.0ms (0.1% of total)
ival-atanh: 144.0ms (0.1% of total)
ival-and: 93.0ms (0.1% of total)
Bogosity

localize2.3min (24.1%)

Results
37.5s36584×256valid
6.1s4653×256invalid
13.2s1833×1024valid
24.7s1433×2048valid
4.5s1131×512valid
20.6s755×8192exit
1.4s252×256unsamplable
1.4s120×4096valid
173.0ms57×1024invalid
42.0ms24×512invalid
27.0ms5×2048invalid
9.0ms1×8192valid
Compiler

Compiled 49007 to 28249 computations (42.4% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.7min
ival-mult: 19.8s (19% of total)
ival-asin: 14.1s (13.6% of total)
ival-pow: 13.2s (12.7% of total)
<compiled-spec>: 11.8s (11.4% of total)
ival-add: 11.0s (10.6% of total)
ival-div: 8.9s (8.6% of total)
ival-sub: 6.1s (5.9% of total)
ival-log: 5.2s (5% of total)
ival-sqrt: 3.5s (3.3% of total)
ival-exp: 3.2s (3% of total)
ival-acos: 2.5s (2.4% of total)
const: 2.0s (1.9% of total)
ival-cos: 858.0ms (0.8% of total)
ival-sin: 494.0ms (0.5% of total)
ival-cbrt: 429.0ms (0.4% of total)
ival-neg: 411.0ms (0.4% of total)
ival-atan2: 190.0ms (0.2% of total)
ival-copysign: 102.0ms (0.1% of total)
ival-fabs: 95.0ms (0.1% of total)
ival-pi: 56.0ms (0.1% of total)

simplify51.5s (9%)

Algorithm
222×egg-herbie
Rules
59485×fma-define
52051×distribute-lft-in
45642×fma-neg
45580×distribute-rgt-in
44339×associate-*r*
Stop Event
57×saturated
159×node limit
6×unsound
Counts
62764 → 59314

eval48.3s (8.5%)

Compiler

Compiled 3255579 to 2121010 computations (34.8% saved)

soundness44.2s (7.7%)

Rules
56750×log1p-expm1-u
55213×fma-define
47412×fma-neg
42706×expm1-log1p-u
39336×associate-*r*
Stop Event
20×saturated
36×fuel
182×node limit
6×unsound
21×done
Compiler

Compiled 52282 to 30854 computations (41% saved)

rewrite33.7s (5.9%)

Algorithm
165×batch-egg-rewrite
Rules
117912×log1p-expm1-u
89400×expm1-log1p-u
34161×pow1
31538×add-exp-log
29546×add-log-exp
Stop Event
158×node limit
7×unsound
Counts
1258 → 38000

prune24.0s (4.2%)

Counts
85873 → 2921
Compiler

Compiled 141669 to 101398 computations (28.4% saved)

explain21.5s (3.8%)

Results
7.1s26138×256valid
5.0s1766×1024valid
1.5s930×512valid
1.1s278×2048valid
53.0ms72×4096valid
Compiler

Compiled 13779 to 6602 computations (52.1% saved)

Precisions
Click to see histograms. Total time spent on operations: 11.4s
ival-mult: 2.4s (21.4% of total)
ival-div: 2.1s (18.3% of total)
ival-add: 2.0s (17.3% of total)
ival-sub: 1.9s (16.2% of total)
ival-pow: 749.0ms (6.5% of total)
ival-log: 514.0ms (4.5% of total)
const: 388.0ms (3.4% of total)
ival-sqrt: 279.0ms (2.4% of total)
ival-exp: 247.0ms (2.2% of total)
<compiled-spec>: 240.0ms (2.1% of total)
ival-asin: 215.0ms (1.9% of total)
ival-sin: 179.0ms (1.6% of total)
ival-cos: 90.0ms (0.8% of total)
ival-atan2: 64.0ms (0.6% of total)
ival-neg: 53.0ms (0.5% of total)
ival-fabs: 22.0ms (0.2% of total)
ival-pi: 20.0ms (0.2% of total)
ival-copysign: 15.0ms (0.1% of total)

regimes15.4s (2.7%)

Counts
7080 → 858
Calls

132 calls:

2.7s
y.im
1.5s
x.re
1.1s
y.re
1.1s
x.im
995.0ms
x
Compiler

Compiled 6413 to 4303 computations (32.9% saved)

preprocess13.0s (2.3%)

Algorithm
57×egg-herbie
Rules
20546×fma-neg
20224×fma-define
10466×unsub-neg
9196×sub-neg
8861×distribute-lft-in
Stop Event
32×saturated
25×node limit
Compiler

Compiled 34316 to 18644 computations (45.7% saved)

series12.5s (2.2%)

Counts
1258 → 24764
Calls

6366 calls:

TimeVariablePointExpression
282.0ms
beta
@inf
(/ (+ 1 (pow (* (- beta alpha) (/ (/ (+ alpha beta) (+ (+ (* 2 i) alpha) beta)) (+ (+ alpha beta) (+ (* 2 i) 2)))) 3)) (+ (pow (* (- beta alpha) (/ (/ (+ alpha beta) (+ (+ (* 2 i) alpha) beta)) (+ (+ alpha beta) (+ (* 2 i) 2)))) 2) (- 1 (* (- beta alpha) (/ (/ (+ alpha beta) (+ (+ (* 2 i) alpha) beta)) (+ (+ alpha beta) (+ (* 2 i) 2)))))))
232.0ms
x.im
@0
(sin (+ (* (log (neg x.re)) y.im) (* (atan2 x.im x.re) y.re)))
213.0ms
im
@0
(/ (log im) (log 10))
210.0ms
y.im
@-inf
(pow (exp y.im) (atan2 x.im x.re))
192.0ms
y.im
@inf
(pow (cbrt (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re))) 2)

bsearch11.2s (2%)

Algorithm
408×binary-search
54×left-value
Stop Event
25×predicate-same
383×narrow-enough
Results
5.7s40585×0valid
2.2s4460×1valid
174.0ms459×2valid
Compiler

Compiled 90042 to 61459 computations (31.7% saved)

Precisions
Click to see histograms. Total time spent on operations: 5.8s
ival-mult: 1.9s (33% of total)
ival-sin: 875.0ms (15.1% of total)
ival-add: 563.0ms (9.7% of total)
ival-log: 427.0ms (7.4% of total)
ival-sub: 359.0ms (6.2% of total)
ival-sqrt: 287.0ms (4.9% of total)
ival-div: 269.0ms (4.6% of total)
ival-exp: 267.0ms (4.6% of total)
ival-atan2: 260.0ms (4.5% of total)
backward-pass: 238.0ms (4.1% of total)
ival-cos: 173.0ms (3% of total)
const: 85.0ms (1.5% of total)
ival-fabs: 25.0ms (0.4% of total)
ival-neg: 24.0ms (0.4% of total)
ival-copysign: 20.0ms (0.3% of total)
ival-asin: 16.0ms (0.3% of total)
ival-pi: 2.0ms (0% of total)

analyze3.6s (0.6%)

Algorithm
58×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%86.3%13.7%0%0%0%0
55.6%48%38.3%13.7%0%0%0%1
64.1%54.2%30.4%13.7%0%1.7%0%2
72%59%23%13.7%0%4.3%0%3
77.8%62.3%17.8%13.7%0%6.2%0%4
83.7%67%13%13.7%0%6.3%0%5
85.9%68.4%11.2%13.7%0%6.6%0%6
88.3%70.3%9.3%13.7%0%6.6%0%7
90%71.6%8%13.7%0%6.8%0%8
91.2%72.5%7%13.7%0%6.8%0%9
92.6%73.6%5.9%13.7%0%6.8%0%10
94%74.7%4.8%13.7%0%6.8%0%11
94.5%75.1%4.4%13.7%0%6.9%0%12
Compiler

Compiled 1558 to 994 computations (36.2% saved)

Precisions
Click to see histograms. Total time spent on operations: 2.3s
ival-mult: 570.0ms (24.9% of total)
ival-add: 536.0ms (23.5% of total)
ival-sub: 287.0ms (12.6% of total)
ival-div: 173.0ms (7.6% of total)
ival-log: 150.0ms (6.6% of total)
ival-sqrt: 142.0ms (6.2% of total)
ival-exp: 127.0ms (5.6% of total)
ival-pow: 95.0ms (4.2% of total)
ival-atan2: 81.0ms (3.5% of total)
const: 44.0ms (1.9% of total)
ival-sin: 25.0ms (1.1% of total)
ival-cos: 15.0ms (0.7% of total)
ival->: 11.0ms (0.5% of total)
ival-<=: 10.0ms (0.4% of total)
ival-pi: 8.0ms (0.4% of total)
ival-neg: 7.0ms (0.3% of total)
ival-and: 1.0ms (0% of total)
ival-asin: 1.0ms (0% of total)
ival-atanh: 1.0ms (0% of total)
ival-asinh: 0.0ms (0% of total)
ival->=: 0.0ms (0% of total)
ival-fabs: 0.0ms (0% of total)
ival-acosh: 0.0ms (0% of total)

end0.0ms (0%)

Profiling

Loading profile data...