Herbie run

Date:Sunday, March 17th, 2024
Commit:7157c825 on zane-regimes-fl
Hostname:nightly with Racket 8.11.1
Seed:2024077
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.3min373501×256valid
15.0s71748×256infinite
6.6s10631×1024valid
1.2min7738×8192exit
2.5s7224×512valid
4.7s4465×512infinite
593.0ms4278×256unsamplable
1.1s1903×2048valid
542.0ms1038×4096valid
121.0ms544×256invalid
103.0ms88×1024infinite
Precisions
Click to see histograms. Total time spent on operations: 2.1min
Operation ival-sin, time spent: 48.0s, 39.0% of total-time
Operation ival-mult, time spent: 20.6s, 17.0% of total-time
Operation ival-add, time spent: 11.6s, 9.0% of total-time
Operation ival-sub, time spent: 9.4s, 8.0% of total-time
Operation ival-div, time spent: 8.7s, 7.0% of total-time
Operation ival-pow, time spent: 5.4s, 4.0% of total-time
Operation ival-exp, time spent: 3.3s, 3.0% of total-time
Operation ival-sqrt, time spent: 3.2s, 3.0% of total-time
Operation ival-log, time spent: 2.9s, 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.5s, 1.0% of total-time
Operation ival-atan2, time spent: 1.4s, 1.0% of total-time
Operation ival-asinh, time spent: 975.0ms, 1.0% of total-time
Operation ival->, time spent: 782.0ms, 1.0% of total-time
Operation ival-pi, time spent: 772.0ms, 1.0% of total-time
Operation ival-<=, time spent: 523.0ms, 0.0% of total-time
Operation ival-neg, time spent: 492.0ms, 0.0% of total-time
Operation ival-acosh, time spent: 443.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 235.0ms, 0.0% of total-time
Operation ival-atanh, time spent: 234.0ms, 0.0% of total-time
Operation ival->=, time spent: 183.0ms, 0.0% of total-time
Operation ival-and, time spent: 108.0ms, 0.0% of total-time
Bogosity

localize2.6min (23.9%)

Compiler

Compiled 51201 to 28941 computations (43.5% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.8min
Operation ival-mult, time spent: 21.1s, 20.0% of total-time
Operation ival-asin, time spent: 15.0s, 14.0% of total-time
Operation ival-pow, time spent: 13.3s, 12.0% of total-time
Operation ival-add, time spent: 12.4s, 12.0% of total-time
Operation composed, time spent: 10.3s, 10.0% of total-time
Operation ival-div, time spent: 8.5s, 8.0% of total-time
Operation ival-sub, time spent: 6.5s, 6.0% of total-time
Operation ival-log, time spent: 5.7s, 5.0% of total-time
Operation ival-sqrt, time spent: 3.6s, 3.0% of total-time
Operation ival-acos, time spent: 2.8s, 3.0% of total-time
Operation const, time spent: 2.7s, 3.0% of total-time
Operation ival-exp, time spent: 1.9s, 2.0% of total-time
Operation ival-cos, time spent: 981.0ms, 1.0% of total-time
Operation ival-sin, time spent: 811.0ms, 1.0% of total-time
Operation ival-cbrt, time spent: 697.0ms, 1.0% of total-time
Operation ival-neg, time spent: 344.0ms, 0.0% of total-time
Operation ival-atan2, time spent: 280.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 116.0ms, 0.0% of total-time
Operation ival-copysign, time spent: 87.0ms, 0.0% of total-time
Operation ival-pi, time spent: 64.0ms, 0.0% of total-time

eval1.0min (9.4%)

Compiler

Compiled 2747166 to 1700018 computations (38.1% saved)

simplify50.5s (7.8%)

Algorithm
228×egg-herbie
Rules
61302×fma-define
50131×distribute-lft-in
48462×associate-*r*
46723×fma-neg
44803×*-commutative
Stop Event
57×saturated
37×fuel
165×node limit
6×unsound
20×done
Counts
68295 → 61310
Compiler

Compiled 10000 to 6232 computations (37.7% saved)

soundness42.4s (6.6%)

Rules
56718×fma-define
47681×log1p-expm1-u
42066×fma-neg
40921×associate-*r*
36416×distribute-lft-in
Stop Event
21×saturated
171×node limit
8×unsound
Compiler

Compiled 37241 to 21913 computations (41.2% saved)

preprocess38.0s (5.9%)

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 45775 to 24750 computations (45.9% saved)

Precisions
Click to see histograms. Total time spent on operations: 11.7s
Operation ival-mult, time spent: 2.7s, 23.0% of total-time
Operation ival-add, time spent: 2.2s, 19.0% of total-time
Operation ival-div, time spent: 1.9s, 17.0% of total-time
Operation ival-sub, time spent: 1.5s, 13.0% of total-time
Operation ival-log, time spent: 784.0ms, 7.0% of total-time
Operation ival-pow, time spent: 629.0ms, 5.0% of total-time
Operation const, time spent: 470.0ms, 4.0% of total-time
Operation ival-sqrt, time spent: 326.0ms, 3.0% of total-time
Operation ival-exp, time spent: 279.0ms, 2.0% of total-time
Operation ival-asin, time spent: 271.0ms, 2.0% of total-time
Operation composed, time spent: 224.0ms, 2.0% of total-time
Operation ival-sin, time spent: 113.0ms, 1.0% of total-time
Operation ival-cos, time spent: 108.0ms, 1.0% of total-time
Operation ival-atan2, time spent: 83.0ms, 1.0% of total-time
Operation ival-neg, time spent: 43.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 32.0ms, 0.0% of total-time
Operation ival-pi, time spent: 27.0ms, 0.0% of total-time
Operation ival-copysign, time spent: 13.0ms, 0.0% of total-time

rewrite35.9s (5.6%)

Algorithm
171×batch-egg-rewrite
Rules
120163×log1p-expm1-u
89141×expm1-log1p-u
35673×pow1
33405×prod-diff
32539×add-exp-log
Stop Event
165×node limit
6×unsound
Counts
1357 → 42247

prune22.4s (3.5%)

Counts
85103 → 2783
Compiler

Compiled 124078 to 87616 computations (29.4% saved)

regimes14.6s (2.3%)

Counts
6328 → 730
Calls

132 calls:

2.1s
y.im
1.9s
y.re
1.5s
x.im
1.0s
im
891.0ms
x.re
Compiler

Compiled 6458 to 4440 computations (31.2% saved)

bsearch12.8s (2%)

Algorithm
324×binary-search
44×left-value
Stop Event
8×predicate-same
316×narrow-enough
Results
6.4s26536×256valid
1.7s6047×256infinite
2.1s2330×512infinite
245.0ms420×512valid
98.0ms260×1024valid
102.0ms237×2048valid
111.0ms67×1024infinite
5.0ms7×4096valid
Compiler

Compiled 73642 to 50816 computations (31% saved)

Precisions
Click to see histograms. Total time spent on operations: 6.5s
Operation ival-mult, time spent: 2.6s, 39.0% of total-time
Operation ival-add, time spent: 996.0ms, 15.0% of total-time
Operation ival-log, time spent: 731.0ms, 11.0% of total-time
Operation ival-sin, time spent: 509.0ms, 8.0% of total-time
Operation ival-atan2, time spent: 397.0ms, 6.0% of total-time
Operation ival-sqrt, time spent: 337.0ms, 5.0% of total-time
Operation ival-sub, time spent: 260.0ms, 4.0% of total-time
Operation ival-div, time spent: 234.0ms, 4.0% of total-time
Operation ival-cos, time spent: 180.0ms, 3.0% of total-time
Operation ival-exp, time spent: 169.0ms, 3.0% of total-time
Operation const, time spent: 85.0ms, 1.0% of total-time
Operation ival-fabs, time spent: 23.0ms, 0.0% of total-time
Operation ival-neg, time spent: 15.0ms, 0.0% of total-time
Operation ival-copysign, time spent: 13.0ms, 0.0% of total-time
Operation ival-pi, time spent: 3.0ms, 0.0% of total-time

series12.6s (2%)

Counts
1357 → 26048
Calls

6684 calls:

TimeVariablePointExpression
299.0ms
x.re
@-inf
(sin (+ (* (log (neg x.re)) y.im) (* (atan2 x.im x.re) y.re)))
296.0ms
re
@0
(cbrt (/ (atan2 im re) (log base)))
218.0ms
y.im
@-inf
(pow (exp y.im) (atan2 x.im x.re))
162.0ms
a
@inf
(* (+ a -1/3) (+ 1 (/ 1 (/ (sqrt (+ (* a 9) -3)) rand))))
125.0ms
base
@-inf
(log (pow base (/ 1 (log im))))

analyze4.3s (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: 775.0ms, 28.0% of total-time
Operation ival-add, time spent: 395.0ms, 14.0% of total-time
Operation ival-log, time spent: 301.0ms, 11.0% of total-time
Operation ival-sqrt, time spent: 291.0ms, 10.0% of total-time
Operation ival-sub, time spent: 286.0ms, 10.0% of total-time
Operation ival-atan2, time spent: 244.0ms, 9.0% of total-time
Operation ival-div, time spent: 145.0ms, 5.0% of total-time
Operation ival-pow, time spent: 77.0ms, 3.0% of total-time
Operation ival-sin, time spent: 72.0ms, 3.0% of total-time
Operation const, time spent: 66.0ms, 2.0% of total-time
Operation ival-exp, time spent: 62.0ms, 2.0% of total-time
Operation ival-cos, time spent: 23.0ms, 1.0% of total-time
Operation ival->, time spent: 14.0ms, 1.0% of total-time
Operation ival-pi, time spent: 13.0ms, 0.0% of total-time
Operation ival-<=, time spent: 12.0ms, 0.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

end16.0ms (0%)

Profiling

Loading profile data...