Herbie run

Date:Friday, May 10th, 2024
Commit:91aa108c on varun10p-platforms
Hostname:nightly with Racket 8.11.1
Seed:2024131
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)

sample3.2min (31.7%)

Results
1.2min372043×256valid
15.1s73443×256infinite
5.9s10567×1024valid
1.2min7869×8192exit
3.4s7100×512valid
3.9s4444×512infinite
664.0ms4109×256unsamplable
1.2s1860×2048valid
563.0ms1057×4096valid
69.0ms539×256invalid
88.0ms79×1024infinite
Precisions
Click to see histograms. Total time spent on operations: 2.1min
Operation ival-sin, time spent: 49.3s, 40.0% of total-time
Operation ival-mult, time spent: 19.7s, 16.0% of total-time
Operation ival-add, time spent: 11.1s, 9.0% of total-time
Operation ival-sub, time spent: 9.2s, 7.0% of total-time
Operation ival-div, time spent: 8.7s, 7.0% of total-time
Operation ival-pow, time spent: 5.1s, 4.0% of total-time
Operation ival-log, time spent: 3.4s, 3.0% of total-time
Operation ival-sqrt, time spent: 2.8s, 2.0% of total-time
Operation ival-exp, time spent: 2.8s, 2.0% of total-time
Operation const, time spent: 2.1s, 2.0% of total-time
Operation ival-cos, time spent: 1.7s, 1.0% of total-time
Operation ival-asin, time spent: 1.5s, 1.0% of total-time
Operation ival-atan2, time spent: 1.2s, 1.0% of total-time
Operation ival->, time spent: 981.0ms, 1.0% of total-time
Operation ival-pi, time spent: 931.0ms, 1.0% of total-time
Operation ival-asinh, time spent: 686.0ms, 1.0% of total-time
Operation ival-<=, time spent: 653.0ms, 1.0% of total-time
Operation ival-acosh, time spent: 429.0ms, 0.0% of total-time
Operation ival-neg, time spent: 389.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 253.0ms, 0.0% of total-time
Operation ival-atanh, time spent: 225.0ms, 0.0% of total-time
Operation ival->=, time spent: 152.0ms, 0.0% of total-time
Operation ival-and, time spent: 105.0ms, 0.0% of total-time
Bogosity

localize2.1min (21.1%)

Compiler

Compiled 44049 to 25311 computations (42.5% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.5min
Operation ival-mult, time spent: 17.5s, 20.0% of total-time
Operation ival-pow, time spent: 11.9s, 13.0% of total-time
Operation ival-add, time spent: 10.5s, 12.0% of total-time
Operation composed, time spent: 9.6s, 11.0% of total-time
Operation ival-asin, time spent: 6.8s, 8.0% of total-time
Operation ival-div, time spent: 6.5s, 7.0% of total-time
Operation ival-sub, time spent: 6.0s, 7.0% of total-time
Operation ival-log, time spent: 5.9s, 7.0% of total-time
Operation ival-exp, time spent: 3.1s, 3.0% of total-time
Operation ival-sqrt, time spent: 2.8s, 3.0% of total-time
Operation const, time spent: 2.3s, 3.0% of total-time
Operation ival-acos, time spent: 1.8s, 2.0% of total-time
Operation ival-sin, time spent: 1.5s, 2.0% of total-time
Operation ival-cos, time spent: 1.0s, 1.0% of total-time
Operation ival-atan2, time spent: 526.0ms, 1.0% of total-time
Operation ival-cbrt, time spent: 381.0ms, 0.0% of total-time
Operation ival-neg, time spent: 267.0ms, 0.0% of total-time
Operation ival-copysign, time spent: 87.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 86.0ms, 0.0% of total-time
Operation ival-pi, time spent: 67.0ms, 0.0% of total-time
Operation ival-e, time spent: 3.0ms, 0.0% of total-time

eval1.0min (9.9%)

Compiler

Compiled 2770599 to 1758036 computations (36.5% saved)

simplify49.2s (8.1%)

Algorithm
223×egg-herbie
Rules
64491×fma-define
48614×fmm-def
48375×distribute-lft-in
45574×*-commutative
43451×distribute-rgt-in
Stop Event
57×saturated
160×node limit
34×fuel
6×unsound
23×done
Counts
63060 → 60918
Compiler

Compiled 11367 to 7402 computations (34.9% saved)

soundness42.1s (6.9%)

Rules
57918×fma-define
46741×fmm-def
44105×log1p-expm1-u
38500×associate-*r*
36689×distribute-lft-in
Stop Event
19×saturated
178×node limit
6×unsound
Compiler

Compiled 39849 to 24652 computations (38.1% saved)

preprocess36.9s (6.1%)

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 47063 to 25894 computations (45% saved)

Precisions
Click to see histograms. Total time spent on operations: 11.3s
Operation ival-mult, time spent: 3.0s, 26.0% of total-time
Operation ival-add, time spent: 1.8s, 16.0% of total-time
Operation ival-div, time spent: 1.7s, 15.0% of total-time
Operation ival-sub, time spent: 1.2s, 11.0% of total-time
Operation ival-log, time spent: 919.0ms, 8.0% of total-time
Operation ival-sqrt, time spent: 580.0ms, 5.0% of total-time
Operation const, time spent: 446.0ms, 4.0% of total-time
Operation composed, time spent: 374.0ms, 3.0% of total-time
Operation ival-pow, time spent: 300.0ms, 3.0% of total-time
Operation ival-exp, time spent: 244.0ms, 2.0% of total-time
Operation ival-asin, time spent: 221.0ms, 2.0% of total-time
Operation ival-atan2, time spent: 199.0ms, 2.0% of total-time
Operation ival-sin, time spent: 162.0ms, 1.0% of total-time
Operation ival-cos, time spent: 94.0ms, 1.0% of total-time
Operation ival-neg, time spent: 37.0ms, 0.0% of total-time
Operation ival-copysign, time spent: 32.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

rewrite34.6s (5.7%)

Algorithm
166×batch-egg-rewrite
Rules
110710×log1p-expm1-u
80571×expm1-log1p-u
35145×pow1
32981×add-exp-log
30366×add-log-exp
Stop Event
158×node limit
8×unsound
Counts
1247 → 38755

prune20.9s (3.4%)

Counts
84194 → 2644
Compiler

Compiled 115375 to 81657 computations (29.2% saved)

regimes13.7s (2.2%)

Counts
6456 → 765
Calls

130 calls:

1.9s
y.im
1.2s
y.re
1.1s
im
690.0ms
x
660.0ms
x.im
Compiler

Compiled 6605 to 4590 computations (30.5% saved)

bsearch13.4s (2.2%)

Algorithm
355×binary-search
44×left-value
Stop Event
11×predicate-same
344×narrow-enough
Results
7.5s31451×256valid
1.8s8271×256infinite
1.4s1886×512infinite
245.0ms519×512valid
214.0ms507×1024valid
232.0ms298×2048valid
80.0ms66×1024infinite
13.0ms26×4096valid
Compiler

Compiled 78837 to 54994 computations (30.2% saved)

Precisions
Click to see histograms. Total time spent on operations: 6.1s
Operation ival-mult, time spent: 2.1s, 35.0% of total-time
Operation ival-add, time spent: 847.0ms, 14.0% of total-time
Operation ival-log, time spent: 524.0ms, 9.0% of total-time
Operation ival-sin, time spent: 421.0ms, 7.0% of total-time
Operation ival-sqrt, time spent: 417.0ms, 7.0% of total-time
Operation ival-div, time spent: 413.0ms, 7.0% of total-time
Operation ival-exp, time spent: 330.0ms, 5.0% of total-time
Operation ival-atan2, time spent: 269.0ms, 4.0% of total-time
Operation ival-sub, time spent: 241.0ms, 4.0% of total-time
Operation ival-cos, time spent: 225.0ms, 4.0% of total-time
Operation const, time spent: 103.0ms, 2.0% of total-time
Operation ival-asin, time spent: 54.0ms, 1.0% of total-time
Operation ival-neg, time spent: 40.0ms, 1.0% of total-time
Operation ival-fabs, time spent: 19.0ms, 0.0% of total-time
Operation ival-copysign, time spent: 11.0ms, 0.0% of total-time
Operation ival-pi, time spent: 6.0ms, 0.0% of total-time

series12.2s (2%)

Counts
1247 → 24305
Calls

6276 calls:

TimeVariablePointExpression
358.0ms
alpha
@-inf
(/ (+ (* -1 (* i (+ (* -1 alpha) (* -1 i)))) (* -1 (/ (- (* i (+ (* -1 (* i (+ alpha i))) (* (+ alpha i) (+ (* -1 alpha) (* -1 i))))) (* 2 (* i (* (+ alpha (* 2 i)) (+ (* -1 alpha) (* -1 i)))))) beta))) (- (* (+ (+ alpha beta) (* 2 i)) (+ (+ alpha beta) (* 2 i))) 1))
223.0ms
im
@-inf
(log (/ (atan2 im re) (log base)))
179.0ms
re
@-inf
(log (pow (exp (exp re)) (cos im)))
175.0ms
re
@0
(pow (* (- (sqrt (+ (* re re) (* im im))) re) 2) 3/2)
150.0ms
re
@-inf
(log (/ (atan2 im re) (log base)))

analyze4.1s (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.6s
Operation ival-mult, time spent: 660.0ms, 26.0% of total-time
Operation ival-sub, time spent: 335.0ms, 13.0% of total-time
Operation ival-add, time spent: 310.0ms, 12.0% of total-time
Operation ival-log, time spent: 278.0ms, 11.0% of total-time
Operation ival-sqrt, time spent: 213.0ms, 8.0% of total-time
Operation ival-atan2, time spent: 211.0ms, 8.0% of total-time
Operation ival-div, time spent: 160.0ms, 6.0% of total-time
Operation ival-pow, time spent: 78.0ms, 3.0% of total-time
Operation ival-exp, time spent: 65.0ms, 3.0% of total-time
Operation ival-sin, time spent: 63.0ms, 2.0% of total-time
Operation const, time spent: 59.0ms, 2.0% of total-time
Operation ival-cos, time spent: 38.0ms, 1.0% of total-time
Operation ival-<=, time spent: 37.0ms, 1.0% of total-time
Operation ival-pi, time spent: 22.0ms, 1.0% of total-time
Operation ival->, time spent: 16.0ms, 1.0% of total-time
Operation ival-neg, time spent: 7.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

end19.0ms (0%)

Profiling

Loading profile data...