Herbie run

Date:Friday, April 5th, 2024
Commit:acfe549b on zane-regimes-flatten
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: 13.8min)

bsearch3.5min (25.5%)

Algorithm
6477×binary-search
369×left-value
Stop Event
318×predicate-same
6159×narrow-enough
Results
1.5min619409×0valid
1.1min129192×1valid
4.6s7575×2valid
Compiler

Compiled 1401477 to 956913 computations (31.7% saved)

Precisions
Click to see histograms. Total time spent on operations: 2.0min
ival-mult: 44.0s (37.4% of total)
ival-log: 12.7s (10.8% of total)
ival-add: 12.4s (10.5% of total)
ival-sin: 10.4s (8.8% of total)
ival-atan2: 7.6s (6.5% of total)
backward-pass: 7.2s (6.1% of total)
ival-sqrt: 6.4s (5.5% of total)
ival-sub: 5.9s (5% of total)
ival-exp: 4.9s (4.2% of total)
ival-div: 3.4s (2.9% of total)
ival-cos: 1.1s (0.9% of total)
const: 1.1s (0.9% of total)
ival-neg: 586.0ms (0.5% of total)
ival-pow: 45.0ms (0% of total)
ival-copysign: 20.0ms (0% of total)
ival-fabs: 15.0ms (0% of total)
ival-pi: 7.0ms (0% of total)

localize3.2min (23%)

Results
28.1s34170×256valid
6.2s4920×256invalid
27.2s2504×1024valid
30.1s1542×2048valid
1.0min1330×8192exit
7.6s1311×512valid
226.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.5min
ival-asin: 26.1s (17.5% of total)
ival-pow: 26.0s (17.5% of total)
ival-mult: 23.2s (15.6% of total)
ival-add: 15.3s (10.3% of total)
ival-div: 12.2s (8.2% of total)
ival-sub: 9.1s (6.1% of total)
ival-log: 8.7s (5.8% of total)
<compiled-spec>: 8.6s (5.8% of total)
ival-acos: 5.5s (3.7% of total)
ival-sqrt: 3.8s (2.5% of total)
ival-exp: 3.5s (2.3% of total)
const: 2.6s (1.7% of total)
ival-sin: 1.0s (0.7% of total)
ival-copysign: 791.0ms (0.5% of total)
ival-cbrt: 750.0ms (0.5% of total)
ival-cos: 694.0ms (0.5% of total)
ival-neg: 547.0ms (0.4% of total)
ival-atan2: 332.0ms (0.2% of total)
ival-fabs: 187.0ms (0.1% of total)
ival-pi: 84.0ms (0.1% of total)
ival-e: 62.0ms (0% of total)

sample2.5min (17.8%)

Results
53.8s439300×0valid
11.7s25585×1valid
49.2s7872×5exit
2.8s5725×2valid
501.0ms4472×0unsamplable
46.0ms520×0invalid
Precisions
Click to see histograms. Total time spent on operations: 1.7min
ival-sin: 25.6s (25.8% of total)
ival-mult: 19.1s (19.2% of total)
backward-pass: 11.4s (11.5% of total)
ival-add: 10.4s (10.5% of total)
ival-sub: 7.5s (7.6% of total)
ival-div: 7.0s (7% of total)
ival-exp: 2.7s (2.7% of total)
ival-pow: 2.1s (2.1% of total)
ival-log: 2.0s (2% of total)
ival-sqrt: 2.0s (2% of total)
ival->: 1.8s (1.8% of total)
const: 1.6s (1.6% of total)
ival-cos: 1.2s (1.2% of total)
ival-asin: 1.2s (1.2% of total)
ival-atan2: 760.0ms (0.8% of total)
ival-pi: 532.0ms (0.5% of total)
ival-acosh: 511.0ms (0.5% of total)
ival-<=: 440.0ms (0.4% of total)
ival-neg: 389.0ms (0.4% of total)
ival-atanh: 366.0ms (0.4% of total)
ival-fabs: 298.0ms (0.3% of total)
ival-asinh: 286.0ms (0.3% of total)
ival->=: 145.0ms (0.1% of total)
ival-and: 88.0ms (0.1% of total)
Bogosity

simplify1.2min (9%)

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

soundness44.0s (5.3%)

Rules
56396×fma-define
51689×log1p-expm1-u
47153×fma-neg
38320×associate-*r*
35829×expm1-log1p-u
Stop Event
19×saturated
182×node limit
34×fuel
7×unsound
22×done
Compiler

Compiled 99938 to 53677 computations (46.3% saved)

eval43.0s (5.2%)

Compiler

Compiled 2992900 to 1943316 computations (35.1% saved)

rewrite33.7s (4.1%)

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

prune21.9s (2.6%)

Counts
89499 → 2788
Compiler

Compiled 134435 to 94349 computations (29.8% saved)

explain20.4s (2.5%)

Results
7.3s26098×256valid
5.0s1864×1024valid
1.1s908×512valid
450.0ms242×2048valid
47.0ms70×4096valid
4.0ms2×8192exit
Compiler

Compiled 13779 to 6602 computations (52.1% saved)

Precisions
Click to see histograms. Total time spent on operations: 11.0s
ival-mult: 2.5s (22.3% of total)
ival-add: 2.2s (19.8% of total)
ival-div: 1.7s (15.1% of total)
ival-sub: 1.5s (14% of total)
ival-log: 544.0ms (5% of total)
ival-sqrt: 536.0ms (4.9% of total)
ival-asin: 369.0ms (3.4% of total)
const: 358.0ms (3.3% of total)
ival-pow: 338.0ms (3.1% of total)
ival-exp: 330.0ms (3% of total)
<compiled-spec>: 264.0ms (2.4% of total)
ival-sin: 107.0ms (1% of total)
ival-neg: 88.0ms (0.8% of total)
ival-cos: 88.0ms (0.8% of total)
ival-atan2: 64.0ms (0.6% of total)
ival-fabs: 32.0ms (0.3% of total)
ival-pi: 20.0ms (0.2% of total)
ival-copysign: 16.0ms (0.1% of total)

preprocess16.6s (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 124880 to 59230 computations (52.6% saved)

series12.2s (1.5%)

Counts
1322 → 26271
Calls

6855 calls:

TimeVariablePointExpression
258.0ms
x
@-inf
(- 1 (/ (/ (+ 31853699/125000000 (/ (+ -8890523/31250000 (/ (+ 1421413741/1000000000 (/ (+ -1453152027/1000000000 (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1)) (pow (exp x) x)))
248.0ms
u2
@inf
(+ (* (* (/ 1 6) (pow (* -2 (log u1)) 1/2)) (cos (* (* 2 (PI)) u2))) 1/2)
208.0ms
x.im
@inf
(* (pow (sqrt (+ (* x.im x.im) (* x.re x.re))) y.re) (fabs (sin (+ (* y.im (log (sqrt (+ (* x.im x.im) (* x.re x.re))))) (* y.re (atan2 x.im x.re))))))
193.0ms
y.im
@inf
(/ (pow (sqrt (+ (* x.re x.re) (* x.im x.im))) y.re) (pow (exp y.im) (atan2 x.im x.re)))
159.0ms
x
@0
(* wj (+ (* x (+ 5/2 (* wj -8/3))) (+ 1 (neg wj))))

regimes8.7s (1.1%)

Counts
8520 → 7313
Calls

132 calls:

588.0ms
y.re
529.0ms
y.im
442.0ms
x
438.0ms
x.re
407.0ms
im
Compiler

Compiled 6452 to 4337 computations (32.8% saved)

analyze3.0s (0.4%)

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: 1.9s
ival-mult: 605.0ms (32.1% of total)
ival-add: 311.0ms (16.5% of total)
ival-sub: 200.0ms (10.6% of total)
ival-div: 172.0ms (9.1% of total)
ival-log: 149.0ms (7.9% of total)
ival-sqrt: 115.0ms (6.1% of total)
ival-atan2: 93.0ms (4.9% of total)
ival-pow: 71.0ms (3.8% of total)
ival-exp: 55.0ms (2.9% of total)
const: 41.0ms (2.2% of total)
ival-sin: 23.0ms (1.2% of total)
ival-cos: 15.0ms (0.8% of total)
ival->: 10.0ms (0.5% of total)
ival-<=: 10.0ms (0.5% of total)
ival-pi: 7.0ms (0.4% of total)
ival-neg: 6.0ms (0.3% of total)
ival-and: 2.0ms (0.1% of total)
ival-asin: 1.0ms (0.1% of total)
ival-atanh: 1.0ms (0.1% 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...