Herbie run

Date:Friday, April 5th, 2024
Commit:deef6326 on main
Hostname:nightly with Racket 8.11.1
Seed:2024096
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: 10.1min)

localize3.1min (30.8%)

Results
28.9s34170×256valid
5.8s4920×256invalid
24.5s2504×1024valid
29.1s1542×2048valid
57.2s1330×8192exit
7.6s1311×512valid
284.0ms204×256unsamplable
1.0s99×4096valid
Compiler

Compiled 49851 to 28578 computations (42.7% saved)

Precisions
Click to see histograms. Total time spent on operations: 2.4min
ival-pow: 25.8s (17.8% of total)
ival-asin: 24.7s (17% of total)
ival-mult: 21.9s (15.1% of total)
ival-add: 13.1s (9.1% of total)
ival-div: 11.8s (8.1% of total)
<compiled-spec>: 9.9s (6.8% of total)
ival-sub: 9.3s (6.4% of total)
ival-log: 9.1s (6.2% of total)
ival-acos: 5.8s (4% of total)
ival-sqrt: 3.6s (2.5% of total)
ival-exp: 3.5s (2.4% of total)
const: 2.5s (1.7% of total)
ival-sin: 1.2s (0.8% of total)
ival-cbrt: 901.0ms (0.6% of total)
ival-cos: 817.0ms (0.6% of total)
ival-neg: 487.0ms (0.3% of total)
ival-atan2: 206.0ms (0.1% of total)
ival-pi: 204.0ms (0.1% of total)
ival-fabs: 142.0ms (0.1% of total)
ival-copysign: 87.0ms (0.1% of total)
ival-e: 53.0ms (0% of total)

sample2.6min (25.3%)

Results
56.8s439300×0valid
11.0s25585×1valid
52.4s7872×5exit
2.9s5725×2valid
636.0ms4472×0unsamplable
51.0ms520×0invalid
Precisions
Click to see histograms. Total time spent on operations: 1.7min
ival-sin: 25.9s (24.9% of total)
ival-mult: 20.6s (19.7% of total)
backward-pass: 11.6s (11.2% of total)
ival-add: 11.0s (10.6% of total)
ival-sub: 8.4s (8.1% of total)
ival-div: 7.5s (7.2% of total)
ival-exp: 3.0s (2.9% of total)
ival-log: 2.4s (2.3% of total)
ival-sqrt: 2.2s (2.1% of total)
ival-cos: 2.1s (2% of total)
ival-pow: 2.1s (2% of total)
const: 1.6s (1.5% of total)
ival-asin: 1.3s (1.2% of total)
ival-atan2: 816.0ms (0.8% of total)
ival->: 693.0ms (0.7% of total)
ival-<=: 623.0ms (0.6% of total)
ival-pi: 584.0ms (0.6% of total)
ival-neg: 398.0ms (0.4% of total)
ival-atanh: 358.0ms (0.3% of total)
ival-acosh: 258.0ms (0.2% of total)
ival-asinh: 227.0ms (0.2% of total)
ival-fabs: 215.0ms (0.2% of total)
ival->=: 134.0ms (0.1% of total)
ival-and: 87.0ms (0.1% of total)
Bogosity

simplify51.5s (8.5%)

Algorithm
220×egg-herbie
Rules
56508×fma-define
46807×fma-neg
46743×distribute-lft-in
43964×*-commutative
42119×associate-*r*
Stop Event
57×saturated
154×node limit
9×unsound
Counts
66914 → 62252

eval42.8s (7.1%)

Compiler

Compiled 2992900 to 1943316 computations (35.1% saved)

soundness42.0s (7%)

Rules
52749×fma-define
48655×log1p-expm1-u
44327×fma-neg
36544×associate-*r*
35570×expm1-log1p-u
Stop Event
19×saturated
173×node limit
35×fuel
7×unsound
22×done
Compiler

Compiled 49451 to 30206 computations (38.9% saved)

rewrite34.9s (5.8%)

Algorithm
163×batch-egg-rewrite
Rules
113294×log1p-expm1-u
82419×expm1-log1p-u
35788×pow1
32584×add-exp-log
31874×prod-diff
Stop Event
158×node limit
5×unsound
Counts
1322 → 40643

explain22.0s (3.6%)

Results
7.7s26098×256valid
5.2s1864×1024valid
1.3s908×512valid
409.0ms242×2048valid
45.0ms70×4096valid
6.0ms2×8192exit
Compiler

Compiled 13779 to 6602 computations (52.1% saved)

Precisions
Click to see histograms. Total time spent on operations: 11.5s
ival-mult: 2.7s (23.2% of total)
ival-add: 2.2s (19.2% of total)
ival-sub: 2.0s (17.2% of total)
ival-div: 1.5s (13.3% of total)
ival-log: 535.0ms (4.6% of total)
ival-pow: 420.0ms (3.6% of total)
ival-sqrt: 408.0ms (3.5% of total)
ival-exp: 388.0ms (3.4% of total)
const: 355.0ms (3.1% of total)
ival-asin: 352.0ms (3.1% of total)
<compiled-spec>: 253.0ms (2.2% of total)
ival-cos: 140.0ms (1.2% of total)
ival-sin: 104.0ms (0.9% of total)
ival-atan2: 55.0ms (0.5% of total)
ival-neg: 49.0ms (0.4% of total)
ival-pi: 27.0ms (0.2% of total)
ival-fabs: 22.0ms (0.2% of total)
ival-copysign: 14.0ms (0.1% of total)

prune21.9s (3.6%)

Counts
89499 → 2788
Compiler

Compiled 134435 to 94349 computations (29.8% saved)

series12.6s (2.1%)

Counts
1322 → 26271
Calls

6855 calls:

TimeVariablePointExpression
321.0ms
re
@inf
(log (pow base (/ 1 (atan2 im re))))
247.0ms
x.im
@-inf
(/ (- x.im (/ (* y.im x.re) y.re)) y.re)
241.0ms
alpha
@0
(+ (* (+ alpha beta) (/ (/ (- beta alpha) (+ alpha (+ beta (+ (* 2 i) 2)))) (+ alpha (+ (* 2 i) beta)))) 1)
225.0ms
base
@inf
(exp (neg (log (log base))))
200.0ms
y.re
@inf
(/ (pow (sqrt (+ (* x.re x.re) (* x.im x.im))) y.re) (pow (exp y.im) (atan2 x.im x.re)))

regimes12.4s (2%)

Counts
6475 → 734
Calls

132 calls:

1.2s
x
1.1s
y.im
965.0ms
y.re
690.0ms
im
649.0ms
x.re
Compiler

Compiled 5958 to 4077 computations (31.6% saved)

preprocess12.1s (2%)

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 31786 to 17784 computations (44.1% saved)

bsearch9.6s (1.6%)

Algorithm
324×binary-search
33×left-value
Stop Event
23×predicate-same
301×narrow-enough
Results
5.2s35822×0valid
1.7s3171×1valid
43.0ms127×2valid
Compiler

Compiled 79217 to 54684 computations (31% saved)

Precisions
Click to see histograms. Total time spent on operations: 4.9s
ival-mult: 1.8s (35.8% of total)
ival-add: 707.0ms (14.3% of total)
ival-sin: 505.0ms (10.2% of total)
ival-div: 371.0ms (7.5% of total)
ival-log: 363.0ms (7.3% of total)
ival-atan2: 242.0ms (4.9% of total)
ival-sub: 229.0ms (4.6% of total)
ival-exp: 176.0ms (3.6% of total)
backward-pass: 162.0ms (3.3% of total)
ival-sqrt: 154.0ms (3.1% of total)
ival-cos: 98.0ms (2% of total)
const: 96.0ms (1.9% of total)
ival-copysign: 26.0ms (0.5% of total)
ival-neg: 18.0ms (0.4% of total)
ival-fabs: 15.0ms (0.3% of total)
ival-pow: 13.0ms (0.3% of total)
ival-pi: 2.0ms (0% of total)

analyze3.3s (0.5%)

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.1s
ival-mult: 622.0ms (30.3% of total)
ival-add: 367.0ms (17.9% of total)
ival-sub: 315.0ms (15.3% of total)
ival-log: 157.0ms (7.6% of total)
ival-div: 123.0ms (6% of total)
ival-sqrt: 117.0ms (5.7% of total)
ival-atan2: 99.0ms (4.8% of total)
ival-pow: 68.0ms (3.3% of total)
ival-exp: 57.0ms (2.8% of total)
const: 41.0ms (2% of total)
ival-sin: 28.0ms (1.4% of total)
ival->: 18.0ms (0.9% of total)
ival-cos: 15.0ms (0.7% of total)
ival-<=: 10.0ms (0.5% of total)
ival-pi: 7.0ms (0.3% 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...