Herbie run

Date:Tuesday, April 16th, 2024
Commit:7c422dd2 on artem-sharing-exponents
Hostname:nightly with Racket 8.11.1
Seed:2024107
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: 8.4min)

sample2.3min (27.3%)

Results
1.0min452831×0valid
6.6s16873×1valid
41.7s7845×5exit
1.8s5580×0unsamplable
424.0ms938×2valid
107.0ms507×0invalid
Precisions
Click to see histograms. Total time spent on operations: 1.6min
ival-sin: 27.2s (29% of total)
ival-mult: 20.3s (21.6% of total)
ival-add: 8.8s (9.4% of total)
backward-pass: 8.5s (9% of total)
ival-div: 6.3s (6.7% of total)
ival-sub: 6.0s (6.3% of total)
ival-exp: 3.6s (3.8% of total)
ival-log: 2.1s (2.2% of total)
ival-sqrt: 1.8s (1.9% of total)
ival-pow: 1.7s (1.8% of total)
const: 1.3s (1.4% of total)
ival-cos: 1.1s (1.2% of total)
ival-asin: 1.0s (1.1% of total)
ival->: 904.0ms (1% of total)
ival-atan2: 849.0ms (0.9% of total)
ival-pi: 657.0ms (0.7% of total)
ival-fabs: 397.0ms (0.4% of total)
ival-acosh: 284.0ms (0.3% of total)
ival-<=: 275.0ms (0.3% of total)
ival-asinh: 271.0ms (0.3% of total)
ival-neg: 253.0ms (0.3% of total)
ival-atanh: 220.0ms (0.2% of total)
ival->=: 137.0ms (0.1% of total)
ival-and: 83.0ms (0.1% of total)
Bogosity

localize1.5min (17.5%)

Results
29.2s37028×0valid
5.7s4352×0invalid
22.2s3911×1valid
3.4s768×2valid
4.7s693×5exit
2.2s354×1invalid
269.0ms252×0unsamplable
4.0ms1×3valid
8.0ms1×5valid
Compiler

Compiled 45250 to 25680 computations (43.2% saved)

Precisions
Click to see histograms. Total time spent on operations: 54.0s
ival-mult: 10.8s (19.9% of total)
ival-pow: 7.5s (13.8% of total)
ival-add: 7.0s (12.9% of total)
ival-div: 5.6s (10.3% of total)
backward-pass: 5.1s (9.4% of total)
ival-sub: 4.7s (8.6% of total)
ival-fma: 2.4s (4.4% of total)
ival-sqrt: 1.9s (3.5% of total)
ival-log: 1.8s (3.3% of total)
const: 1.5s (2.8% of total)
ival-asin: 1.3s (2.3% of total)
ival-exp: 1.1s (2.1% of total)
ival-hypot: 757.0ms (1.4% of total)
ival-cos: 564.0ms (1% of total)
ival-log1p: 474.0ms (0.9% of total)
ival-cbrt: 378.0ms (0.7% of total)
ival-sin: 331.0ms (0.6% of total)
ival-neg: 228.0ms (0.4% of total)
ival-expm1: 193.0ms (0.4% of total)
ival-atan2: 165.0ms (0.3% of total)
ival-copysign: 163.0ms (0.3% of total)
ival-pi: 129.0ms (0.2% of total)
ival-acos: 106.0ms (0.2% of total)
ival-fabs: 52.0ms (0.1% of total)
ival-e: 7.0ms (0% of total)

simplify55.6s (11%)

Algorithm
228×egg-herbie
Rules
65266×fma-define
54787×fma-neg
51593×distribute-lft-in
49142×associate-*r*
48000×*-commutative
Stop Event
57×saturated
166×node limit
5×unsound
Counts
67788 → 62070

eval45.9s (9.1%)

Compiler

Compiled 2946216 to 1876560 computations (36.3% saved)

soundness42.4s (8.4%)

Rules
58511×fma-define
46866×fma-neg
45519×log1p-expm1-u
40383×associate-*r*
35116×expm1-log1p-u
Stop Event
21×saturated
34×fuel
173×node limit
7×unsound
23×done
Compiler

Compiled 43925 to 24635 computations (43.9% saved)

rewrite35.4s (7%)

Algorithm
171×batch-egg-rewrite
Rules
114603×log1p-expm1-u
83104×expm1-log1p-u
34442×pow1
33031×add-exp-log
32991×prod-diff
Stop Event
163×node limit
8×unsound
Counts
1329 → 41001

prune23.0s (4.6%)

Counts
88998 → 2674
Compiler

Compiled 111660 to 76914 computations (31.1% saved)

explain21.8s (4.3%)

Results
8.1s26138×0valid
6.6s2546×1valid
448.0ms482×2valid
17.0ms18×5exit
Compiler

Compiled 13779 to 6602 computations (52.1% saved)

Precisions
Click to see histograms. Total time spent on operations: 12.1s
ival-mult: 2.6s (21.9% of total)
ival-sub: 2.2s (18.5% of total)
ival-add: 2.1s (17% of total)
ival-div: 1.9s (15.3% of total)
backward-pass: 1.5s (12% of total)
ival-sqrt: 363.0ms (3% of total)
const: 338.0ms (2.8% of total)
ival-log: 253.0ms (2.1% of total)
ival-exp: 225.0ms (1.9% of total)
ival-pow: 183.0ms (1.5% of total)
ival-cos: 143.0ms (1.2% of total)
ival-asin: 86.0ms (0.7% of total)
ival-sin: 78.0ms (0.6% of total)
ival-atan2: 51.0ms (0.4% of total)
ival-neg: 34.0ms (0.3% of total)
ival-fabs: 26.0ms (0.2% of total)
ival-pi: 23.0ms (0.2% of total)
ival-log1p: 19.0ms (0.2% of total)
ival-copysign: 18.0ms (0.1% of total)

regimes13.7s (2.7%)

Counts
6217 → 761
Calls

132 calls:

2.0s
x.im
1.6s
x.re
1.5s
y.im
1.3s
y.re
1.2s
im
Compiler

Compiled 6016 to 3982 computations (33.8% saved)

series13.2s (2.6%)

Counts
1329 → 26787
Calls

6873 calls:

TimeVariablePointExpression
246.0ms
x.im
@0
(pow (cbrt (/ (pow (cbrt (+ (* x.im y.re) (* x.re y.im))) 2) (sqrt (+ (* y.re y.re) (* y.im y.im))))) 3)
244.0ms
wj
@0
(* (- (* wj (+ (* 8/3 wj) -5/2)) (* (- 1 wj) (/ wj x))) (neg x))
223.0ms
y.im
@inf
(/ (pow (sqrt (+ (* x.re x.re) (* x.im x.im))) y.re) (pow (exp y.im) (atan2 x.im x.re)))
193.0ms
x.im
@0
(sin (+ (* (log (neg x.re)) y.im) (* (atan2 x.im x.re) y.re)))
179.0ms
u1
@inf
(pow (* (log u1) -1/18) 1/4)

preprocess12.8s (2.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
Compiler

Compiled 27854 to 15530 computations (44.2% saved)

bsearch10.6s (2.1%)

Algorithm
347×binary-search
40×left-value
Stop Event
20×predicate-same
327×narrow-enough
Results
5.0s34363×0valid
2.1s4455×1valid
290.0ms654×2valid
Compiler

Compiled 74067 to 51498 computations (30.5% saved)

Precisions
Click to see histograms. Total time spent on operations: 5.3s
ival-mult: 2.0s (38.2% of total)
ival-add: 574.0ms (10.9% of total)
ival-sin: 495.0ms (9.4% of total)
backward-pass: 412.0ms (7.8% of total)
ival-log: 393.0ms (7.5% of total)
ival-exp: 295.0ms (5.6% of total)
ival-sub: 224.0ms (4.3% of total)
ival-div: 215.0ms (4.1% of total)
ival-sqrt: 194.0ms (3.7% of total)
ival-atan2: 186.0ms (3.5% of total)
ival-cos: 136.0ms (2.6% of total)
const: 71.0ms (1.3% of total)
ival-neg: 27.0ms (0.5% of total)
ival-fabs: 19.0ms (0.4% of total)
ival-copysign: 7.0ms (0.1% of total)
ival-pi: 2.0ms (0% of total)

analyze4.0s (0.8%)

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%54.1%30.5%13.7%0%1.7%0%2
71.8%58.9%23.1%13.7%0%4.3%0%3
77.7%62.2%17.8%13.7%0%6.2%0%4
83.7%66.9%13%13.7%0%6.3%0%5
85.8%68.4%11.3%13.7%0%6.6%0%6
88.3%70.3%9.3%13.7%0%6.6%0%7
90%71.5%8%13.7%0%6.8%0%8
91.1%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 994 computations (36.2% saved)

Precisions
Click to see histograms. Total time spent on operations: 2.4s
ival-mult: 640.0ms (26.6% of total)
ival-add: 394.0ms (16.4% of total)
ival-sub: 360.0ms (15% of total)
ival-div: 223.0ms (9.3% of total)
ival-log: 211.0ms (8.8% of total)
ival-sqrt: 186.0ms (7.7% of total)
ival-pow: 86.0ms (3.6% of total)
ival-atan2: 86.0ms (3.6% of total)
ival-exp: 85.0ms (3.5% of total)
const: 43.0ms (1.8% of total)
ival-sin: 24.0ms (1% of total)
ival-cos: 15.0ms (0.6% of total)
ival->: 12.0ms (0.5% of total)
ival-<=: 10.0ms (0.4% of total)
ival-neg: 10.0ms (0.4% of total)
ival-pi: 8.0ms (0.3% of total)
backward-pass: 6.0ms (0.2% of total)
ival-and: 2.0ms (0.1% of total)
ival-asin: 1.0ms (0% of total)
ival-atanh: 1.0ms (0% of total)
ival-asinh: 0.0ms (0% of total)
ival->=: 0.0ms (0% of total)
ival-fabs: 0.0ms (0% of total)
ival-acosh: 0.0ms (0% of total)

end0.0ms (0%)

Profiling

Loading profile data...