Herbie run

Date:Sunday, March 24th, 2024
Commit:faf2684d on zane-regimes-inverted
Hostname:nightly with Racket 8.11.1
Seed:2024084
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.4min)

sample3.2min (30.9%)

Results
1.1min373282×256valid
13.3s72045×256infinite
5.9s10685×1024valid
1.2min7842×8192exit
3.2s7199×512valid
3.5s4421×512infinite
438.0ms4147×256unsamplable
894.0ms1828×2048valid
777.0ms1051×4096valid
59.0ms523×256invalid
96.0ms81×1024infinite
Precisions
Click to see histograms. Total time spent on operations: 2.1min
Operation ival-sin, time spent: 47.3s, 38.0% of total-time
Operation ival-mult, time spent: 21.1s, 17.0% of total-time
Operation ival-add, time spent: 12.0s, 10.0% of total-time
Operation ival-sub, time spent: 9.0s, 7.0% of total-time
Operation ival-div, time spent: 7.9s, 6.0% of total-time
Operation ival-pow, time spent: 5.6s, 5.0% of total-time
Operation ival-exp, time spent: 3.5s, 3.0% of total-time
Operation ival-log, time spent: 3.2s, 3.0% of total-time
Operation ival-sqrt, time spent: 2.7s, 2.0% of total-time
Operation const, time spent: 2.0s, 2.0% of total-time
Operation ival-cos, time spent: 1.5s, 1.0% of total-time
Operation ival-atan2, time spent: 1.4s, 1.0% of total-time
Operation ival-asin, time spent: 1.3s, 1.0% of total-time
Operation ival-pi, time spent: 1.2s, 1.0% of total-time
Operation ival->, time spent: 948.0ms, 1.0% of total-time
Operation ival-asinh, time spent: 699.0ms, 1.0% of total-time
Operation ival-<=, time spent: 506.0ms, 0.0% of total-time
Operation ival-atanh, time spent: 452.0ms, 0.0% of total-time
Operation ival-acosh, time spent: 408.0ms, 0.0% of total-time
Operation ival-neg, time spent: 361.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 276.0ms, 0.0% of total-time
Operation ival->=, time spent: 149.0ms, 0.0% of total-time
Operation ival-and, time spent: 109.0ms, 0.0% of total-time
Bogosity

localize2.3min (21.9%)

Results
32.5s29839×256valid
4.6s5565×256infinite
7.0s4523×256invalid
13.4s1696×1024valid
5.6s1247×512valid
21.2s858×8192exit
8.5s701×2048infinite
9.6s645×2048valid
3.2s204×1024invalid
195.0ms191×256unsamplable
573.0ms117×512infinite
914.0ms102×512invalid
669.0ms73×4096valid
425.0ms62×1024infinite
7.0ms1×4096infinite
Compiler

Compiled 45187 to 25865 computations (42.8% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.6min
Operation ival-mult, time spent: 19.5s, 20.0% of total-time
Operation ival-add, time spent: 12.6s, 13.0% of total-time
Operation ival-pow, time spent: 12.2s, 13.0% of total-time
Operation composed, time spent: 11.8s, 12.0% of total-time
Operation ival-div, time spent: 10.3s, 11.0% of total-time
Operation ival-log, time spent: 8.7s, 9.0% of total-time
Operation ival-asin, time spent: 4.7s, 5.0% of total-time
Operation ival-sub, time spent: 4.4s, 5.0% of total-time
Operation ival-sqrt, time spent: 3.4s, 4.0% of total-time
Operation const, time spent: 2.5s, 3.0% of total-time
Operation ival-exp, time spent: 1.9s, 2.0% of total-time
Operation ival-acos, time spent: 1.2s, 1.0% of total-time
Operation ival-cos, time spent: 933.0ms, 1.0% of total-time
Operation ival-cbrt, time spent: 868.0ms, 1.0% of total-time
Operation ival-atan2, time spent: 477.0ms, 0.0% of total-time
Operation ival-sin, time spent: 451.0ms, 0.0% of total-time
Operation ival-neg, time spent: 214.0ms, 0.0% of total-time
Operation ival-pi, time spent: 148.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 112.0ms, 0.0% of total-time
Operation ival-copysign, time spent: 110.0ms, 0.0% of total-time
Operation ival-e, time spent: 12.0ms, 0.0% of total-time

eval1.0min (9.7%)

Compiler

Compiled 2715750 to 1728706 computations (36.3% saved)

simplify48.8s (7.8%)

Algorithm
220×egg-herbie
Rules
58017×fma-define
49726×fma-neg
47317×distribute-lft-in
45314×associate-*r*
44082×distribute-rgt-in
Stop Event
57×saturated
158×node limit
33×fuel
5×unsound
24×done
Counts
65716 → 60610
Compiler

Compiled 9582 to 6105 computations (36.3% saved)

soundness43.1s (6.9%)

Rules
57499×fma-define
49039×log1p-expm1-u
47814×fma-neg
37308×associate-*r*
35692×expm1-log1p-u
Stop Event
19×saturated
177×node limit
5×unsound
Compiler

Compiled 35871 to 21379 computations (40.4% saved)

preprocess40.5s (6.5%)

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
Results
8.1s21762×256valid
1.8s4404×256infinite
6.1s1432×1024valid
1.7s1058×512valid
433.0ms290×512infinite
407.0ms150×2048valid
55.0ms74×4096valid
10.0ms8×1024infinite
18.0ms6×8192exit
Compiler

Compiled 43193 to 23582 computations (45.4% saved)

Precisions
Click to see histograms. Total time spent on operations: 14.3s
Operation ival-mult, time spent: 3.6s, 25.0% of total-time
Operation ival-sub, time spent: 2.6s, 18.0% of total-time
Operation ival-add, time spent: 2.2s, 15.0% of total-time
Operation ival-div, time spent: 2.1s, 15.0% of total-time
Operation ival-pow, time spent: 688.0ms, 5.0% of total-time
Operation ival-exp, time spent: 548.0ms, 4.0% of total-time
Operation ival-log, time spent: 523.0ms, 4.0% of total-time
Operation const, time spent: 465.0ms, 3.0% of total-time
Operation ival-asin, time spent: 381.0ms, 3.0% of total-time
Operation ival-cos, time spent: 346.0ms, 2.0% of total-time
Operation ival-sqrt, time spent: 302.0ms, 2.0% of total-time
Operation composed, time spent: 226.0ms, 2.0% of total-time
Operation ival-sin, time spent: 110.0ms, 1.0% of total-time
Operation ival-atan2, time spent: 74.0ms, 1.0% of total-time
Operation ival-neg, time spent: 46.0ms, 0.0% of total-time
Operation ival-pi, time spent: 34.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 25.0ms, 0.0% of total-time
Operation ival-copysign, time spent: 15.0ms, 0.0% of total-time

rewrite34.5s (5.5%)

Algorithm
163×batch-egg-rewrite
Rules
120192×log1p-expm1-u
86515×expm1-log1p-u
32562×pow1
32495×prod-diff
30727×add-exp-log
Stop Event
158×node limit
5×unsound
Counts
1301 → 40448

prune22.6s (3.6%)

Counts
86634 → 2574
Compiler

Compiled 114622 to 81941 computations (28.5% saved)

regimes15.5s (2.5%)

Counts
5576 → 730
Calls

129 calls:

1.9s
y.re
1.8s
y.im
1.1s
x.re
1.1s
x.im
866.0ms
x
Compiler

Compiled 5981 to 4066 computations (32% saved)

bsearch13.6s (2.2%)

Algorithm
336×binary-search
37×left-value
Stop Event
16×predicate-same
320×narrow-enough
Results
7.5s32096×256valid
797.0ms4664×256infinite
1.9s1965×512infinite
206.0ms541×512valid
93.0ms254×1024valid
92.0ms212×2048valid
95.0ms169×4096valid
91.0ms83×1024infinite
Compiler

Compiled 74702 to 52049 computations (30.3% saved)

Precisions
Click to see histograms. Total time spent on operations: 6.8s
Operation ival-mult, time spent: 2.5s, 37.0% of total-time
Operation ival-add, time spent: 1.0s, 15.0% of total-time
Operation ival-log, time spent: 717.0ms, 11.0% of total-time
Operation ival-sin, time spent: 476.0ms, 7.0% of total-time
Operation ival-sqrt, time spent: 398.0ms, 6.0% of total-time
Operation ival-atan2, time spent: 398.0ms, 6.0% of total-time
Operation ival-div, time spent: 363.0ms, 5.0% of total-time
Operation ival-exp, time spent: 332.0ms, 5.0% of total-time
Operation ival-sub, time spent: 314.0ms, 5.0% of total-time
Operation const, time spent: 95.0ms, 1.0% of total-time
Operation ival-cos, time spent: 89.0ms, 1.0% of total-time
Operation ival-fabs, time spent: 26.0ms, 0.0% of total-time
Operation ival-copysign, time spent: 22.0ms, 0.0% of total-time
Operation ival-neg, time spent: 13.0ms, 0.0% of total-time
Operation ival-pi, time spent: 2.0ms, 0.0% of total-time

series11.7s (1.9%)

Counts
1301 → 25268
Calls

6474 calls:

TimeVariablePointExpression
247.0ms
i
@inf
(/ (- beta alpha) (* (+ alpha (+ 2 (+ (* 2 i) beta))) (+ alpha (+ (* 2 i) beta))))
210.0ms
y.re
@0
(* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.re)
126.0ms
re
@0
(* (pow re 4) (* im -1/12))
113.0ms
u1
@inf
(+ 1/2 (sqrt (* 2 (log (pow u1 -1/36)))))
107.0ms
u2
@inf
(cbrt (+ (* 1/6 (* (cos (* 2 (* (PI) u2))) (sqrt (* -2 (log u1))))) 1/2))

analyze4.6s (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: 3.0s
Operation ival-mult, time spent: 1.0s, 35.0% of total-time
Operation ival-add, time spent: 379.0ms, 13.0% of total-time
Operation ival-log, time spent: 376.0ms, 13.0% of total-time
Operation ival-sub, time spent: 308.0ms, 10.0% of total-time
Operation ival-atan2, time spent: 191.0ms, 6.0% of total-time
Operation ival-sqrt, time spent: 166.0ms, 6.0% of total-time
Operation ival-div, time spent: 158.0ms, 5.0% of total-time
Operation ival-sin, time spent: 83.0ms, 3.0% of total-time
Operation ival-pow, time spent: 74.0ms, 2.0% of total-time
Operation const, time spent: 60.0ms, 2.0% of total-time
Operation ival-exp, time spent: 58.0ms, 2.0% of total-time
Operation ival-cos, time spent: 24.0ms, 1.0% of total-time
Operation ival-pi, time spent: 15.0ms, 1.0% of total-time
Operation ival->, time spent: 13.0ms, 0.0% of total-time
Operation ival-<=, time spent: 11.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

end20.0ms (0%)

Profiling

Loading profile data...