
Time bar (total: 1.2s)
| 1× | search |
| Probability | Valid | Unknown | Precondition | Infinite | Domain | Can't | Iter |
|---|---|---|---|---|---|---|---|
| 0% | 0% | 99.8% | 0.2% | 0% | 0% | 0% | 0 |
| 100% | 99.8% | 0% | 0.2% | 0% | 0% | 0% | 1 |
Compiled 15 to 13 computations (13.3% saved)
| 692.0ms | 8 256× | 0 | valid |
ival-mult: 225.0ms (69.3% of total)ival-sub: 88.0ms (27.1% of total)exact: 6.0ms (1.8% of total)adjust: 3.0ms (0.9% of total)ival-assert: 3.0ms (0.9% of total)| Ground Truth | Overpredictions | Example | Underpredictions | Example | Subexpression |
|---|---|---|---|---|---|
| 20 | 0 | - | 0 | - | (*.f64 (*.f64 y #s(literal 4 binary64)) (-.f64 (*.f64 z z) t)) |
| 10 | 0 | - | 0 | - | (-.f64 (*.f64 x x) (*.f64 (*.f64 y #s(literal 4 binary64)) (-.f64 (*.f64 z z) t))) |
| 0 | 0 | - | 0 | - | t |
| 0 | 0 | - | 0 | - | (*.f64 y #s(literal 4 binary64)) |
| 0 | 0 | - | 0 | - | z |
| 0 | 0 | - | 0 | - | #s(literal 4 binary64) |
| 0 | 0 | - | 0 | - | (*.f64 x x) |
| 0 | 0 | - | 0 | - | (*.f64 z z) |
| 0 | 0 | - | 0 | - | y |
| 0 | 0 | - | 0 | - | (-.f64 (*.f64 z z) t) |
| 0 | 0 | - | 0 | - | x |
| Operator | Subexpression | Explanation | Count | |
|---|---|---|---|---|
*.f64 | (*.f64 (*.f64 y #s(literal 4 binary64)) (-.f64 (*.f64 z z) t)) | n*o | 20 | 0 |
-.f64 | (-.f64 (*.f64 x x) (*.f64 (*.f64 y #s(literal 4 binary64)) (-.f64 (*.f64 z z) t))) | nan-rescue | 10 | 0 |
| ↳ | (*.f64 x x) | overflow | 57 | |
| ↳ | (*.f64 (*.f64 y #s(literal 4 binary64)) (-.f64 (*.f64 z z) t)) | overflow | 74 | |
| ↳ | (-.f64 (*.f64 z z) t) | overflow | 62 | |
| ↳ | (*.f64 z z) | overflow | 62 |
| Predicted + | Predicted - | |
|---|---|---|
| + | 29 | 0 |
| - | 1 | 226 |
| Predicted + | Predicted Maybe | Predicted - | |
|---|---|---|---|
| + | 29 | 0 | 0 |
| - | 1 | 0 | 226 |
| number | freq |
|---|---|
| 0 | 226 |
| 1 | 30 |
| Predicted + | Predicted Maybe | Predicted - | |
|---|---|---|---|
| + | 1 | 0 | 0 |
| - | 0 | 0 | 0 |
| 38.0ms | 512× | 0 | valid |
Compiled 99 to 37 computations (62.6% saved)
ival-mult: 13.0ms (71.3% of total)ival-sub: 4.0ms (22% of total)ival-true: 0.0ms (0% of total)adjust: 0.0ms (0% of total)exact: 0.0ms (0% of total)ival-assert: 0.0ms (0% of total)Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 53 | 203 |
| 1 | 141 | 201 |
| 2 | 384 | 201 |
| 3 | 922 | 197 |
| 4 | 1517 | 197 |
| 5 | 1526 | 197 |
| 0 | 13 | 15 |
| 0 | 26 | 15 |
| 1 | 36 | 15 |
| 2 | 62 | 15 |
| 3 | 100 | 15 |
| 4 | 124 | 15 |
| 0 | 124 | 15 |
| 1× | iter limit |
| 1× | saturated |
| 1× | iter limit |
| 1× | saturated |
Loading profile data...