Herbie run

Date:Monday, March 18th, 2024
Commit:487b55ff on zane-regimes-inverted
Hostname:nightly with Racket 8.11.1
Seed:2024078
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.6min)

sample3.1min (29.5%)

Results
1.2min373012×256valid
13.9s72300×256infinite
6.7s10678×1024valid
1.1min7496×8192exit
2.8s7214×512valid
788.0ms4641×256unsamplable
3.4s4404×512infinite
1.5s1866×2048valid
564.0ms1061×4096valid
116.0ms494×256invalid
89.0ms80×1024infinite
Precisions
Click to see histograms. Total time spent on operations: 2.0min
Operation ival-sin, time spent: 46.7s, 39.0% of total-time
Operation ival-mult, time spent: 20.3s, 17.0% of total-time
Operation ival-add, time spent: 11.4s, 9.0% of total-time
Operation ival-sub, time spent: 9.4s, 8.0% of total-time
Operation ival-div, time spent: 8.4s, 7.0% of total-time
Operation ival-pow, time spent: 5.5s, 5.0% of total-time
Operation ival-exp, time spent: 3.3s, 3.0% of total-time
Operation ival-log, time spent: 3.2s, 3.0% of total-time
Operation ival-sqrt, time spent: 2.4s, 2.0% of total-time
Operation const, time spent: 2.0s, 2.0% of total-time
Operation ival-cos, time spent: 1.7s, 1.0% of total-time
Operation ival-asin, time spent: 1.3s, 1.0% of total-time
Operation ival-atan2, time spent: 1.3s, 1.0% of total-time
Operation ival-pi, time spent: 831.0ms, 1.0% of total-time
Operation ival-asinh, time spent: 690.0ms, 1.0% of total-time
Operation ival->, time spent: 576.0ms, 0.0% of total-time
Operation ival-neg, time spent: 481.0ms, 0.0% of total-time
Operation ival-<=, time spent: 414.0ms, 0.0% of total-time
Operation ival-acosh, time spent: 386.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 227.0ms, 0.0% of total-time
Operation ival-atanh, time spent: 220.0ms, 0.0% of total-time
Operation ival->=, time spent: 155.0ms, 0.0% of total-time
Operation ival-and, time spent: 105.0ms, 0.0% of total-time
Bogosity

localize2.4min (22.2%)

Compiler

Compiled 49345 to 29129 computations (41% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.6min
Operation ival-mult, time spent: 20.3s, 21.0% of total-time
Operation ival-add, time spent: 13.1s, 13.0% of total-time
Operation composed, time spent: 11.2s, 11.0% of total-time
Operation ival-pow, time spent: 9.8s, 10.0% of total-time
Operation ival-div, time spent: 8.2s, 8.0% of total-time
Operation ival-log, time spent: 7.3s, 7.0% of total-time
Operation ival-asin, time spent: 6.7s, 7.0% of total-time
Operation ival-sub, time spent: 6.7s, 7.0% of total-time
Operation ival-sqrt, time spent: 3.1s, 3.0% of total-time
Operation const, time spent: 2.5s, 3.0% of total-time
Operation ival-exp, time spent: 2.4s, 2.0% of total-time
Operation ival-sin, time spent: 2.3s, 2.0% of total-time
Operation ival-acos, time spent: 2.2s, 2.0% of total-time
Operation ival-cos, time spent: 1.4s, 1.0% of total-time
Operation ival-atan2, time spent: 705.0ms, 1.0% of total-time
Operation ival-cbrt, time spent: 601.0ms, 1.0% of total-time
Operation ival-neg, time spent: 271.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 158.0ms, 0.0% of total-time
Operation ival-copysign, time spent: 104.0ms, 0.0% of total-time
Operation ival-pi, time spent: 65.0ms, 0.0% of total-time
Operation ival-cosh, time spent: 38.0ms, 0.0% of total-time
Operation ival-e, time spent: 5.0ms, 0.0% of total-time

eval1.1min (10.5%)

Compiler

Compiled 2963906 to 1902393 computations (35.8% saved)

simplify52.5s (8.2%)

Algorithm
231×egg-herbie
Rules
63889×fma-define
52447×distribute-lft-in
50539×fma-neg
47895×*-commutative
45043×distribute-rgt-in
Stop Event
57×saturated
167×node limit
35×fuel
7×unsound
22×done
Counts
70503 → 67802
Compiler

Compiled 9223 to 5832 computations (36.8% saved)

soundness45.3s (7.1%)

Rules
59298×fma-define
46961×fma-neg
44659×log1p-expm1-u
39754×associate-*r*
37317×distribute-lft-in
Stop Event
21×saturated
176×node limit
8×unsound
Compiler

Compiled 33067 to 20159 computations (39% saved)

preprocess38.9s (6.1%)

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 42811 to 22752 computations (46.9% saved)

Precisions
Click to see histograms. Total time spent on operations: 14.2s
Operation ival-mult, time spent: 3.2s, 22.0% of total-time
Operation ival-add, time spent: 3.2s, 22.0% of total-time
Operation ival-sub, time spent: 2.3s, 16.0% of total-time
Operation ival-div, time spent: 2.0s, 14.0% of total-time
Operation ival-log, time spent: 691.0ms, 5.0% of total-time
Operation ival-sqrt, time spent: 514.0ms, 4.0% of total-time
Operation const, time spent: 483.0ms, 3.0% of total-time
Operation composed, time spent: 395.0ms, 3.0% of total-time
Operation ival-pow, time spent: 385.0ms, 3.0% of total-time
Operation ival-exp, time spent: 311.0ms, 2.0% of total-time
Operation ival-asin, time spent: 234.0ms, 2.0% of total-time
Operation ival-cos, time spent: 201.0ms, 1.0% of total-time
Operation ival-sin, time spent: 105.0ms, 1.0% of total-time
Operation ival-atan2, time spent: 87.0ms, 1.0% of total-time
Operation ival-neg, time spent: 54.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 33.0ms, 0.0% of total-time
Operation ival-pi, time spent: 28.0ms, 0.0% of total-time
Operation ival-copysign, time spent: 12.0ms, 0.0% of total-time

rewrite34.4s (5.4%)

Algorithm
174×batch-egg-rewrite
Rules
113225×log1p-expm1-u
88471×expm1-log1p-u
36964×pow1
35619×add-exp-log
33335×add-log-exp
Stop Event
167×node limit
7×unsound
Counts
1402 → 42319

prune25.5s (4%)

Counts
92525 → 2999
Compiler

Compiled 134774 to 92653 computations (31.3% saved)

regimes17.4s (2.7%)

Counts
6856 → 671
Calls

132 calls:

2.4s
y.re
2.1s
y.im
1.3s
x.re
1.3s
x.im
1.1s
x
Compiler

Compiled 5949 to 4094 computations (31.2% saved)

series12.4s (1.9%)

Counts
1402 → 28184
Calls

7272 calls:

TimeVariablePointExpression
321.0ms
im
@inf
(sqrt (/ (atan2 im re) (log 10)))
212.0ms
i
@0
(/ (- (* 2 (/ (pow beta 2) alpha)) (* -1 (+ (* -1 (+ 2 (+ beta (* 2 i)))) (* -1 (+ beta (* 2 i)))))) alpha)
187.0ms
re
@inf
(sqrt (* im (sqrt (/ -1/2 re))))
122.0ms
x.re
@0
(+ (* x.im (+ (* x.im (- (* -1 x.re) (* 2 x.re))) (* x.re (+ x.re (* -1 x.re))))) (pow x.re 3))
115.0ms
im
@-inf
(log (/ (atan2 im re) (log base)))

bsearch10.7s (1.7%)

Algorithm
279×binary-search
38×left-value
Stop Event
13×predicate-same
266×narrow-enough
Results
6.2s24110×256valid
1.2s4640×256infinite
1.3s1612×512infinite
191.0ms420×512valid
170.0ms398×1024valid
67.0ms138×2048valid
32.0ms32×1024infinite
5.0ms10×4096valid
Compiler

Compiled 60654 to 42158 computations (30.5% saved)

Precisions
Click to see histograms. Total time spent on operations: 5.1s
Operation ival-mult, time spent: 1.6s, 31.0% of total-time
Operation ival-add, time spent: 1.0s, 20.0% of total-time
Operation ival-log, time spent: 533.0ms, 11.0% of total-time
Operation ival-sqrt, time spent: 461.0ms, 9.0% of total-time
Operation ival-sin, time spent: 338.0ms, 7.0% of total-time
Operation ival-div, time spent: 214.0ms, 4.0% of total-time
Operation ival-sub, time spent: 214.0ms, 4.0% of total-time
Operation ival-atan2, time spent: 193.0ms, 4.0% of total-time
Operation ival-exp, time spent: 176.0ms, 3.0% of total-time
Operation const, time spent: 128.0ms, 3.0% of total-time
Operation ival-cos, time spent: 122.0ms, 2.0% of total-time
Operation ival-copysign, time spent: 33.0ms, 1.0% of total-time
Operation ival-asin, time spent: 27.0ms, 1.0% of total-time
Operation ival-fabs, time spent: 20.0ms, 0.0% of total-time
Operation ival-neg, time spent: 12.0ms, 0.0% of total-time
Operation ival-pi, time spent: 3.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.7s
Operation ival-mult, time spent: 768.0ms, 29.0% of total-time
Operation ival-add, time spent: 352.0ms, 13.0% of total-time
Operation ival-log, time spent: 312.0ms, 12.0% of total-time
Operation ival-sub, time spent: 240.0ms, 9.0% of total-time
Operation ival-atan2, time spent: 235.0ms, 9.0% of total-time
Operation ival-sqrt, time spent: 227.0ms, 9.0% of total-time
Operation ival-div, time spent: 130.0ms, 5.0% of total-time
Operation ival-pow, time spent: 87.0ms, 3.0% of total-time
Operation ival-exp, time spent: 72.0ms, 3.0% of total-time
Operation ival-sin, time spent: 68.0ms, 3.0% of total-time
Operation const, time spent: 63.0ms, 2.0% of total-time
Operation ival-cos, time spent: 45.0ms, 2.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: 12.0ms, 0.0% of total-time
Operation ival-neg, time spent: 10.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

end13.0ms (0%)

Profiling

Loading profile data...