Herbie run

Date:Monday, March 11th, 2024
Commit:fe07cd4d on zane-regimes-fl
Hostname:nightly with Racket 8.11.1
Seed:2024071
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.9min)

sample3.6min (32.6%)

Results
1.5min372255×256valid
14.4s73072×256infinite
6.5s10488×1024valid
1.3min7836×8192exit
2.8s7161×512valid
3.9s4506×512infinite
546.0ms4003×256unsamplable
1.0s1937×2048valid
609.0ms1066×4096valid
71.0ms509×256invalid
127.0ms108×1024infinite
Precisions
Click to see histograms. Total time spent on operations: 2.4min
Operation ival-sin, time spent: 51.7s, 36.0% of total-time
Operation ival-mult, time spent: 20.4s, 14.0% of total-time
Operation ival->, time spent: 13.2s, 9.0% of total-time
Operation ival-add, time spent: 12.6s, 9.0% of total-time
Operation ival-sub, time spent: 9.8s, 7.0% of total-time
Operation ival-div, time spent: 9.2s, 6.0% of total-time
Operation ival-pow, time spent: 5.6s, 4.0% of total-time
Operation ival-log, time spent: 3.2s, 2.0% of total-time
Operation ival-exp, time spent: 3.2s, 2.0% of total-time
Operation ival-sqrt, time spent: 2.5s, 2.0% of total-time
Operation const, time spent: 2.0s, 1.0% of total-time
Operation ival-cos, time spent: 2.0s, 1.0% of total-time
Operation ival-atan2, time spent: 1.9s, 1.0% of total-time
Operation ival-asin, time spent: 1.4s, 1.0% of total-time
Operation ival-pi, time spent: 950.0ms, 1.0% of total-time
Operation ival-asinh, time spent: 739.0ms, 1.0% of total-time
Operation ival-neg, time spent: 614.0ms, 0.0% of total-time
Operation ival-<=, time spent: 590.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 559.0ms, 0.0% of total-time
Operation ival->=, time spent: 532.0ms, 0.0% of total-time
Operation ival-acosh, time spent: 439.0ms, 0.0% of total-time
Operation ival-atanh, time spent: 259.0ms, 0.0% of total-time
Operation ival-and, time spent: 106.0ms, 0.0% of total-time
Bogosity

localize2.2min (20.4%)

Compiler

Compiled 48543 to 28380 computations (41.5% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.5min
Operation ival-mult, time spent: 16.8s, 18.0% of total-time
Operation ival-pow, time spent: 13.8s, 15.0% of total-time
Operation ival-add, time spent: 11.3s, 12.0% of total-time
Operation ival-div, time spent: 10.3s, 11.0% of total-time
Operation composed, time spent: 9.5s, 10.0% of total-time
Operation ival-asin, time spent: 7.5s, 8.0% of total-time
Operation ival-sub, time spent: 6.8s, 7.0% of total-time
Operation ival-log, time spent: 4.8s, 5.0% of total-time
Operation ival-sqrt, time spent: 2.9s, 3.0% of total-time
Operation const, time spent: 2.5s, 3.0% of total-time
Operation ival-exp, time spent: 1.7s, 2.0% of total-time
Operation ival-sin, time spent: 1.2s, 1.0% of total-time
Operation ival-acos, time spent: 993.0ms, 1.0% of total-time
Operation ival-cos, time spent: 730.0ms, 1.0% of total-time
Operation ival-cbrt, time spent: 464.0ms, 1.0% of total-time
Operation ival-atan2, time spent: 378.0ms, 0.0% of total-time
Operation ival-neg, time spent: 307.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 96.0ms, 0.0% of total-time
Operation ival-copysign, time spent: 83.0ms, 0.0% of total-time
Operation ival-pi, time spent: 72.0ms, 0.0% of total-time
Operation ival-e, time spent: 54.0ms, 0.0% of total-time

eval1.2min (10.8%)

Compiler

Compiled 3134346 to 2051402 computations (34.6% saved)

soundness53.2s (8.1%)

Rules
104062×fma-define
77460×fma-neg
71495×associate-*r*
62546×distribute-lft-in
60017×distribute-rgt-in
Stop Event
19×saturated
167×node limit
6×unsound
Compiler

Compiled 36634 to 22979 computations (37.3% saved)

simplify46.7s (7.1%)

Algorithm
222×egg-herbie
Rules
116620×fma-define
89120×distribute-lft-in
85548×fma-neg
84375×associate-*r*
82342×distribute-rgt-in
Stop Event
58×saturated
159×node limit
35×fuel
5×unsound
22×done
Counts
65067 → 58994
Compiler

Compiled 10164 to 6646 computations (34.6% saved)

preprocess38.8s (5.9%)

Algorithm
57×egg-herbie
Rules
40033×fma-neg
38663×fma-define
19396×unsub-neg
17401×distribute-lft-in
16736×sub-neg
Stop Event
32×saturated
25×node limit
Compiler

Compiled 46125 to 24994 computations (45.8% saved)

Precisions
Click to see histograms. Total time spent on operations: 11.9s
Operation ival-mult, time spent: 2.8s, 24.0% of total-time
Operation ival-div, time spent: 2.2s, 18.0% of total-time
Operation ival-add, time spent: 2.0s, 16.0% of total-time
Operation ival-sub, time spent: 1.7s, 14.0% of total-time
Operation ival-log, time spent: 1.0s, 9.0% of total-time
Operation const, time spent: 464.0ms, 4.0% of total-time
Operation ival-pow, time spent: 355.0ms, 3.0% of total-time
Operation ival-sqrt, time spent: 318.0ms, 3.0% of total-time
Operation ival-exp, time spent: 261.0ms, 2.0% of total-time
Operation ival-asin, time spent: 228.0ms, 2.0% of total-time
Operation composed, time spent: 206.0ms, 2.0% of total-time
Operation ival-sin, time spent: 124.0ms, 1.0% of total-time
Operation ival-cos, time spent: 110.0ms, 1.0% of total-time
Operation ival-atan2, time spent: 80.0ms, 1.0% of total-time
Operation ival-neg, time spent: 41.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 33.0ms, 0.0% of total-time
Operation ival-pi, time spent: 31.0ms, 0.0% of total-time
Operation ival-copysign, time spent: 18.0ms, 0.0% of total-time

rewrite32.6s (5%)

Algorithm
165×batch-egg-rewrite
Rules
103243×log1p-expm1-u
82139×expm1-log1p-u
50931×log-prod
49031×prod-diff
43595×unpow-prod-down
Stop Event
155×node limit
10×unsound
Counts
1271 → 39682

prune22.9s (3.5%)

Counts
85647 → 2688
Compiler

Compiled 129208 to 93846 computations (27.4% saved)

bsearch12.3s (1.9%)

Algorithm
324×binary-search
39×left-value
Stop Event
12×predicate-same
312×narrow-enough
Results
6.5s27146×256valid
1.6s6507×256infinite
1.5s1712×512infinite
287.0ms511×1024valid
368.0ms440×512valid
84.0ms189×2048valid
218.0ms96×1024infinite
96.0ms71×4096valid
Compiler

Compiled 67649 to 47600 computations (29.6% saved)

Precisions
Click to see histograms. Total time spent on operations: 6.2s
Operation ival-mult, time spent: 2.1s, 34.0% of total-time
Operation ival-add, time spent: 854.0ms, 14.0% of total-time
Operation ival-log, time spent: 519.0ms, 8.0% of total-time
Operation ival-sin, time spent: 510.0ms, 8.0% of total-time
Operation ival-exp, time spent: 457.0ms, 7.0% of total-time
Operation ival-div, time spent: 445.0ms, 7.0% of total-time
Operation ival-atan2, time spent: 333.0ms, 5.0% of total-time
Operation ival-cos, time spent: 310.0ms, 5.0% of total-time
Operation ival-sub, time spent: 250.0ms, 4.0% of total-time
Operation ival-sqrt, time spent: 241.0ms, 4.0% of total-time
Operation const, time spent: 87.0ms, 1.0% of total-time
Operation ival-fabs, time spent: 25.0ms, 0.0% of total-time
Operation ival-neg, 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: 4.0ms, 0.0% of total-time

series12.2s (1.9%)

Counts
1271 → 25385
Calls

6474 calls:

TimeVariablePointExpression
341.0ms
y.re
@-inf
(* y.re (+ x.im (/ (* x.re y.im) y.re)))
204.0ms
y.im
@0
(* (log (neg x.re)) y.im)
161.0ms
x.im
@0
(pow (exp y.im) (atan2 x.im x.re))
160.0ms
y.re
@0
(* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.re)
134.0ms
y.im
@-inf
(pow (exp y.im) (atan2 x.im x.re))

regimes10.9s (1.7%)

Counts
5939 → 726
Calls

132 calls:

1.1s
y.im
882.0ms
im
822.0ms
y.re
757.0ms
x
744.0ms
x.im
Compiler

Compiled 5756 to 3862 computations (32.9% saved)

analyze6.8s (1%)

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: 5.2s
Operation ival-sin, time spent: 1.0s, 19.0% of total-time
Operation ival-mult, time spent: 953.0ms, 18.0% of total-time
Operation ival-cos, time spent: 746.0ms, 14.0% of total-time
Operation ival-add, time spent: 620.0ms, 12.0% of total-time
Operation ival-log, time spent: 358.0ms, 7.0% of total-time
Operation ival-atan2, time spent: 342.0ms, 7.0% of total-time
Operation ival-sub, time spent: 318.0ms, 6.0% of total-time
Operation ival-pow, time spent: 313.0ms, 6.0% of total-time
Operation ival-sqrt, time spent: 186.0ms, 4.0% of total-time
Operation ival-div, time spent: 149.0ms, 3.0% of total-time
Operation const, time spent: 65.0ms, 1.0% of total-time
Operation ival-exp, time spent: 60.0ms, 1.0% of total-time
Operation ival-pi, time spent: 17.0ms, 0.0% of total-time
Operation ival-<=, time spent: 15.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

end19.0ms (0%)

Profiling

Loading profile data...