bug500, discussion (missed optimization)
Time bar (total: 2.4s)
| 1× | search |
| Probability | Valid | Unknown | Precondition | Infinite | Domain | Can't | Iter |
|---|---|---|---|---|---|---|---|
| 0% | 0% | 100% | 0% | 0% | 0% | 0% | 0 |
| 0% | 0% | 100% | 0% | 0% | 0% | 0% | 1 |
| 0% | 0% | 100% | 0% | 0% | 0% | 0% | 2 |
| 25% | 25% | 75% | 0% | 0% | 0% | 0% | 3 |
| 37.5% | 37.5% | 62.5% | 0% | 0% | 0% | 0% | 4 |
| 43.8% | 43.7% | 56.2% | 0% | 0% | 0% | 0% | 5 |
| 46.9% | 46.9% | 53.1% | 0% | 0% | 0% | 0% | 6 |
| 48.4% | 48.4% | 51.5% | 0% | 0% | 0% | 0% | 7 |
| 49.2% | 49.2% | 50.8% | 0% | 0% | 0% | 0% | 8 |
| 50.4% | 50.4% | 49.6% | 0% | 0% | 0% | 0% | 9 |
| 51% | 51% | 49% | 0% | 0% | 0% | 0% | 10 |
| 51.3% | 51.2% | 48.7% | 0% | 0% | 0% | 0% | 11 |
| 51.3% | 51.3% | 48.7% | 0% | 0% | 0% | 0% | 12 |
Compiled 7 to 6 computations (14.3% saved)
| 55.0ms | 168× | 2 | valid |
| 20.0ms | 268× | 1 | exit |
| 9.0ms | 73× | 1 | valid |
| 1.0ms | 19× | 0 | valid |
| 0.0ms | 1× | 5 | exit |
ival-log: 34.0ms (51% of total)ival-sinh: 19.0ms (28.5% of total)ival-div: 7.0ms (10.5% of total)adjust: 6.0ms (9% of total)ival-assert: 0.0ms (0% of total)ival-true: 0.0ms (0% of total)| Ground Truth | Overpredictions | Example | Underpredictions | Example | Subexpression |
|---|---|---|---|---|---|
| 133 | 115 | (-1.2650895822071994e-200) | 0 | - | (log.f64 (/.f64 (sinh.f64 x) x)) |
| 0 | 0 | - | 0 | - | (sinh.f64 x) |
| 0 | 0 | - | 0 | - | (/.f64 (sinh.f64 x) x) |
| 0 | 0 | - | 0 | - | x |
| Operator | Subexpression | Explanation | Count | |
|---|---|---|---|---|
log.f64 | (log.f64 (/.f64 (sinh.f64 x) x)) | sensitivity | 240 | 0 |
log.f64 | (log.f64 (/.f64 (sinh.f64 x) x)) | oflow-rescue | 8 | 0 |
| ↳ | (sinh.f64 x) | overflow | 8 | |
| ↳ | (/.f64 (sinh.f64 x) x) | overflow | 8 |
| Predicted + | Predicted - | |
|---|---|---|
| + | 133 | 0 |
| - | 115 | 8 |
| Predicted + | Predicted Maybe | Predicted - | |
|---|---|---|---|
| + | 133 | 0 | 0 |
| - | 115 | 0 | 8 |
| number | freq |
|---|---|
| 0 | 8 |
| 1 | 248 |
| Predicted + | Predicted Maybe | Predicted - | |
|---|---|---|---|
| + | 1 | 0 | 0 |
| - | 0 | 0 | 0 |
| 1.3s | 3 936× | 2 | valid |
| 229.0ms | 1 752× | 1 | valid |
| 25.0ms | 456× | 0 | valid |
Compiled 540 to 240 computations (55.6% saved)
ival-log: 721.0ms (53.8% of total)ival-sinh: 412.0ms (30.8% of total)ival-div: 116.0ms (8.7% of total)adjust: 83.0ms (6.2% of total)ival-true: 5.0ms (0.4% of total)ival-assert: 2.0ms (0.1% of total)| 1× | egg-herbie |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 6 | 15 |
| 1 | 20 | 15 |
| 2 | 53 | 15 |
| 3 | 148 | 15 |
| 4 | 446 | 15 |
| 5 | 1346 | 15 |
| 6 | 2402 | 15 |
| 7 | 2924 | 15 |
| 8 | 3206 | 15 |
| 9 | 3244 | 15 |
| 10 | 3246 | 15 |
| 11 | 3246 | 15 |
| 0 | 4 | 5 |
| 0 | 7 | 5 |
| 1 | 13 | 5 |
| 2 | 26 | 5 |
| 3 | 52 | 5 |
| 4 | 93 | 5 |
| 5 | 178 | 5 |
| 6 | 374 | 5 |
| 7 | 644 | 5 |
| 8 | 1118 | 5 |
| 9 | 1798 | 5 |
| 10 | 1910 | 5 |
| 11 | 1972 | 5 |
| 12 | 2145 | 5 |
| 13 | 2345 | 5 |
| 14 | 2419 | 5 |
| 15 | 2456 | 5 |
| 16 | 2456 | 5 |
| 17 | 2480 | 5 |
| 0 | 2480 | 5 |
| 1× | iter limit |
| 1× | saturated |
| 1× | iter limit |
| 1× | saturated |
| Inputs |
|---|
(log.f64 (/.f64 (sinh.f64 x) x)) |
| Outputs |
|---|
(log.f64 (/.f64 (sinh.f64 x) x)) |
Compiled 5 to 4 computations (20% saved)
Compiled 0 to 1 computations (-∞% saved)
| Status | Accuracy | Program |
|---|---|---|
| 52.2% | (log.f64 (/.f64 (sinh.f64 x) x)) |
Compiled 10 to 8 computations (20% saved)
| 1× | egg-herbie |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 4 | 5 |
| 1× | saturated |
| Inputs |
|---|
(log.f64 (/.f64 (sinh.f64 x) x)) |
| Outputs |
|---|
(log.f64 (/.f64 (sinh.f64 x) x)) |
| 1× | fuel |
Compiled 5 to 4 computations (20% saved)
Compiled 80 to 50 computations (37.5% saved)
Loading profile data...