Herbie run
| Date: | Tuesday, August 6th, 2024 |
|---|---|
| Commit: | 2.2 on release |
| Hostname: | nightly with Racket 8.11.1 |
| Seed: | 2024219 |
| 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: 41.2min)
| 2 133× | egg-herbie |
| 13 029 148× | lower-fma.f32 |
| 13 025 832× | lower-fma.f64 |
| 5 044 362× | lower-*.f32 |
| 5 036 818× | lower-*.f64 |
| 2 805 772× | lower-+.f32 |
| 2 768× | iter limit |
| 1 166× | node limit |
| 996× | saturated |
| 1× | unsound |
| 932× | batch-egg-rewrite |
| 5 470 470× | lower-fma.f32 |
| 5 467 180× | lower-fma.f64 |
| 3 885 092× | lower-*.f32 |
| 3 877 648× | lower-*.f64 |
| 3 155 146× | lower-/.f32 |
| 1 913× | iter limit |
| 887× | node limit |
| 47× | saturated |
| 16× | unsound |
| 3.2min | 2 146 906× | 0 | valid |
| 22.5s | 67 590× | 1 | valid |
| 10.1s | 64 158× | 0 | invalid |
| 1.4s | 5 767× | 2 | valid |
| 937.0ms | 1 263× | 5 | exit |
| 471.0ms | 1 749× | 1 | invalid |
| 368.0ms | 408× | 4 | exit |
| 160.0ms | 601× | 3 | valid |
| 2.0ms | 21× | 1 | exit |
ival-mult: 46.5s (32.6% of total)ival-sub: 21.0s (14.7% of total)ival-add: 19.2s (13.5% of total)ival-div: 18.3s (12.8% of total)ival-log: 8.6s (6% of total)const: 5.9s (4.1% of total)ival-sqrt: 5.1s (3.6% of total)ival-sin: 4.3s (3% of total)adjust: 3.6s (2.5% of total)ival-cos: 3.0s (2.1% of total)ival-exp: 2.0s (1.4% of total)ival-true: 1.6s (1.1% of total)exact: 975.0ms (0.7% of total)ival-assert: 855.0ms (0.6% of total)ival-tan: 374.0ms (0.3% of total)ival-fabs: 323.0ms (0.2% of total)ival-acos: 307.0ms (0.2% of total)ival-cosh: 222.0ms (0.2% of total)ival-hypot: 186.0ms (0.1% of total)ival-sinh: 171.0ms (0.1% of total)ival-tanh: 101.0ms (0.1% of total)| 8 508 786× | lower-fma.f32 |
| 8 507 128× | lower-fma.f64 |
| 4 500 620× | lower-*.f32 |
| 4 496 576× | lower-*.f64 |
| 2 522 860× | lower-/.f32 |
| 1 516× | iter limit |
| 993× | node limit |
| 151× | fuel |
| 118× | done |
| 16× | saturated |
| 5× | unsound |
Compiled 165 932 to 79 735 computations (51.9% saved)
Compiled 23 519 257 to 1 797 391 computations (92.4% saved)
Compiled 557 651 to 301 230 computations (46% saved)
511 calls:
| 14.4s | x |
| 13.3s | y |
| 10.5s | z |
| 6.7s | t |
| 5.0s | a |
Compiled 80 647 to 60 105 computations (25.5% saved)
| 269× | egg-herbie |
| 845 124× | lower-fma.f64 |
| 845 124× | lower-fma.f32 |
| 193 164× | unsub-neg |
| 192 664× | lower-*.f32 |
| 191 630× | lower-*.f64 |
| 538× | iter limit |
| 394× | saturated |
| 144× | node limit |
Compiled 177 054 to 47 710 computations (73.1% saved)
| 45.4s | 222 742× | 0 | valid |
| 6.0s | 7 342× | 1 | valid |
| 2.4s | 2 542× | 2 | valid |
| 1.1s | 4 132× | 0 | invalid |
| 313.0ms | 538× | 1 | exit |
| 219.0ms | 230× | 5 | exit |
| 211.0ms | 569× | 0 | exit |
| 181.0ms | 229× | 3 | valid |
| 146.0ms | 258× | 2 | exit |
| 6.0ms | 10× | 4 | valid |
Compiled 103 387 to 19 070 computations (81.6% saved)
ival-mult: 12.3s (33.6% of total)ival-div: 6.7s (18.4% of total)ival-add: 6.3s (17.2% of total)const: 2.5s (6.8% of total)ival-sub: 2.1s (5.7% of total)adjust: 1.1s (3% of total)ival-cos: 1.0s (2.8% of total)ival-sqrt: 901.0ms (2.5% of total)ival-log: 844.0ms (2.3% of total)ival-sin: 629.0ms (1.7% of total)ival-neg: 522.0ms (1.4% of total)ival-pow: 432.0ms (1.2% of total)ival-log1p: 228.0ms (0.6% of total)ival-true: 189.0ms (0.5% of total)ival-exp: 188.0ms (0.5% of total)exact: 187.0ms (0.5% of total)ival-pow2: 134.0ms (0.4% of total)ival-assert: 98.0ms (0.3% of total)ival-tan: 79.0ms (0.2% of total)ival-acos: 47.0ms (0.1% of total)ival-fabs: 25.0ms (0.1% of total)ival-hypot: 22.0ms (0.1% of total)ival-cosh: 14.0ms (0% of total)ival-sinh: 11.0ms (0% of total)ival-tanh: 10.0ms (0% of total)ival-expm1: 6.0ms (0% of total)ival-asin: 3.0ms (0% of total)ival-pi: 3.0ms (0% of total)| Operator | Subexpression | Explanation | Count | |
|---|---|---|---|---|
log.f64 | #f | sensitivity | 1586 | 1 |
/.f64 | #f | o/n | 1163 | 0 |
sqrt.f64 | #f | oflow-rescue | 741 | 0 |
/.f64 | #f | o/o | 572 | 0 |
-.f64 | #f | cancellation | 549 | 9 |
*.f64 | #f | n*o | 498 | 0 |
-.f64 | #f | nan-rescue | 472 | 0 |
+.f64 | #f | nan-rescue | 469 | 0 |
cos.f64 | #f | sensitivity | 341 | 0 |
+.f64 | #f | cancellation | 330 | 2 |
/.f64 | #f | n/o | 321 | 0 |
/.f64 | #f | u/n | 251 | 0 |
sin.f64 | #f | sensitivity | 222 | 0 |
*.f64 | #f | n*u | 158 | 0 |
cos.f64 | #f | oflow-rescue | 140 | 0 |
/.f64 | #f | n/u | 108 | 0 |
/.f64 | #f | u/u | 88 | 0 |
tan.f64 | (tan.f64 (/.f64 x (*.f64 y #s(literal 2 binary64)))) | sensitivity | 88 | 0 |
log.f64 | #f | oflow-rescue | 83 | 0 |
log.f64 | #f | uflow-rescue | 75 | 0 |
sqrt.f64 | #f | uflow-rescue | 49 | 0 |
exp.f64 | #f | sensitivity | 35 | 2 |
tan.f64 | (tan.f64 (/.f64 x (*.f64 y #s(literal 2 binary64)))) | oflow-rescue | 35 | 0 |
| ↳ | (/.f64 x (*.f64 y #s(literal 2 binary64))) | overflow | 35 | |
sin.f64 | (sin.f64 (/.f64 x (*.f64 y #s(literal 2 binary64)))) | oflow-rescue | 35 | 0 |
| ↳ | (/.f64 x (*.f64 y #s(literal 2 binary64))) | overflow | 35 | |
*.f64 | #f | o*u | 35 | 0 |
*.f64 | (*.f64 (-.f64 (*.f64 k y2) (*.f64 j y3)) (-.f64 (*.f64 y4 y1) (*.f64 y5 y0))) | u*o | 1 | 0 |
| ↳ | (*.f64 j y3) | underflow | 32 | |
| ↳ | (-.f64 (*.f64 k y2) (*.f64 j y3)) | underflow | 2 | |
| ↳ | (*.f64 k y2) | underflow | 19 | |
| ↳ | (*.f64 y4 y1) | overflow | 28 | |
| ↳ | (-.f64 (*.f64 y4 y1) (*.f64 y5 y0)) | overflow | 57 | |
| ↳ | (*.f64 y5 y0) | overflow | 29 |
| Predicted + | Predicted - | |
|---|---|---|
| + | 5886 | 184 |
| - | 1701 | 61093 |
| Predicted + | Predicted Maybe | Predicted - | |
|---|---|---|---|
| + | 5886 | 1 | 183 |
| - | 1701 | 14 | 61079 |
| number | freq |
|---|---|
| 0 | 61277 |
| 1 | 6820 |
| 2 | 699 |
| 3 | 47 |
| 4 | 19 |
| 5 | 2 |
| Predicted + | Predicted Maybe | Predicted - | |
|---|---|---|---|
| + | 135 | 0 | 1 |
| - | 2 | 0 | 131 |
| 22.5s | 130 562× | 0 | valid |
| 2.0s | 5 850× | 1 | valid |
| 654.0ms | 1 218× | 2 | valid |
| 28.0ms | 94× | 3 | valid |
| 1.0ms | 2× | 4 | valid |
| 0.0ms | 2× | 5 | exit |
Compiled 29 004 to 10 844 computations (62.6% saved)
ival-mult: 12.0s (67.2% of total)ival-sub: 1.4s (7.8% of total)ival-add: 1.1s (6.4% of total)ival-div: 874.0ms (4.9% of total)ival-log: 693.0ms (3.9% of total)const: 357.0ms (2% of total)adjust: 254.0ms (1.4% of total)ival-sin: 235.0ms (1.3% of total)ival-sqrt: 217.0ms (1.2% of total)ival-cos: 189.0ms (1.1% of total)ival-exp: 118.0ms (0.7% of total)ival-true: 114.0ms (0.6% of total)exact: 62.0ms (0.3% of total)ival-sinh: 56.0ms (0.3% of total)ival-assert: 54.0ms (0.3% of total)ival-cosh: 37.0ms (0.2% of total)ival-hypot: 13.0ms (0.1% of total)ival-tan: 12.0ms (0.1% of total)ival-fabs: 11.0ms (0.1% of total)ival-tanh: 6.0ms (0% of total)ival-acos: 5.0ms (0% of total)| 269× | search |
| Probability | Valid | Unknown | Precondition | Infinite | Domain | Can't | Iter |
|---|---|---|---|---|---|---|---|
| 0% | 0% | 99.9% | 0.1% | 0% | 0% | 0% | 0 |
| 46.8% | 46.8% | 53.1% | 0.1% | 0% | 0% | 0% | 1 |
| 50.5% | 50.1% | 49.2% | 0.1% | 0% | 0.6% | 0% | 2 |
| 58.6% | 57% | 40.3% | 0.1% | 0% | 2.6% | 0% | 3 |
| 65.2% | 62.7% | 33.5% | 0.1% | 0% | 3.6% | 0% | 4 |
| 71.2% | 68.2% | 27.5% | 0.1% | 0% | 4.1% | 0% | 5 |
| 75.9% | 72.3% | 23% | 0.1% | 0% | 4.6% | 0% | 6 |
| 79.8% | 75.6% | 19.1% | 0.1% | 0% | 5.1% | 0% | 7 |
| 81.7% | 77% | 17.3% | 0.1% | 0% | 5.6% | 0% | 8 |
| 84.3% | 79.3% | 14.7% | 0.1% | 0% | 5.9% | 0% | 9 |
| 85.9% | 80.5% | 13.2% | 0.1% | 0% | 6.2% | 0% | 10 |
| 88.5% | 82.8% | 10.8% | 0.1% | 0% | 6.2% | 0% | 11 |
| 89.6% | 83.6% | 9.8% | 0.1% | 0% | 6.5% | 0% | 12 |
Compiled 3 462 to 2 977 computations (14% saved)
44973 calls:
| Time | Variable | Point | Expression | |
|---|---|---|---|---|
| 265.0ms | z | @ | 0 | (* (+ (* c (/ (- (* z b) (+ (* a (- j (/ (* t x) c))) (/ (* x (* y z)) c))) i)) (* c (- (/ (* j y) c) (* b (/ t c))))) (neg i)) |
| 215.0ms | z | @ | -inf | (* (log (* (/ y (* (* x (pow a (+ t -1))) (pow z y))) (exp b))) -1) |
| 202.0ms | x | @ | inf | (* (- (* x 1/2) y) (sqrt (* z 2))) |
| 193.0ms | x | @ | 0 | (+ (neg (* y (/ z (+ (* z (- t a)) (* x y))))) (+ (* b (/ z (+ (* z (- t a)) (* x y)))) (/ y (+ (* z (- t a)) (* x y))))) |
| 160.0ms | x | @ | -inf | (/ (+ (* (sqrt (* x (* x x))) (+ (* 3 y) -3)) (* 1/3 (sqrt x))) x) |
| 1 597× | binary-search |
| 1 440× | left-value |
| 1 574× | narrow-enough |
| 23× | predicate-same |
| 17.4s | 127 835× | 0 | valid |
| 924.0ms | 3 313× | 1 | valid |
| 333.0ms | 2 841× | 0 | invalid |
| 12.0ms | 71× | 2 | valid |
| 6.0ms | 26× | 1 | invalid |
| 3.0ms | 13× | 3 | valid |
Compiled 414 288 to 299 064 computations (27.8% saved)
ival-mult: 5.8s (45.5% of total)ival-sub: 2.4s (18.7% of total)ival-add: 1.3s (10.2% of total)ival-div: 1.0s (8.3% of total)ival-log: 581.0ms (4.6% of total)const: 394.0ms (3.1% of total)ival-cos: 323.0ms (2.5% of total)ival-sin: 295.0ms (2.3% of total)ival-sqrt: 169.0ms (1.3% of total)ival-exp: 118.0ms (0.9% of total)adjust: 109.0ms (0.9% of total)ival-true: 94.0ms (0.7% of total)ival-assert: 51.0ms (0.4% of total)exact: 43.0ms (0.3% of total)ival-tanh: 12.0ms (0.1% of total)ival-cosh: 10.0ms (0.1% of total)ival-sinh: 5.0ms (0% of total)ival-fabs: 3.0ms (0% of total)Loading profile data...