Herbie run
| Date: | Tuesday, June 11th, 2024 |
|---|---|
| Commit: | 94492e0f on zane-fix-improve-start-test |
| Hostname: | nightly with Racket 8.11.1 |
| Seed: | 2024163 |
| 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: 6.2min)
| 34.0s | 275733× | 0 | valid |
| 19.1s | 54545× | 1 | valid |
| 8.0s | 16387× | 2 | valid |
| 912.0ms | 5184× | 0 | invalid |
| 283.0ms | 202× | 5 | exit |
| 24.0ms | 87× | 3 | valid |
ival-mult: 10.8s (23.9% of total)ival-pow: 5.6s (12.3% of total)ival-add: 4.9s (10.8% of total)ival-div: 4.7s (10.3% of total)ival-sub: 3.6s (8% of total)ival-sin: 2.8s (6.1% of total)...in/eval/compile.rkt:71:19: 2.6s (5.8% of total)adjust: 2.3s (5.1% of total)ival-<=: 2.2s (4.8% of total)ival-cos: 880.0ms (1.9% of total)ival-log: 872.0ms (1.9% of total)ival-exp: 791.0ms (1.7% of total)ival-sqrt: 679.0ms (1.5% of total)ival-neg: 490.0ms (1.1% of total)ival-==: 461.0ms (1% of total)ival-and: 425.0ms (0.9% of total)...in/eval/compile.rkt:70:19: 396.0ms (0.9% of total)ival-fma: 248.0ms (0.5% of total)ival-assert: 191.0ms (0.4% of total)ival-true: 154.0ms (0.3% of total)ival-atan: 79.0ms (0.2% of total)ival-<: 64.0ms (0.1% of total)ival-tan: 62.0ms (0.1% of total)ival-pi: 32.0ms (0.1% of total)ival-if: 8.0ms (0% of total)ival-fabs: 7.0ms (0% of total)| 334× | egg-herbie |
| 113801× | fma-define |
| 83548× | fmm-def |
| 68662× | distribute-lft-in |
| 56033× | distribute-rgt-in |
| 51225× | times-frac |
| 113× | saturated |
| 219× | node limit |
| 2× | unsound |
| 143× | batch-egg-rewrite |
| 85044× | log1p-expm1-u |
| 67457× | expm1-log1p-u |
| 29014× | prod-diff |
| 28787× | pow1 |
| 27337× | add-exp-log |
| 143× | node limit |
| 42161× | log1p-expm1-u |
| 35350× | fma-define |
| 34807× | expm1-log1p-u |
| 32486× | fmm-def |
| 26198× | distribute-lft-in |
| 8× | saturated |
| 147× | node limit |
| 24× | fuel |
| 1× | unsound |
| 18× | done |
Compiled 27796 to 8369 computations (69.9% saved)
| 10.3s | 30465× | 0 | valid |
| 5.3s | 1516× | 5 | exit |
| 3.3s | 3529× | 1 | valid |
| 2.9s | 1371× | 2 | valid |
| 504.0ms | 1172× | 0 | invalid |
| 273.0ms | 82× | 3 | valid |
| 30.0ms | 8× | 4 | valid |
| 5.0ms | 1× | 5 | valid |
Compiled 30320 to 3554 computations (88.3% saved)
ival-mult: 2.8s (21.6% of total)ival-add: 2.1s (15.9% of total)adjust: 1.8s (13.6% of total)ival-pow: 1.6s (12.4% of total)ival-div: 1.4s (11% of total)ival-sub: 625.0ms (4.8% of total)ival-log1p: 616.0ms (4.7% of total)ival-expm1: 467.0ms (3.6% of total)...in/eval/compile.rkt:71:19: 456.0ms (3.5% of total)ival-fma: 327.0ms (2.5% of total)ival-exp: 231.0ms (1.8% of total)ival-cbrt: 116.0ms (0.9% of total)ival-neg: 92.0ms (0.7% of total)ival-sqrt: 85.0ms (0.7% of total)ival-sin: 62.0ms (0.5% of total)...in/eval/compile.rkt:70:19: 59.0ms (0.5% of total)ival-cos: 48.0ms (0.4% of total)ival-hypot: 43.0ms (0.3% of total)ival-true: 35.0ms (0.3% of total)ival-assert: 24.0ms (0.2% of total)ival-atan: 18.0ms (0.1% of total)ival-log: 17.0ms (0.1% of total)ival-tan: 5.0ms (0% of total)ival-pi: 4.0ms (0% of total)Compiled 2900201 to 401790 computations (86.1% saved)
Compiled 74043 to 38952 computations (47.4% saved)
| Operator | Subexpression | Explanation | Count | |
|---|---|---|---|---|
-.f64 | #f | cancellation | 1364 | 1 |
+.f64 | #f | cancellation | 360 | 85 |
-.f64 | (-.f64 (*.f64 #s(literal 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 binary64) t) #s(literal 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 binary64)) | oflow-left | 221 | 0 |
sqrt.f64 | #f | oflow-rescue | 218 | 0 |
/.f64 | #f | o/o | 171 | 0 |
log.f64 | (log.f64 (+.f64 #s(literal 1 binary64) x)) | sensitivity | 169 | 0 |
/.f64 | #f | n/o | 164 | 0 |
pow.f64 | (pow.f64 (+.f64 #s(literal 1 binary64) (/.f64 i n)) n) | sensitivity | 129 | 0 |
/.f64 | #f | u/n | 99 | 0 |
-.f64 | #f | nan-rescue | 78 | 0 |
/.f64 | #f | n/u | 45 | 0 |
+.f64 | #f | nan-rescue | 45 | 0 |
*.f64 | #f | n*u | 44 | 0 |
/.f64 | #f | u/u | 40 | 0 |
/.f64 | #f | o/n | 25 | 0 |
*.f64 | #f | n*o | 20 | 0 |
pow.f64 | (pow.f64 (+.f64 #s(literal 1 binary64) (/.f64 i n)) n) | oflow-rescue | 19 | 0 |
| ↳ | (pow.f64 (+.f64 #s(literal 1 binary64) (/.f64 i n)) n) | overflow | 31 | |
| ↳ | (/.f64 i n) | overflow | 19 | |
| ↳ | (+.f64 #s(literal 1 binary64) (/.f64 i n)) | overflow | 19 | |
sqrt.f64 | #f | uflow-rescue | 8 | 0 |
| Predicted + | Predicted - | |
|---|---|---|
| + | 3639 | 469 |
| - | 129 | 6515 |
| Predicted + | Predicted Maybe | Predicted - | |
|---|---|---|---|
| + | 3639 | 142 | 327 |
| - | 129 | 200 | 6315 |
| number | freq |
|---|---|
| 0 | 6984 |
| 1 | 3336 |
| 2 | 393 |
| 3 | 39 |
| Predicted + | Predicted Maybe | Predicted - | |
|---|---|---|---|
| + | 29 | 1 | 1 |
| - | 2 | 0 | 9 |
| 3.0s | 16220× | 0 | valid |
| 1.5s | 3864× | 1 | valid |
| 793.0ms | 1394× | 2 | valid |
| 30.0ms | 26× | 3 | valid |
Compiled 8444 to 1928 computations (77.2% saved)
ival-mult: 687.0ms (23.7% of total)ival-add: 578.0ms (20% of total)adjust: 395.0ms (13.7% of total)ival-div: 343.0ms (11.9% of total)ival-pow: 211.0ms (7.3% of total)ival-sin: 180.0ms (6.2% of total)ival-sub: 167.0ms (5.8% of total)ival-log: 83.0ms (2.9% of total)ival-exp: 45.0ms (1.6% of total)...in/eval/compile.rkt:71:19: 42.0ms (1.5% of total)ival-cos: 36.0ms (1.2% of total)ival-sqrt: 26.0ms (0.9% of total)ival-true: 25.0ms (0.9% of total)ival-neg: 22.0ms (0.8% of total)...in/eval/compile.rkt:70:19: 18.0ms (0.6% of total)ival-fma: 13.0ms (0.4% of total)ival-assert: 13.0ms (0.4% of total)ival-atan: 5.0ms (0.2% of total)ival-tan: 4.0ms (0.1% of total)ival-pi: 2.0ms (0.1% of total)| 42× | egg-herbie |
| 18502× | fmm-def |
| 16342× | fma-define |
| 9180× | sub-neg |
| 8997× | unsub-neg |
| 7628× | distribute-rgt-in |
| 20× | saturated |
| 22× | node limit |
Compiled 17740 to 7012 computations (60.5% saved)
| 216× | binary-search |
| 18× | left-value |
| 14× | predicate-same |
| 202× | narrow-enough |
| 2.8s | 21159× | 0 | valid |
| 1.5s | 4579× | 1 | valid |
| 154.0ms | 422× | 2 | valid |
| 136.0ms | 1720× | 0 | invalid |
Compiled 49998 to 32657 computations (34.7% saved)
ival-pow: 920.0ms (29.5% of total)ival-mult: 847.0ms (27.2% of total)ival-div: 514.0ms (16.5% of total)ival-add: 342.0ms (11% of total)ival-sub: 228.0ms (7.3% of total)adjust: 85.0ms (2.7% of total)ival-exp: 48.0ms (1.5% of total)ival-neg: 44.0ms (1.4% of total)ival-sqrt: 30.0ms (1% of total)ival-true: 22.0ms (0.7% of total)...in/eval/compile.rkt:70:19: 19.0ms (0.6% of total)ival-assert: 16.0ms (0.5% of total)ival-pi: 1.0ms (0% of total)96 calls:
| 894.0ms | x |
| 437.0ms | b |
| 332.0ms | x1 |
| 310.0ms | a |
| 310.0ms | d |
Compiled 3937 to 2453 computations (37.7% saved)
7011 calls:
| Time | Variable | Point | Expression | |
|---|---|---|---|---|
| 321.0ms | a | @ | 0 | (* (+ c (+ d a)) 2) |
| 214.0ms | eps | @ | -inf | (+ (exp (* x (neg eps))) (exp (* x eps))) |
| 157.0ms | d | @ | -inf | (/ (+ a (* b (/ d c))) c) |
| 93.0ms | x | @ | -inf | (- (pow (+ x eps) 5) (* (pow x 5/2) (pow x 5/2))) |
| 86.0ms | i | @ | 0 | (/ (- (pow (+ 1 (/ i n)) n) 1) (/ i n)) |
| 43× | search |
| 2× | random |
| Probability | Valid | Unknown | Precondition | Infinite | Domain | Can't | Iter |
|---|---|---|---|---|---|---|---|
| 0% | 0% | 54.5% | 45.5% | 0% | 0% | 0% | 0 |
| 21.4% | 11.7% | 42.9% | 45.5% | 0% | 0% | 0% | 1 |
| 35.2% | 19.2% | 35.3% | 45.5% | 0% | 0% | 0% | 2 |
| 47.6% | 25.7% | 28.3% | 45.5% | 0% | 0.6% | 0% | 3 |
| 57.1% | 30.5% | 22.8% | 45.5% | 0% | 1.2% | 0% | 4 |
| 70.9% | 37.5% | 15.4% | 45.5% | 0% | 1.6% | 0% | 5 |
| 72.8% | 38.4% | 14.4% | 45.5% | 0% | 1.8% | 0% | 6 |
| 77.8% | 40.7% | 11.6% | 45.5% | 0% | 2.2% | 0% | 7 |
| 81.4% | 42.5% | 9.7% | 45.5% | 0% | 2.3% | 0% | 8 |
| 84.1% | 43.8% | 8.3% | 45.5% | 0% | 2.4% | 0% | 9 |
| 86.2% | 44.6% | 7.2% | 45.5% | 0% | 2.7% | 0% | 10 |
| 88.2% | 45.6% | 6.1% | 45.5% | 0% | 2.7% | 0.1% | 11 |
| 89.1% | 45.9% | 5.6% | 45.5% | 0% | 2.9% | 0.1% | 12 |
Compiled 1401 to 733 computations (47.7% saved)
Loading profile data...