Herbie run

Date:Thursday, May 16th, 2024
Commit:b03b03c2 on artem-sharing-exponents
Hostname:nightly with Racket 8.11.1
Seed:2024137
Parameters:256 points for 4 iterations
Flags:
localize:costslocalize:errorsreduce: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: 9.0min)

sample2.6min (28.3%)

Results
1.8min466560×0valid
23.9s7782×5exit
2.7s3957×1valid
1.3s4121×0unsamplable
51.0ms510×0invalid
19.0ms74×2valid
0.0ms1×3valid
Precisions
Click to see histograms. Total time spent on operations: 1.8min
ival-mult: 20.7s (18.7% of total)
ival-pow: 16.3s (14.7% of total)
...c/correct-round.rkt:130:19: 15.3s (13.8% of total)
ival-sin: 12.3s (11.1% of total)
ival-exp: 9.3s (8.4% of total)
ival-div: 7.6s (6.9% of total)
ival-add: 7.5s (6.8% of total)
backward-pass: 5.6s (5% of total)
ival-log: 3.0s (2.7% of total)
ival-sub: 2.6s (2.3% of total)
ival-sqrt: 1.8s (1.6% of total)
ival-cos: 1.6s (1.5% of total)
ival-neg: 1.5s (1.3% of total)
ival-atan2: 1.2s (1.1% of total)
ival->: 962.0ms (0.9% of total)
ival-asin: 904.0ms (0.8% of total)
const: 710.0ms (0.6% of total)
ival-pi: 401.0ms (0.4% of total)
ival-acosh: 329.0ms (0.3% of total)
ival-<=: 319.0ms (0.3% of total)
ival-asinh: 267.0ms (0.2% of total)
ival-fabs: 197.0ms (0.2% of total)
ival-atanh: 147.0ms (0.1% of total)
ival->=: 138.0ms (0.1% of total)
ival-and: 83.0ms (0.1% of total)
Bogosity

simplify1.6min (17.3%)

Algorithm
431×egg-herbie
Rules
153617×fma-define
104351×fma-neg
99873×distribute-lft-in
96771×associate-*r*
85307×distribute-rgt-in
Stop Event
145×saturated
274×node limit
12×unsound
Counts
93368 → 89746

localize58.2s (10.7%)

Results
25.1s42252×0valid
13.0s568×5exit
3.9s3935×0invalid
2.4s1480×1valid
206.0ms54×0unsamplable
144.0ms86×2valid
18.0ms9×3valid
Compiler

Compiled 51604 to 5328 computations (89.7% saved)

Precisions
Click to see histograms. Total time spent on operations: 32.5s
ival-pow: 6.5s (20% of total)
ival-log: 4.5s (13.9% of total)
ival-mult: 3.9s (12.1% of total)
ival-sin: 3.7s (11.3% of total)
ival-exp: 2.1s (6.6% of total)
ival-div: 1.6s (4.8% of total)
backward-pass: 1.5s (4.5% of total)
ival-cos: 1.4s (4.3% of total)
ival-add: 1.3s (4% of total)
ival-atan2: 1.2s (3.6% of total)
...c/correct-round.rkt:130:19: 1.1s (3.3% of total)
ival-fma: 634.0ms (2% of total)
ival-sub: 603.0ms (1.9% of total)
ival-log1p: 543.0ms (1.7% of total)
ival-hypot: 425.0ms (1.3% of total)
ival-sqrt: 375.0ms (1.2% of total)
ival-asin: 217.0ms (0.7% of total)
ival-neg: 209.0ms (0.6% of total)
ival-cbrt: 198.0ms (0.6% of total)
const: 133.0ms (0.4% of total)
ival-expm1: 122.0ms (0.4% of total)
ival-acos: 105.0ms (0.3% of total)
ival-copysign: 78.0ms (0.2% of total)
ival-e: 76.0ms (0.2% of total)
ival-fabs: 48.0ms (0.1% of total)
ival-pi: 27.0ms (0.1% of total)

soundness57.8s (10.7%)

Rules
61260×fma-define
55264×log1p-expm1-u
46377×fma-neg
42935×associate-*r*
41109×expm1-log1p-u
Stop Event
17×saturated
194×node limit
35×fuel
11×unsound
22×done
Compiler

Compiled 48971 to 13808 computations (71.8% saved)

rewrite48.3s (8.9%)

Algorithm
185×batch-egg-rewrite
Rules
123444×log1p-expm1-u
91516×expm1-log1p-u
39871×pow1
37977×add-exp-log
36259×add-log-exp
Stop Event
177×node limit
8×unsound
Counts
2092 → 57924

prune32.6s (6%)

Counts
134219 → 3220
Compiler

Compiled 161646 to 83301 computations (48.5% saved)

eval30.8s (5.7%)

Compiler

Compiled 4582216 to 553602 computations (87.9% saved)

series17.0s (3.1%)

Counts
2092 → 35444
Calls

9144 calls:

TimeVariablePointExpression
373.0ms
alpha
@0
(/ (/ (+ 1 alpha) beta) (+ (+ (+ alpha beta) (* 2 1)) 1))
240.0ms
y.im
@0
(/ (sqrt (+ (* y.re y.re) (* y.im y.im))) y.re)
216.0ms
y.im
@-inf
(pow (exp y.im) (atan2 x.im x.re))
164.0ms
x.im
@0
(* (exp (- (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.re) (* (atan2 x.im x.re) y.im))) (pow (cbrt (sin (+ (* y.re (atan2 x.im x.re)) (* y.im (log (sqrt (+ (* x.re x.re) (* x.im x.im)))))))) 3))
155.0ms
x
@inf
(log (+ 1 (fabs x)))

preprocess15.2s (2.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 31632 to 11990 computations (62.1% saved)

regimes12.4s (2.3%)

Counts
8762 → 746
Calls

132 calls:

1.5s
x.re
1.0s
im
922.0ms
y.re
773.0ms
x.im
558.0ms
y.im
Compiler

Compiled 6650 to 4075 computations (38.7% saved)

explain10.7s (2%)

Results
5.3s28014×0valid
768.0ms1124×1valid
13.0ms40×2valid
5.0ms6×5exit
Compiler

Compiled 13779 to 2169 computations (84.3% saved)

Precisions
Click to see histograms. Total time spent on operations: 3.2s
ival-mult: 994.0ms (30.8% of total)
ival-add: 407.0ms (12.6% of total)
ival-atan2: 300.0ms (9.3% of total)
ival-log: 251.0ms (7.8% of total)
...c/correct-round.rkt:130:19: 189.0ms (5.9% of total)
ival-div: 175.0ms (5.4% of total)
ival-sub: 152.0ms (4.7% of total)
ival-exp: 128.0ms (4% of total)
ival-cos: 116.0ms (3.6% of total)
ival-sqrt: 111.0ms (3.4% of total)
backward-pass: 96.0ms (3% of total)
ival-sin: 67.0ms (2.1% of total)
ival-asin: 58.0ms (1.8% of total)
ival-pi: 54.0ms (1.7% of total)
const: 48.0ms (1.5% of total)
ival-pow: 28.0ms (0.9% of total)
ival-fabs: 20.0ms (0.6% of total)
ival-neg: 11.0ms (0.3% of total)
ival-copysign: 10.0ms (0.3% of total)
ival-log1p: 9.0ms (0.3% of total)

bsearch8.1s (1.5%)

Algorithm
282×binary-search
49×left-value
Stop Event
14×predicate-same
268×narrow-enough
Results
5.7s30108×0valid
515.0ms1097×1valid
3.0ms11×2valid
Compiler

Compiled 59971 to 40616 computations (32.3% saved)

Precisions
Click to see histograms. Total time spent on operations: 4.5s
ival-mult: 2.2s (48.4% of total)
ival-add: 582.0ms (12.9% of total)
ival-log: 255.0ms (5.7% of total)
ival-div: 248.0ms (5.5% of total)
ival-sin: 228.0ms (5.1% of total)
ival-exp: 188.0ms (4.2% of total)
ival-cos: 183.0ms (4.1% of total)
ival-sub: 153.0ms (3.4% of total)
...c/correct-round.rkt:130:19: 129.0ms (2.9% of total)
ival-sqrt: 116.0ms (2.6% of total)
ival-atan2: 104.0ms (2.3% of total)
backward-pass: 62.0ms (1.4% of total)
const: 39.0ms (0.9% of total)
ival-neg: 12.0ms (0.3% of total)
ival-fabs: 12.0ms (0.3% of total)
ival-copysign: 8.0ms (0.2% of total)
ival-pow: 5.0ms (0.1% of total)
ival-pi: 1.0ms (0% of total)

analyze4.1s (0.8%)

Algorithm
58×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%86.3%13.7%0%0%0%0
53.4%46.1%40.2%13.7%0%0%0%1
62.8%53.1%31.4%13.7%0%1.7%0%2
71.2%58.4%23.6%13.7%0%4.3%0%3
77.4%62%18.1%13.7%0%6.2%0%4
83.5%66.8%13.2%13.7%0%6.3%0%5
85.8%68.3%11.3%13.7%0%6.6%0%6
88.3%70.3%9.4%13.7%0%6.6%0%7
89.9%71.5%8%13.7%0%6.8%0%8
91.1%72.5%7.1%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 790 computations (49.3% saved)

Precisions
Click to see histograms. Total time spent on operations: 2.6s
ival-mult: 543.0ms (21% of total)
ival-log: 427.0ms (16.5% of total)
ival-add: 421.0ms (16.3% of total)
...c/correct-round.rkt:130:19: 295.0ms (11.4% of total)
ival->: 168.0ms (6.5% of total)
ival-div: 162.0ms (6.3% of total)
ival-sqrt: 142.0ms (5.5% of total)
ival-sub: 93.0ms (3.6% of total)
ival-pow: 86.0ms (3.3% of total)
ival-atan2: 72.0ms (2.8% of total)
ival-exp: 63.0ms (2.4% of total)
ival-sin: 27.0ms (1% of total)
const: 23.0ms (0.9% of total)
ival-cos: 17.0ms (0.7% of total)
ival-neg: 14.0ms (0.5% of total)
ival-<=: 12.0ms (0.5% of total)
ival-pi: 9.0ms (0.3% of total)
backward-pass: 5.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...