logs (example 3.8)
Time bar (total: 3.5s)
| 1× | search |
| Probability | Valid | Unknown | Precondition | Infinite | Domain | Can't | Iter |
|---|---|---|---|---|---|---|---|
| 0% | 0% | 23.7% | 76.3% | 0% | 0% | 0% | 0 |
| 100% | 23.7% | 0% | 76.3% | 0% | 0% | 0% | 1 |
Compiled 19 to 12 computations (36.8% saved)
| 2.4s | 8 256× | 1 | valid |
ival-log1p: 671.0ms (31.2% of total)ival-log: 578.0ms (26.9% of total)adjust: 372.0ms (17.3% of total)ival-mult: 234.0ms (10.9% of total)ival-sub: 179.0ms (8.3% of total)ival-add: 108.0ms (5% of total)exact: 7.0ms (0.3% of total)ival-assert: 3.0ms (0.1% of total)| Ground Truth | Overpredictions | Example | Underpredictions | Example | Subexpression |
|---|---|---|---|---|---|
| 256 | 0 | - | 0 | - | (-.f64 (*.f64 (+.f64 n #s(literal 1 binary64)) (log.f64 (+.f64 n #s(literal 1 binary64)))) (*.f64 n (log.f64 n))) |
| 0 | 0 | - | 0 | - | n |
| 0 | 0 | - | 0 | - | (*.f64 (+.f64 n #s(literal 1 binary64)) (log.f64 (+.f64 n #s(literal 1 binary64)))) |
| 0 | 0 | - | 0 | - | #s(literal 1 binary64) |
| 0 | 0 | - | 0 | - | (+.f64 n #s(literal 1 binary64)) |
| 0 | 0 | - | 0 | - | (log.f64 n) |
| 0 | 0 | - | 0 | - | (-.f64 (-.f64 (*.f64 (+.f64 n #s(literal 1 binary64)) (log.f64 (+.f64 n #s(literal 1 binary64)))) (*.f64 n (log.f64 n))) #s(literal 1 binary64)) |
| 0 | 0 | - | 0 | - | (*.f64 n (log.f64 n)) |
| 0 | 0 | - | 0 | - | (log.f64 (+.f64 n #s(literal 1 binary64))) |
| Operator | Subexpression | Explanation | Count | |
|---|---|---|---|---|
-.f64 | (-.f64 (*.f64 (+.f64 n #s(literal 1 binary64)) (log.f64 (+.f64 n #s(literal 1 binary64)))) (*.f64 n (log.f64 n))) | cancellation | 256 | 0 |
| Predicted + | Predicted - | |
|---|---|---|
| + | 256 | 0 |
| - | 0 | 0 |
| Predicted + | Predicted Maybe | Predicted - | |
|---|---|---|---|
| + | 256 | 0 | 0 |
| - | 0 | 0 | 0 |
| number | freq |
|---|---|
| 1 | 256 |
| Predicted + | Predicted Maybe | Predicted - | |
|---|---|---|---|
| + | 1 | 0 | 0 |
| - | 0 | 0 | 0 |
| 191.0ms | 512× | 1 | valid |
Compiled 121 to 31 computations (74.4% saved)
ival-log1p: 43.0ms (26.6% of total)ival-log: 42.0ms (26% of total)adjust: 32.0ms (19.8% of total)ival-sub: 23.0ms (14.2% of total)ival-mult: 14.0ms (8.7% of total)ival-add: 6.0ms (3.7% of total)ival-assert: 0.0ms (0% of total)ival-true: 0.0ms (0% of total)exact: 0.0ms (0% of total)| 1× | egg-herbie |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 18 | 52 |
| 1 | 38 | 52 |
| 2 | 85 | 52 |
| 3 | 321 | 50 |
| 4 | 1008 | 49 |
| 5 | 3870 | 47 |
| 0 | 9 | 15 |
| 0 | 16 | 15 |
| 1 | 26 | 15 |
| 2 | 49 | 15 |
| 3 | 185 | 15 |
| 4 | 547 | 15 |
| 5 | 2107 | 15 |
| 6 | 7813 | 15 |
| 0 | 8123 | 12 |
| 1× | iter limit |
| 1× | node limit |
| 1× | iter limit |
| 1× | node limit |
Loading profile data...