Herbie run

Date:Friday, March 15th, 2024
Commit:780c4768 on zane-regimes-inverted
Hostname:nightly with Racket 8.11.1
Seed:2024075
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: 11.4min)

sample3.3min (29.1%)

Results
1.3min372522×256valid
16.2s72938×256infinite
6.6s10634×1024valid
1.2min7616×8192exit
2.6s7033×512valid
1.4s5596×256unsamplable
4.0s4480×512infinite
1.0s1907×2048valid
753.0ms1046×4096valid
114.0ms526×256invalid
110.0ms89×1024infinite
Precisions
Click to see histograms. Total time spent on operations: 2.1min
Operation ival-sin, time spent: 50.2s, 40.0% of total-time
Operation ival-mult, time spent: 21.3s, 17.0% of total-time
Operation ival-add, time spent: 11.2s, 9.0% of total-time
Operation ival-sub, time spent: 9.3s, 7.0% of total-time
Operation ival-div, time spent: 8.6s, 7.0% of total-time
Operation ival-pow, time spent: 4.8s, 4.0% of total-time
Operation ival-log, time spent: 3.5s, 3.0% of total-time
Operation ival-exp, time spent: 3.1s, 2.0% of total-time
Operation ival-sqrt, time spent: 2.7s, 2.0% of total-time
Operation ival-asin, time spent: 2.2s, 2.0% of total-time
Operation const, time spent: 2.0s, 2.0% of total-time
Operation ival-cos, time spent: 1.8s, 1.0% of total-time
Operation ival-atan2, time spent: 1.3s, 1.0% of total-time
Operation ival->, time spent: 856.0ms, 1.0% of total-time
Operation ival-asinh, time spent: 703.0ms, 1.0% of total-time
Operation ival-pi, time spent: 684.0ms, 1.0% of total-time
Operation ival-neg, time spent: 575.0ms, 0.0% of total-time
Operation ival-<=, time spent: 533.0ms, 0.0% of total-time
Operation ival-atanh, time spent: 421.0ms, 0.0% of total-time
Operation ival-acosh, time spent: 356.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 244.0ms, 0.0% of total-time
Operation ival->=, time spent: 156.0ms, 0.0% of total-time
Operation ival-and, time spent: 103.0ms, 0.0% of total-time
Bogosity

localize3.1min (27.3%)

Compiler

Compiled 52571 to 30493 computations (42% saved)

Precisions
Click to see histograms. Total time spent on operations: 2.2min
Operation ival-mult, time spent: 26.4s, 20.0% of total-time
Operation ival-add, time spent: 17.0s, 13.0% of total-time
Operation ival-pow, time spent: 16.7s, 13.0% of total-time
Operation ival-div, time spent: 14.1s, 11.0% of total-time
Operation composed, time spent: 12.3s, 9.0% of total-time
Operation ival-log, time spent: 11.2s, 9.0% of total-time
Operation ival-sub, time spent: 9.2s, 7.0% of total-time
Operation ival-asin, time spent: 6.6s, 5.0% of total-time
Operation ival-exp, time spent: 3.5s, 3.0% of total-time
Operation const, time spent: 3.3s, 3.0% of total-time
Operation ival-sqrt, time spent: 3.1s, 2.0% of total-time
Operation ival-cos, time spent: 2.8s, 2.0% of total-time
Operation ival-acos, time spent: 1.9s, 1.0% of total-time
Operation ival-sin, time spent: 1.2s, 1.0% of total-time
Operation ival-atan2, time spent: 531.0ms, 0.0% of total-time
Operation ival-neg, time spent: 323.0ms, 0.0% of total-time
Operation ival-cbrt, time spent: 298.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 148.0ms, 0.0% of total-time
Operation ival-copysign, time spent: 113.0ms, 0.0% of total-time
Operation ival-pi, time spent: 84.0ms, 0.0% of total-time

eval1.2min (10.2%)

Compiler

Compiled 3178232 to 2015761 computations (36.6% saved)

simplify48.4s (7.1%)

Algorithm
226×egg-herbie
Rules
63298×fma-define
51817×fma-neg
47705×distribute-lft-in
45205×times-frac
44626×*-commutative
Stop Event
57×saturated
165×node limit
35×fuel
4×unsound
22×done
Counts
63091 → 60644
Compiler

Compiled 10452 to 6831 computations (34.6% saved)

soundness43.1s (6.3%)

Rules
55772×fma-define
49888×log1p-expm1-u
43557×fma-neg
39847×expm1-log1p-u
36719×distribute-lft-in
Stop Event
18×saturated
179×node limit
8×unsound
Compiler

Compiled 45862 to 29167 computations (36.4% saved)

preprocess39.6s (5.8%)

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 46367 to 25662 computations (44.7% saved)

Precisions
Click to see histograms. Total time spent on operations: 13.1s
Operation ival-mult, time spent: 3.0s, 23.0% of total-time
Operation ival-add, time spent: 2.7s, 21.0% of total-time
Operation ival-sub, time spent: 2.0s, 15.0% of total-time
Operation ival-div, time spent: 1.9s, 15.0% of total-time
Operation ival-log, time spent: 664.0ms, 5.0% of total-time
Operation ival-sqrt, time spent: 486.0ms, 4.0% of total-time
Operation const, time spent: 440.0ms, 3.0% of total-time
Operation ival-pow, time spent: 392.0ms, 3.0% of total-time
Operation ival-exp, time spent: 355.0ms, 3.0% of total-time
Operation composed, time spent: 341.0ms, 3.0% of total-time
Operation ival-asin, time spent: 338.0ms, 3.0% of total-time
Operation ival-sin, time spent: 121.0ms, 1.0% of total-time
Operation ival-cos, time spent: 120.0ms, 1.0% of total-time
Operation ival-atan2, time spent: 73.0ms, 1.0% of total-time
Operation ival-pi, time spent: 50.0ms, 0.0% of total-time
Operation ival-neg, time spent: 48.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 23.0ms, 0.0% of total-time
Operation ival-copysign, time spent: 14.0ms, 0.0% of total-time

rewrite34.6s (5.1%)

Algorithm
169×batch-egg-rewrite
Rules
111644×log1p-expm1-u
90080×expm1-log1p-u
36737×pow1
35684×add-exp-log
34485×prod-diff
Stop Event
161×node limit
8×unsound
Counts
1246 → 38652

prune24.7s (3.6%)

Counts
91172 → 2860
Compiler

Compiled 139486 to 98236 computations (29.6% saved)

regimes11.9s (1.7%)

Counts
6439 → 699
Calls

132 calls:

1.2s
y.re
920.0ms
im
904.0ms
y.im
890.0ms
re
723.0ms
x.im
Compiler

Compiled 6404 to 4343 computations (32.2% saved)

series11.5s (1.7%)

Counts
1246 → 24439
Calls

6363 calls:

TimeVariablePointExpression
186.0ms
x.re
@0
(sin (+ (* (log (neg x.im)) y.im) (* (atan2 x.im x.re) y.re)))
181.0ms
y.re
@0
(* y.re (neg (log (/ -1 x.re))))
180.0ms
u1
@0
(pow (* (log u1) -1/18) 1/4)
164.0ms
u1
@-inf
(cbrt (* 1/6 (sqrt (* -2 (log u1)))))
162.0ms
im
@inf
(/ 1 (log (sqrt (+ (* re re) (* im im)))))

bsearch10.4s (1.5%)

Algorithm
297×binary-search
42×left-value
Stop Event
10×predicate-same
287×narrow-enough
Results
5.7s26274×256valid
1.4s6370×256infinite
892.0ms802×512infinite
414.0ms675×512valid
187.0ms450×1024valid
303.0ms392×2048valid
57.0ms106×4096valid
41.0ms35×1024infinite
Compiler

Compiled 62797 to 44540 computations (29.1% saved)

Precisions
Click to see histograms. Total time spent on operations: 4.5s
Operation ival-mult, time spent: 1.6s, 35.0% of total-time
Operation ival-add, time spent: 695.0ms, 16.0% of total-time
Operation ival-div, time spent: 343.0ms, 8.0% of total-time
Operation ival-sin, time spent: 317.0ms, 7.0% of total-time
Operation ival-sub, time spent: 283.0ms, 6.0% of total-time
Operation ival-log, time spent: 264.0ms, 6.0% of total-time
Operation ival-atan2, time spent: 248.0ms, 6.0% of total-time
Operation ival-sqrt, time spent: 200.0ms, 4.0% of total-time
Operation ival-exp, time spent: 175.0ms, 4.0% of total-time
Operation ival-cos, time spent: 170.0ms, 4.0% of total-time
Operation const, time spent: 94.0ms, 2.0% of total-time
Operation ival-asin, time spent: 52.0ms, 1.0% of total-time
Operation ival-fabs, time spent: 23.0ms, 1.0% of total-time
Operation ival-neg, time spent: 18.0ms, 0.0% of total-time
Operation ival-copysign, time spent: 15.0ms, 0.0% of total-time
Operation ival-pi, time spent: 6.0ms, 0.0% of total-time
Operation ival-pow, time spent: 6.0ms, 0.0% of total-time

analyze4.1s (0.6%)

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.5s
Operation ival-mult, time spent: 759.0ms, 30.0% of total-time
Operation ival-add, time spent: 357.0ms, 14.0% of total-time
Operation ival-sub, time spent: 316.0ms, 12.0% of total-time
Operation ival-log, time spent: 286.0ms, 11.0% of total-time
Operation ival-atan2, time spent: 184.0ms, 7.0% of total-time
Operation ival-sqrt, time spent: 164.0ms, 6.0% of total-time
Operation ival-div, time spent: 139.0ms, 5.0% of total-time
Operation ival-pow, time spent: 77.0ms, 3.0% of total-time
Operation ival-exp, time spent: 70.0ms, 3.0% of total-time
Operation const, time spent: 59.0ms, 2.0% of total-time
Operation ival-sin, time spent: 39.0ms, 2.0% of total-time
Operation ival-cos, time spent: 26.0ms, 1.0% of total-time
Operation ival-pi, time spent: 18.0ms, 1.0% of total-time
Operation ival->, time spent: 16.0ms, 1.0% of total-time
Operation ival-<=, time spent: 11.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...