Herbie run

Date:Sunday, April 21st, 2024
Commit:fa400dbf on varun10p-platforms
Hostname:nightly with Racket 8.11.1
Seed:2024112
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.7min)

sample3.3min (30.5%)

Results
1.2min373322×256valid
15.9s72148×256infinite
6.6s10634×1024valid
1.2min7648×8192exit
2.7s7096×512valid
1.4s5711×256unsamplable
4.8s4433×512infinite
1.3s1910×2048valid
644.0ms1010×4096valid
71.0ms511×256invalid
109.0ms104×1024infinite
Precisions
Click to see histograms. Total time spent on operations: 2.1min
Operation ival-sin, time spent: 47.7s, 38.0% of total-time
Operation ival-mult, time spent: 21.0s, 17.0% of total-time
Operation ival-add, time spent: 11.4s, 9.0% of total-time
Operation ival-sub, time spent: 9.7s, 8.0% of total-time
Operation ival-div, time spent: 9.4s, 7.0% of total-time
Operation ival-pow, time spent: 5.6s, 4.0% of total-time
Operation ival-log, time spent: 3.3s, 3.0% of total-time
Operation ival-sqrt, time spent: 2.9s, 2.0% of total-time
Operation ival-exp, time spent: 2.9s, 2.0% of total-time
Operation const, time spent: 2.2s, 2.0% of total-time
Operation ival-cos, time spent: 1.9s, 1.0% of total-time
Operation ival-asin, time spent: 1.4s, 1.0% of total-time
Operation ival-atan2, time spent: 1.2s, 1.0% of total-time
Operation ival-acosh, time spent: 859.0ms, 1.0% of total-time
Operation ival-pi, time spent: 771.0ms, 1.0% of total-time
Operation ival->, time spent: 683.0ms, 1.0% of total-time
Operation ival-atanh, time spent: 520.0ms, 0.0% of total-time
Operation ival-asinh, time spent: 509.0ms, 0.0% of total-time
Operation ival-<=, time spent: 480.0ms, 0.0% of total-time
Operation ival-neg, time spent: 379.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 236.0ms, 0.0% of total-time
Operation ival->=, time spent: 152.0ms, 0.0% of total-time
Operation ival-and, time spent: 106.0ms, 0.0% of total-time
Bogosity

localize2.7min (25.1%)

Compiler

Compiled 44536 to 25114 computations (43.6% saved)

Precisions
Click to see histograms. Total time spent on operations: 2.0min
Operation ival-mult, time spent: 21.4s, 18.0% of total-time
Operation ival-pow, time spent: 16.9s, 14.0% of total-time
Operation ival-asin, time spent: 15.1s, 13.0% of total-time
Operation composed, time spent: 12.0s, 10.0% of total-time
Operation ival-add, time spent: 10.7s, 9.0% of total-time
Operation ival-log, time spent: 10.1s, 8.0% of total-time
Operation ival-div, time spent: 8.2s, 7.0% of total-time
Operation ival-acos, time spent: 5.8s, 5.0% of total-time
Operation ival-sub, time spent: 5.8s, 5.0% of total-time
Operation ival-exp, time spent: 5.0s, 4.0% of total-time
Operation ival-sqrt, time spent: 3.0s, 2.0% of total-time
Operation const, time spent: 2.6s, 2.0% of total-time
Operation ival-cos, time spent: 1.8s, 1.0% of total-time
Operation ival-sin, time spent: 802.0ms, 1.0% of total-time
Operation ival-atan2, time spent: 386.0ms, 0.0% of total-time
Operation ival-neg, time spent: 296.0ms, 0.0% of total-time
Operation ival-cbrt, time spent: 263.0ms, 0.0% of total-time
Operation ival-pi, time spent: 127.0ms, 0.0% of total-time
Operation ival-copysign, time spent: 93.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 89.0ms, 0.0% of total-time

eval1.0min (9.6%)

Compiler

Compiled 2795740 to 1795498 computations (35.8% saved)

simplify50.4s (7.8%)

Algorithm
223×egg-herbie
Rules
62996×fma-define
50543×fmm-def
47786×associate-*r*
45076×*-commutative
44545×distribute-lft-in
Stop Event
57×saturated
159×node limit
35×fuel
7×unsound
22×done
Counts
67243 → 61218
Compiler

Compiled 8403 to 5556 computations (33.9% saved)

soundness40.6s (6.3%)

Rules
57106×fma-define
48137×fmm-def
44164×log1p-expm1-u
38702×associate-*r*
33592×distribute-lft-in
Stop Event
20×saturated
171×node limit
8×unsound
Compiler

Compiled 31091 to 18401 computations (40.8% saved)

preprocess38.6s (6%)

Algorithm
57×egg-herbie
Rules
20513×fmm-def
20193×fma-define
9595×unsub-neg
9128×sub-neg
8864×distribute-lft-in
Stop Event
32×saturated
25×node limit
Compiler

Compiled 41933 to 23326 computations (44.4% saved)

Precisions
Click to see histograms. Total time spent on operations: 12.5s
Operation ival-mult, time spent: 3.3s, 26.0% of total-time
Operation ival-add, time spent: 2.3s, 19.0% of total-time
Operation ival-sub, time spent: 1.9s, 16.0% of total-time
Operation ival-div, time spent: 1.7s, 14.0% of total-time
Operation ival-log, time spent: 578.0ms, 5.0% of total-time
Operation ival-sqrt, time spent: 489.0ms, 4.0% of total-time
Operation const, time spent: 468.0ms, 4.0% of total-time
Operation ival-pow, time spent: 384.0ms, 3.0% of total-time
Operation composed, time spent: 297.0ms, 2.0% of total-time
Operation ival-exp, time spent: 259.0ms, 2.0% of total-time
Operation ival-asin, time spent: 238.0ms, 2.0% of total-time
Operation ival-cos, time spent: 112.0ms, 1.0% of total-time
Operation ival-atan2, time spent: 103.0ms, 1.0% of total-time
Operation ival-sin, time spent: 103.0ms, 1.0% of total-time
Operation ival-neg, time spent: 42.0ms, 0.0% of total-time
Operation ival-pi, time spent: 26.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 23.0ms, 0.0% of total-time
Operation ival-copysign, time spent: 14.0ms, 0.0% of total-time

rewrite34.8s (5.4%)

Algorithm
166×batch-egg-rewrite
Rules
106329×log1p-expm1-u
81649×expm1-log1p-u
34738×pow1
33011×add-exp-log
32412×prod-diff
Stop Event
158×node limit
8×unsound
Counts
1277 → 41266

prune22.7s (3.5%)

Counts
87272 → 2642
Compiler

Compiled 121579 to 85043 computations (30.1% saved)

series11.8s (1.8%)

Counts
1277 → 25977
Calls

6738 calls:

TimeVariablePointExpression
286.0ms
x.im
@0
(cos (+ (* y.im (log x.im)) (* y.re (atan2 x.im x.re))))
268.0ms
im
@inf
(log (pow base (/ 1 (atan2 im re))))
178.0ms
y.im
@-inf
(pow (sqrt (exp y.im)) (* 2 (atan2 x.im x.re)))
136.0ms
x
@inf
(log (+ 1 (fabs x)))
126.0ms
u1
@inf
(log (* 1/6 (sqrt (* -2 (log u1)))))

regimes10.6s (1.6%)

Counts
5171 → 647
Calls

130 calls:

1.2s
y.im
958.0ms
im
937.0ms
y.re
892.0ms
x.im
725.0ms
x.re
Compiler

Compiled 5617 to 3816 computations (32.1% saved)

bsearch9.7s (1.5%)

Algorithm
278×binary-search
30×left-value
Stop Event
13×predicate-same
265×narrow-enough
Results
5.3s23787×256valid
1.3s5677×256infinite
1.3s1049×512infinite
235.0ms697×1024valid
159.0ms483×512valid
162.0ms324×2048valid
24.0ms41×4096valid
22.0ms22×1024infinite
Compiler

Compiled 55246 to 39429 computations (28.6% saved)

Precisions
Click to see histograms. Total time spent on operations: 4.9s
Operation ival-mult, time spent: 2.2s, 44.0% of total-time
Operation ival-add, time spent: 744.0ms, 15.0% of total-time
Operation ival-log, time spent: 344.0ms, 7.0% of total-time
Operation ival-sub, time spent: 299.0ms, 6.0% of total-time
Operation ival-div, time spent: 240.0ms, 5.0% of total-time
Operation ival-sqrt, time spent: 230.0ms, 5.0% of total-time
Operation ival-atan2, time spent: 225.0ms, 5.0% of total-time
Operation ival-sin, time spent: 219.0ms, 4.0% of total-time
Operation ival-exp, time spent: 170.0ms, 3.0% of total-time
Operation ival-cos, time spent: 136.0ms, 3.0% of total-time
Operation const, time spent: 86.0ms, 2.0% of total-time
Operation ival-fabs, time spent: 23.0ms, 0.0% of total-time
Operation ival-neg, time spent: 18.0ms, 0.0% of total-time
Operation ival-copysign, time spent: 15.0ms, 0.0% of total-time
Operation ival-pow, time spent: 3.0ms, 0.0% of total-time
Operation ival-pi, time spent: 1.0ms, 0.0% of total-time

analyze4.5s (0.7%)

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.8s
Operation ival-mult, time spent: 827.0ms, 30.0% of total-time
Operation ival-add, time spent: 366.0ms, 13.0% of total-time
Operation ival-sub, time spent: 285.0ms, 10.0% of total-time
Operation ival-log, time spent: 285.0ms, 10.0% of total-time
Operation ival-atan2, time spent: 252.0ms, 9.0% of total-time
Operation ival-div, time spent: 208.0ms, 8.0% of total-time
Operation ival-sqrt, time spent: 186.0ms, 7.0% of total-time
Operation ival-pow, time spent: 79.0ms, 3.0% of total-time
Operation const, time spent: 64.0ms, 2.0% of total-time
Operation ival-sin, time spent: 63.0ms, 2.0% of total-time
Operation ival-exp, time spent: 62.0ms, 2.0% of total-time
Operation ival-cos, time spent: 25.0ms, 1.0% of total-time
Operation ival-pi, time spent: 14.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: 8.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

end12.0ms (0%)

Profiling

Loading profile data...