Herbie run
| Date: | Wednesday, March 20th, 2024 |
|---|---|
| Commit: | 23dc2d0f on exact-hallucinations |
| Hostname: | nightly with Racket 8.11.1 |
| Seed: | 2024080 |
| 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: 7.9min)
| 51.6s | 270807× | 256 | valid |
| 7.4s | 30810× | 256 | infinite |
| 10.6s | 19307× | 1024 | valid |
| 18.1s | 13706× | 2048 | valid |
| 3.7s | 11024× | 512 | valid |
| 710.0ms | 4184× | 256 | invalid |
| 234.0ms | 979× | 256 | unsamplable |
| 628.0ms | 750× | 4096 | valid |
| 2.2s | 202× | 8192 | exit |
| 83.0ms | 181× | 512 | infinite |
| 182.0ms | 153× | 1024 | infinite |
| 29.0ms | 14× | 2048 | infinite |
ival-mult, time spent: 12.2s, 20.0% of total-timeival-pow, time spent: 7.2s, 12.0% of total-timeival-tan, time spent: 6.7s, 11.0% of total-timeival-div, time spent: 6.0s, 10.0% of total-timeival-add, time spent: 5.5s, 9.0% of total-timeival-sub, time spent: 5.2s, 9.0% of total-timeival-<=, time spent: 4.2s, 7.0% of total-timeival-sin, time spent: 3.9s, 7.0% of total-timeival-cos, time spent: 1.9s, 3.0% of total-timeconst, time spent: 1.5s, 3.0% of total-timeival-log, time spent: 1.4s, 2.0% of total-timeival-exp, time spent: 1.0s, 2.0% of total-timeival-sqrt, time spent: 825.0ms, 1.0% of total-timeival-and, time spent: 580.0ms, 1.0% of total-timeival-neg, time spent: 510.0ms, 1.0% of total-timecomposed, time spent: 443.0ms, 1.0% of total-timeival-==, time spent: 279.0ms, 0.0% of total-timeival-atan, time spent: 214.0ms, 0.0% of total-timeival-<, time spent: 164.0ms, 0.0% of total-timeival-pi, time spent: 53.0ms, 0.0% of total-timeival-fabs, time spent: 48.0ms, 0.0% of total-timeival-if, time spent: 9.0ms, 0.0% of total-timeCompiled 29178 to 17344 computations (40.6% saved)
ival-mult, time spent: 17.6s, 29.0% of total-timeival-pow, time spent: 10.3s, 17.0% of total-timeival-div, time spent: 8.0s, 13.0% of total-timeival-add, time spent: 8.0s, 13.0% of total-timecomposed, time spent: 5.8s, 10.0% of total-timeival-sub, time spent: 4.2s, 7.0% of total-timeival-exp, time spent: 1.7s, 3.0% of total-timeconst, time spent: 1.6s, 3.0% of total-timeival-tan, time spent: 884.0ms, 1.0% of total-timeival-sqrt, time spent: 826.0ms, 1.0% of total-timeival-log, time spent: 557.0ms, 1.0% of total-timeival-cos, time spent: 265.0ms, 0.0% of total-timeival-cbrt, time spent: 249.0ms, 0.0% of total-timeival-neg, time spent: 170.0ms, 0.0% of total-timeival-sin, time spent: 154.0ms, 0.0% of total-timeival-atan, time spent: 98.0ms, 0.0% of total-timeival-pi, time spent: 5.0ms, 0.0% of total-timeival-e, time spent: 2.0ms, 0.0% of total-timeival-fabs, time spent: 1.0ms, 0.0% of total-timeCompiled 2726232 to 1869301 computations (31.4% saved)
| 164× | egg-herbie |
| 93818× | fma-define |
| 78162× | distribute-lft-in |
| 71042× | distribute-rgt-in |
| 70074× | fma-neg |
| 66866× | times-frac |
| 41× | saturated |
| 123× | node limit |
| 23× | fuel |
| 18× | done |
Compiled 8932 to 5898 computations (34% saved)
| 42× | egg-herbie |
| 37136× | fma-define |
| 36960× | fma-neg |
| 19878× | unsub-neg |
| 18560× | sub-neg |
| 15262× | distribute-rgt-in |
| Operator | Subexpression | Explanation | Count | |
|---|---|---|---|---|
pow.f64 | (pow.f64 (+.f64 1 (/.f64 i n)) n) | sensitivity | 103 | 0 |
/.f64 | #f | n/o | 164 | 0 |
sqrt.f64 | #f | oflow-rescue | 220 | 0 |
/.f64 | #f | n/u | 51 | 0 |
/.f64 | #f | o/o | 162 | 0 |
/.f64 | #f | u/u | 46 | 0 |
pow.f64 | (pow.f64 (+.f64 1 (/.f64 i n)) n) | oflow-rescue | 24 | 0 |
| ↳ | (/.f64 i n) | overflow | 24 | |
| ↳ | (+.f64 1 (/.f64 i n)) | overflow | 24 | |
| ↳ | (pow.f64 (+.f64 1 (/.f64 i n)) n) | overflow | 32 | |
/.f64 | #f | u/n | 70 | 0 |
*.f64 | #f | n*o | 24 | 0 |
sqrt.f64 | #f | uflow-rescue | 12 | 0 |
+.f64 | #f | nan-rescue | 42 | 0 |
/.f64 | #f | o/n | 41 | 0 |
log.f64 | (log.f64 (+.f64 1 x)) | sensitivity | 173 | 0 |
-.f64 | #f | nan-rescue | 84 | 0 |
-.f64 | #f | cancellation | 1523 | 1 |
-.f64 | (-.f64 (*.f64 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 t) 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) | oflow-left | 223 | 0 |
*.f64 | #f | n*u | 38 | 0 |
+.f64 | #f | cancellation | 387 | 98 |
| Predicted + | Predicted - | |
|---|---|---|
| + | 3487 | 457 |
| - | 387 | 6165 |
| Predicted + | Predicted Maybe | Predicted - | |
|---|---|---|---|
| + | 3487 | 161 | 296 |
| - | 387 | 194 | 5971 |
| 20× | saturated |
| 22× | node limit |
Compiled 32647 to 20311 computations (37.8% saved)
ival-mult, time spent: 3.6s, 31.0% of total-timeival-add, time spent: 1.9s, 16.0% of total-timeival-div, time spent: 1.5s, 13.0% of total-timeival-pow, time spent: 1.5s, 13.0% of total-timeival-sub, time spent: 1.4s, 12.0% of total-timeival-tan, time spent: 489.0ms, 4.0% of total-timeival-sin, time spent: 360.0ms, 3.0% of total-timeconst, time spent: 344.0ms, 3.0% of total-timeival-sqrt, time spent: 157.0ms, 1.0% of total-timeival-cos, time spent: 147.0ms, 1.0% of total-timeival-exp, time spent: 108.0ms, 1.0% of total-timeival-neg, time spent: 77.0ms, 1.0% of total-timeival-log, time spent: 70.0ms, 1.0% of total-timeival-atan, time spent: 26.0ms, 0.0% of total-timecomposed, time spent: 23.0ms, 0.0% of total-timeival-pi, time spent: 2.0ms, 0.0% of total-time| 83964× | fma-define |
| 59390× | distribute-lft-in |
| 55314× | distribute-rgt-in |
| 50902× | fma-neg |
| 49208× | times-frac |
| 7× | saturated |
| 128× | node limit |
Compiled 20536 to 12189 computations (40.6% saved)
| 123× | batch-egg-rewrite |
| 70203× | log1p-expm1-u |
| 60554× | expm1-log1p-u |
| 45606× | prod-diff |
| 39898× | log-prod |
| 33208× | unpow-prod-down |
| 123× | node limit |
Compiled 75944 to 52934 computations (30.3% saved)
92 calls:
| 2.1s | c |
| 1.9s | x1 |
| 1.5s | d |
| 1.4s | a |
| 1.3s | x |
Compiled 4294 to 3043 computations (29.1% saved)
| 276× | binary-search |
| 31× | left-value |
| 29× | predicate-same |
| 247× | narrow-enough |
| 7.1s | 24127× | 256 | valid |
| 3.2s | 6478× | 256 | infinite |
| 1.5s | 1641× | 1024 | valid |
| 91.0ms | 779× | 256 | invalid |
| 343.0ms | 776× | 512 | valid |
| 529.0ms | 399× | 2048 | valid |
| 62.0ms | 243× | 256 | unsamplable |
| 1.0ms | 2× | 512 | infinite |
| 1.0ms | 1× | 2048 | infinite |
Compiled 75433 to 53401 computations (29.2% saved)
ival-mult, time spent: 3.1s, 35.0% of total-timeival-div, time spent: 1.3s, 15.0% of total-timeival-add, time spent: 1.3s, 15.0% of total-timeival-sub, time spent: 1.0s, 12.0% of total-timeival-pow, time spent: 921.0ms, 11.0% of total-timeival-neg, time spent: 665.0ms, 8.0% of total-timeconst, time spent: 185.0ms, 2.0% of total-timeival-exp, time spent: 144.0ms, 2.0% of total-timeival-sqrt, time spent: 28.0ms, 0.0% of total-time| 43× | search |
| 2× | random |
| Probability | Valid | Unknown | Precondition | Infinite | Domain | Can't | Iter |
|---|---|---|---|---|---|---|---|
| 0% | 0% | 54.5% | 45.5% | 0% | 0% | 0% | 0 |
| 23.5% | 12.8% | 41.7% | 45.5% | 0% | 0% | 0% | 1 |
| 39.5% | 21.5% | 33% | 45.5% | 0% | 0% | 0% | 2 |
| 50.8% | 26.8% | 25.9% | 45.5% | 0% | 1.7% | 0% | 3 |
| 58.9% | 31% | 21.7% | 45.5% | 0% | 1.8% | 0% | 4 |
| 71.8% | 37.8% | 14.8% | 45.6% | 0% | 1.8% | 0% | 5 |
| 73.2% | 38.5% | 14.1% | 45.6% | 0% | 1.8% | 0% | 6 |
| 78% | 40.8% | 11.5% | 45.6% | 0% | 2.1% | 0% | 7 |
| 81.6% | 42.6% | 9.6% | 45.7% | 0% | 2.1% | 0% | 8 |
| 84.2% | 43.8% | 8.2% | 45.7% | 0% | 2.2% | 0% | 9 |
| 86.2% | 44.6% | 7.1% | 45.7% | 0% | 2.5% | 0% | 10 |
| 88.2% | 45.6% | 6.1% | 45.7% | 0% | 2.5% | 0.1% | 11 |
| 89.1% | 45.9% | 5.6% | 45.7% | 0% | 2.6% | 0.1% | 12 |
Compiled 1441 to 1017 computations (29.4% saved)
ival-add, time spent: 1.6s, 20.0% of total-timeival-mult, time spent: 1.5s, 19.0% of total-timeival-pow, time spent: 972.0ms, 12.0% of total-timeival-sub, time spent: 970.0ms, 12.0% of total-timeival-div, time spent: 873.0ms, 11.0% of total-timeival-sqrt, time spent: 863.0ms, 11.0% of total-timeival-fabs, time spent: 402.0ms, 5.0% of total-timeconst, time spent: 204.0ms, 3.0% of total-timeival-<=, time spent: 191.0ms, 2.0% of total-timeival-exp, time spent: 108.0ms, 1.0% of total-timeival-<, time spent: 108.0ms, 1.0% of total-timeival-if, time spent: 99.0ms, 1.0% of total-timeival-==, time spent: 55.0ms, 1.0% of total-timeival-neg, time spent: 30.0ms, 0.0% of total-timeival-and, time spent: 19.0ms, 0.0% of total-timeival-pi, time spent: 5.0ms, 0.0% of total-timecomposed, time spent: 0.0ms, 0.0% of total-timeival-atan, time spent: 0.0ms, 0.0% of total-timeival-tan, time spent: 0.0ms, 0.0% of total-timeival-cos, time spent: 0.0ms, 0.0% of total-timeival-sin, time spent: 0.0ms, 0.0% of total-timeival-log, time spent: 0.0ms, 0.0% of total-time5355 calls:
| Time | Variable | Point | Expression | |
|---|---|---|---|---|
| 166.0ms | a | @ | -inf | (* c (+ a (/ (* a (+ b d)) c))) |
| 116.0ms | r | @ | -inf | (/ (- 1 v) (* r w)) |
| 86.0ms | a | @ | -inf | (+ (* 2 (* a b)) (pow b 2)) |
| 84.0ms | eps | @ | inf | (pow (exp (+ 1 eps)) (neg x)) |
| 43.0ms | x | @ | -inf | (+ (* (+ 1 (/ 1 eps)) (pow (exp x) (+ eps -1))) (/ (+ 1 (/ -1 eps)) (exp (+ (* eps x) x)))) |
Loading profile data...