Herbie run

Date:Thursday, May 16th, 2024
Commit:c2f4097e on main
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: 8.7min)

sample2.4min (27.6%)

Results
1.0min433959×0valid
42.6s7782×5exit
14.8s29346×1valid
3.0s6884×2valid
522.0ms4121×0unsamplable
278.0ms403×3valid
99.0ms510×0invalid
Precisions
Click to see histograms. Total time spent on operations: 1.6min
ival-sin: 34.1s (34.7% of total)
ival-mult: 20.2s (20.6% of total)
ival-add: 8.3s (8.5% of total)
ival-div: 5.7s (5.8% of total)
...c/correct-round.rkt:121:19: 5.6s (5.8% of total)
backward-pass: 3.6s (3.7% of total)
ival-exp: 3.2s (3.3% of total)
ival-sub: 3.1s (3.2% of total)
ival-log: 2.5s (2.6% of total)
ival-sqrt: 2.1s (2.2% of total)
ival-asin: 1.4s (1.5% of total)
ival-pow: 1.4s (1.4% of total)
ival-atan2: 1.2s (1.2% of total)
ival-cos: 1.1s (1.2% of total)
ival-pi: 816.0ms (0.8% of total)
const: 727.0ms (0.7% of total)
ival->: 658.0ms (0.7% of total)
ival-<=: 411.0ms (0.4% of total)
ival-acosh: 405.0ms (0.4% of total)
ival->=: 358.0ms (0.4% of total)
ival-neg: 338.0ms (0.3% of total)
ival-asinh: 233.0ms (0.2% of total)
ival-atanh: 202.0ms (0.2% of total)
ival-fabs: 199.0ms (0.2% of total)
ival-and: 81.0ms (0.1% of total)
Bogosity

simplify1.6min (18.5%)

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

soundness57.2s (10.9%)

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)

rewrite47.3s (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

localize45.8s (8.7%)

Results
16.1s37342×0valid
9.1s5385×1valid
2.6s570×5exit
2.5s1052×2valid
1.7s3930×0invalid
87.0ms46×3valid
24.0ms54×0unsamplable
4.0ms5×1invalid
Compiler

Compiled 51604 to 5328 computations (89.7% saved)

Precisions
Click to see histograms. Total time spent on operations: 19.4s
ival-mult: 4.1s (21.2% of total)
ival-pow: 2.1s (11% of total)
ival-div: 2.0s (10.1% of total)
ival-add: 1.9s (10% of total)
backward-pass: 1.5s (7.9% of total)
...c/correct-round.rkt:121:19: 1.2s (6.4% of total)
ival-fma: 1.1s (5.6% of total)
ival-log: 931.0ms (4.8% of total)
ival-sub: 576.0ms (3% of total)
ival-hypot: 568.0ms (2.9% of total)
ival-exp: 482.0ms (2.5% of total)
ival-sin: 461.0ms (2.4% of total)
ival-asin: 432.0ms (2.2% of total)
ival-sqrt: 418.0ms (2.2% of total)
ival-neg: 232.0ms (1.2% of total)
ival-cos: 199.0ms (1% of total)
ival-atan2: 180.0ms (0.9% of total)
ival-cbrt: 157.0ms (0.8% of total)
const: 149.0ms (0.8% of total)
ival-log1p: 131.0ms (0.7% of total)
ival-acos: 131.0ms (0.7% of total)
ival-fabs: 111.0ms (0.6% of total)
ival-copysign: 103.0ms (0.5% of total)
ival-expm1: 59.0ms (0.3% of total)
ival-pi: 41.0ms (0.2% of total)
ival-e: 18.0ms (0.1% of total)

prune34.4s (6.6%)

Counts
134219 → 3220
Compiler

Compiled 161646 to 83301 computations (48.5% saved)

eval27.9s (5.3%)

Compiler

Compiled 4582216 to 553602 computations (87.9% saved)

series20.4s (3.9%)

Counts
2092 → 35444
Calls

9144 calls:

TimeVariablePointExpression
537.0ms
im
@-inf
(log (+ 1 (log im)))
526.0ms
x
@0
(+ (log 2) (log x))
340.0ms
re
@inf
(log (+ 1 (sin re)))
328.0ms
im
@inf
(log (log im))
255.0ms
beta
@-inf
(pow (+ (/ (- beta alpha) (+ beta (+ alpha 2))) 1) 3)

preprocess12.8s (2.4%)

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.3s (2.3%)

Counts
8762 → 746
Calls

132 calls:

1.4s
x.re
901.0ms
x
880.0ms
y.re
745.0ms
im
707.0ms
y.im
Compiler

Compiled 6650 to 4075 computations (38.7% saved)

explain10.7s (2%)

Results
4.2s25658×0valid
1.9s2930×1valid
499.0ms572×2valid
8.0ms18×3valid
6.0ms6×5exit
Compiler

Compiled 13779 to 2169 computations (84.3% saved)

Precisions
Click to see histograms. Total time spent on operations: 3.5s
ival-mult: 1.0s (29.8% of total)
ival-add: 503.0ms (14.5% of total)
ival-log: 368.0ms (10.6% of total)
ival-div: 230.0ms (6.6% of total)
...c/correct-round.rkt:121:19: 215.0ms (6.2% of total)
ival-sub: 185.0ms (5.3% of total)
backward-pass: 166.0ms (4.8% of total)
ival-sqrt: 158.0ms (4.5% of total)
ival-exp: 132.0ms (3.8% of total)
ival-atan2: 108.0ms (3.1% of total)
ival-sin: 81.0ms (2.3% of total)
ival-asin: 66.0ms (1.9% of total)
ival-cos: 62.0ms (1.8% of total)
const: 51.0ms (1.5% of total)
ival-pow: 38.0ms (1.1% of total)
ival-fabs: 23.0ms (0.7% of total)
ival-pi: 21.0ms (0.6% of total)
ival-neg: 14.0ms (0.4% of total)
ival-copysign: 13.0ms (0.4% of total)
ival-log1p: 10.0ms (0.3% of total)

bsearch10.1s (1.9%)

Algorithm
282×binary-search
49×left-value
Stop Event
14×predicate-same
268×narrow-enough
Results
5.2s28695×0valid
1.5s2405×1valid
53.0ms113×2valid
1.0ms3×3valid
Compiler

Compiled 59971 to 40616 computations (32.3% saved)

Precisions
Click to see histograms. Total time spent on operations: 4.8s
ival-mult: 1.9s (39.5% of total)
ival-add: 723.0ms (15.2% of total)
ival-sqrt: 399.0ms (8.4% of total)
ival-sub: 374.0ms (7.8% of total)
ival-exp: 286.0ms (6% of total)
ival-sin: 250.0ms (5.2% of total)
ival-cos: 175.0ms (3.7% of total)
ival-log: 171.0ms (3.6% of total)
...c/correct-round.rkt:121:19: 156.0ms (3.3% of total)
ival-div: 124.0ms (2.6% of total)
ival-atan2: 81.0ms (1.7% of total)
backward-pass: 67.0ms (1.4% of total)
const: 40.0ms (0.8% of total)
ival-fabs: 13.0ms (0.3% of total)
ival-neg: 12.0ms (0.3% of total)
ival-copysign: 9.0ms (0.2% of total)
ival-pow: 5.0ms (0.1% of total)
ival-pi: 1.0ms (0% of total)

analyze3.8s (0.7%)

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.5s
ival-mult: 876.0ms (35.8% of total)
ival-add: 409.0ms (16.7% of total)
ival-log: 312.0ms (12.7% of total)
...c/correct-round.rkt:121:19: 234.0ms (9.6% of total)
ival-div: 128.0ms (5.2% of total)
ival-sqrt: 120.0ms (4.9% of total)
ival-pow: 72.0ms (2.9% of total)
ival-atan2: 70.0ms (2.9% of total)
ival-sub: 66.0ms (2.7% of total)
ival-exp: 54.0ms (2.2% of total)
const: 22.0ms (0.9% of total)
ival-sin: 22.0ms (0.9% of total)
ival-cos: 18.0ms (0.7% of total)
ival-<=: 15.0ms (0.6% of total)
ival->: 11.0ms (0.4% of total)
ival-pi: 7.0ms (0.3% of total)
ival-neg: 6.0ms (0.2% of total)
backward-pass: 4.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...