Herbie run

Date:Wednesday, March 6th, 2024
Commit:520154c9 on zane-regimes-inverted
Hostname:nightly with Racket 8.11.1
Seed:2024066
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: 11.3min)

sample3.3min (29.2%)

Results
1.3min373165×256valid
15.1s72096×256infinite
7.2s10653×1024valid
1.2min7813×8192exit
2.6s7199×512valid
4.3s4431×512infinite
689.0ms4191×256unsamplable
1.0s1878×2048valid
578.0ms1082×4096valid
66.0ms495×256invalid
97.0ms90×1024infinite
Precisions
Click to see histograms. Total time spent on operations: 2.1min
Operation ival-sin, time spent: 48.6s, 38.0% of total-time
Operation ival-mult, time spent: 20.8s, 16.0% of total-time
Operation ival-add, time spent: 11.9s, 9.0% of total-time
Operation ival-sub, time spent: 9.9s, 8.0% of total-time
Operation ival-div, time spent: 9.8s, 8.0% of total-time
Operation ival-pow, time spent: 5.8s, 5.0% of total-time
Operation ival-log, time spent: 3.4s, 3.0% of total-time
Operation ival-exp, time spent: 3.1s, 2.0% of total-time
Operation ival-sqrt, time spent: 2.8s, 2.0% of total-time
Operation const, time spent: 2.1s, 2.0% of total-time
Operation ival-atan2, time spent: 1.7s, 1.0% of total-time
Operation ival-cos, time spent: 1.7s, 1.0% of total-time
Operation ival-asin, time spent: 1.6s, 1.0% of total-time
Operation ival-pi, time spent: 985.0ms, 1.0% of total-time
Operation ival->, time spent: 713.0ms, 1.0% of total-time
Operation ival-asinh, time spent: 691.0ms, 1.0% of total-time
Operation ival-<=, time spent: 644.0ms, 1.0% of total-time
Operation ival->=, time spent: 389.0ms, 0.0% of total-time
Operation ival-acosh, time spent: 369.0ms, 0.0% of total-time
Operation ival-neg, time spent: 341.0ms, 0.0% of total-time
Operation ival-atanh, time spent: 270.0ms, 0.0% of total-time
Operation ival-and, time spent: 107.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 99.0ms, 0.0% of total-time
Bogosity

localize2.8min (24.4%)

Compiler

Compiled 47160 to 26608 computations (43.6% saved)

Precisions
Click to see histograms. Total time spent on operations: 2.0min
Operation ival-mult, time spent: 24.0s, 20.0% of total-time
Operation ival-pow, time spent: 19.6s, 16.0% of total-time
Operation composed, time spent: 13.7s, 11.0% of total-time
Operation ival-add, time spent: 12.6s, 11.0% of total-time
Operation ival-div, time spent: 12.4s, 10.0% of total-time
Operation ival-log, time spent: 9.6s, 8.0% of total-time
Operation ival-asin, time spent: 6.8s, 6.0% of total-time
Operation ival-sub, time spent: 6.3s, 5.0% of total-time
Operation ival-exp, time spent: 3.1s, 3.0% of total-time
Operation const, time spent: 2.8s, 2.0% of total-time
Operation ival-acos, time spent: 2.5s, 2.0% of total-time
Operation ival-sqrt, time spent: 2.5s, 2.0% of total-time
Operation ival-cos, time spent: 1.1s, 1.0% of total-time
Operation ival-cbrt, time spent: 914.0ms, 1.0% of total-time
Operation ival-sin, time spent: 654.0ms, 1.0% of total-time
Operation ival-atan2, time spent: 396.0ms, 0.0% of total-time
Operation ival-neg, time spent: 238.0ms, 0.0% of total-time
Operation ival-copysign, time spent: 141.0ms, 0.0% of total-time
Operation ival-pi, time spent: 133.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 96.0ms, 0.0% of total-time

eval1.1min (10.2%)

Compiler

Compiled 3026475 to 1972253 computations (34.8% saved)

simplify48.6s (7.2%)

Algorithm
220×egg-herbie
Rules
106347×fma-define
87457×fma-neg
82529×*-commutative
81624×distribute-lft-in
78774×associate-*r*
Stop Event
57×saturated
34×fuel
155×node limit
8×unsound
23×done
Counts
65722 → 59387
Compiler

Compiled 11143 to 7813 computations (29.9% saved)

soundness45.9s (6.8%)

Rules
105964×fma-define
93389×fma-neg
72945×associate-*r*
65578×distribute-lft-in
61861×distribute-rgt-in
Stop Event
20×saturated
173×node limit
12×unsound
Compiler

Compiled 44204 to 28036 computations (36.6% saved)

preprocess39.3s (5.8%)

Algorithm
57×egg-herbie
Rules
40033×fma-neg
38663×fma-define
19396×unsub-neg
17401×distribute-lft-in
16736×sub-neg
Stop Event
32×saturated
25×node limit
Compiler

Compiled 48345 to 28708 computations (40.6% saved)

Precisions
Click to see histograms. Total time spent on operations: 12.7s
Operation ival-div, time spent: 2.7s, 21.0% of total-time
Operation ival-mult, time spent: 2.7s, 21.0% of total-time
Operation ival-add, time spent: 2.2s, 17.0% of total-time
Operation ival-sub, time spent: 1.8s, 15.0% of total-time
Operation ival-log, time spent: 596.0ms, 5.0% of total-time
Operation ival-pow, time spent: 511.0ms, 4.0% of total-time
Operation const, time spent: 479.0ms, 4.0% of total-time
Operation ival-sqrt, time spent: 305.0ms, 2.0% of total-time
Operation ival-exp, time spent: 281.0ms, 2.0% of total-time
Operation ival-sin, time spent: 281.0ms, 2.0% of total-time
Operation composed, time spent: 275.0ms, 2.0% of total-time
Operation ival-asin, time spent: 247.0ms, 2.0% of total-time
Operation ival-cos, time spent: 111.0ms, 1.0% of total-time
Operation ival-atan2, time spent: 84.0ms, 1.0% of total-time
Operation ival-pi, time spent: 74.0ms, 1.0% of total-time
Operation ival-neg, time spent: 39.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 12.0ms, 0.0% of total-time
Operation ival-copysign, time spent: 7.0ms, 0.0% of total-time

regimes34.2s (5%)

Counts
8022 → 580
Calls

130 calls:

3.4s
y.im
3.3s
y.re
3.1s
x.im
2.9s
im
2.1s
alpha
Compiler

Compiled 8353 to 5844 computations (30% saved)

rewrite34.2s (5%)

Algorithm
163×batch-egg-rewrite
Rules
114591×log1p-expm1-u
84720×expm1-log1p-u
46652×log-prod
43271×prod-diff
38349×unpow-prod-down
Stop Event
155×node limit
8×unsound
Counts
1296 → 40251

prune23.2s (3.4%)

Counts
87745 → 2602
Compiler

Compiled 122102 to 85984 computations (29.6% saved)

series11.9s (1.8%)

Counts
1296 → 25471
Calls

6450 calls:

TimeVariablePointExpression
191.0ms
y.im
@inf
(pow (exp y.im) (atan2 x.im x.re))
168.0ms
x.re
@0
(pow (exp y.im) (atan2 x.im x.re))
149.0ms
x.re
@inf
(cos (- (* y.re (atan2 x.im x.re)) (* y.im (log (/ -1 x.im)))))
146.0ms
x.im
@inf
(sin (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* y.re (atan2 x.im x.re))))
143.0ms
x
@-inf
(pow (+ 1/1000000000000000000000000000 (* x (+ 1692579537105327/500000000000000000000000000000000 (* x (+ 76395346384731119257981807445403/20000000000000000000000000000000000000000 (* x 1436724444675658595269319870008623951785001588969/1000000000000000000000000000000000000000000000000)))))) 1/3)

bsearch4.6s (0.7%)

Algorithm
136×binary-search
39×left-value
Stop Event
2×predicate-same
134×narrow-enough
Results
2.5s12012×256valid
621.0ms2667×256infinite
136.0ms309×1024valid
250.0ms269×2048valid
231.0ms257×512infinite
62.0ms178×512valid
25.0ms48×4096valid
4.0ms4×1024infinite
Compiler

Compiled 35540 to 25768 computations (27.5% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.9s
Operation ival-mult, time spent: 710.0ms, 38.0% of total-time
Operation ival-add, time spent: 278.0ms, 15.0% of total-time
Operation ival-div, time spent: 217.0ms, 12.0% of total-time
Operation ival-sub, time spent: 172.0ms, 9.0% of total-time
Operation ival-asin, time spent: 95.0ms, 5.0% of total-time
Operation ival-sin, time spent: 93.0ms, 5.0% of total-time
Operation ival-exp, time spent: 64.0ms, 3.0% of total-time
Operation ival-sqrt, time spent: 63.0ms, 3.0% of total-time
Operation ival-log, time spent: 51.0ms, 3.0% of total-time
Operation const, time spent: 42.0ms, 2.0% of total-time
Operation ival-cos, time spent: 38.0ms, 2.0% of total-time
Operation ival-atan2, time spent: 25.0ms, 1.0% of total-time
Operation ival-neg, time spent: 13.0ms, 1.0% of total-time
Operation ival-pi, time spent: 8.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 1.0ms, 0.0% of total-time

analyze4.1s (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 1007 computations (35.4% saved)

Precisions
Click to see histograms. Total time spent on operations: 2.6s
Operation ival-mult, time spent: 716.0ms, 28.0% of total-time
Operation ival-add, time spent: 343.0ms, 13.0% of total-time
Operation ival-atan2, time spent: 288.0ms, 11.0% of total-time
Operation ival-log, time spent: 283.0ms, 11.0% of total-time
Operation ival-sub, time spent: 244.0ms, 9.0% of total-time
Operation ival-sqrt, time spent: 213.0ms, 8.0% of total-time
Operation ival-div, time spent: 132.0ms, 5.0% of total-time
Operation ival-pow, time spent: 78.0ms, 3.0% of total-time
Operation ival-exp, time spent: 71.0ms, 3.0% of total-time
Operation const, time spent: 63.0ms, 2.0% of total-time
Operation ival-sin, time spent: 55.0ms, 2.0% of total-time
Operation ival-cos, time spent: 43.0ms, 2.0% of total-time
Operation ival-pi, time spent: 16.0ms, 1.0% of total-time
Operation ival-<=, time spent: 14.0ms, 1.0% of total-time
Operation ival->, time spent: 11.0ms, 0.0% of total-time
Operation ival-neg, time spent: 6.0ms, 0.0% of total-time
Operation ival-and, time spent: 2.0ms, 0.0% of total-time
Operation ival-asin, time spent: 1.0ms, 0.0% of total-time
Operation ival-atanh, time spent: 1.0ms, 0.0% of total-time
Operation ival-asinh, time spent: 0.0ms, 0.0% of total-time
Operation ival->=, time spent: 0.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 0.0ms, 0.0% of total-time
Operation ival-acosh, time spent: 0.0ms, 0.0% of total-time

end21.0ms (0%)

Profiling

Loading profile data...