Time bar (total: 1.0s)
1× | search |
Probability | Valid | Unknown | Precondition | Infinite | Domain | Can't | Iter |
---|---|---|---|---|---|---|---|
0% | 0% | 99.9% | 0.1% | 0% | 0% | 0% | 0 |
0% | 0% | 99.9% | 0.1% | 0% | 0% | 0% | 1 |
0% | 0% | 99.9% | 0.1% | 0% | 0% | 0% | 2 |
0% | 0% | 99.9% | 0.1% | 0% | 0% | 0% | 3 |
100% | 99.9% | 0% | 0.1% | 0% | 0% | 0% | 4 |
Compiled 16 to 13 computations (18.8% saved)
600.0ms | 8 256× | 0 | valid |
ival-mult
: 181.0ms (47.1% of total)ival-add
: 71.0ms (18.5% of total)ival-sqrt
: 60.0ms (15.6% of total)ival-div
: 55.0ms (14.3% of total)ival-true
: 6.0ms (1.6% of total)exact
: 5.0ms (1.3% of total)ival-assert
: 3.0ms (0.8% of total)adjust
: 2.0ms (0.5% of total)Ground Truth | Overpredictions | Example | Underpredictions | Example | Subexpression |
---|---|---|---|---|---|
154 | 0 | - | 0 | - | (sqrt.f64 (/.f64 (+.f64 (+.f64 (*.f64 x x) (*.f64 y y)) (*.f64 z z)) #s(literal 3 binary64))) |
0 | 0 | - | 0 | - | (/.f64 (+.f64 (+.f64 (*.f64 x x) (*.f64 y y)) (*.f64 z z)) #s(literal 3 binary64)) |
0 | 0 | - | 0 | - | #s(literal 3 binary64) |
0 | 0 | - | 0 | - | z |
0 | 0 | - | 0 | - | (*.f64 x x) |
0 | 0 | - | 0 | - | (+.f64 (+.f64 (*.f64 x x) (*.f64 y y)) (*.f64 z z)) |
0 | 0 | - | 0 | - | (+.f64 (*.f64 x x) (*.f64 y y)) |
0 | 0 | - | 0 | - | (*.f64 z z) |
0 | 0 | - | 0 | - | y |
0 | 0 | - | 0 | - | (*.f64 y y) |
0 | 0 | - | 0 | - | x |
Operator | Subexpression | Explanation | Count | |
---|---|---|---|---|
sqrt.f64 | (sqrt.f64 (/.f64 (+.f64 (+.f64 (*.f64 x x) (*.f64 y y)) (*.f64 z z)) #s(literal 3 binary64))) | oflow-rescue | 150 | 0 |
↳ | (+.f64 (+.f64 (*.f64 x x) (*.f64 y y)) (*.f64 z z)) | overflow | 150 | |
↳ | (*.f64 y y) | overflow | 66 | |
↳ | (*.f64 x x) | overflow | 64 | |
↳ | (*.f64 z z) | overflow | 59 | |
↳ | (+.f64 (*.f64 x x) (*.f64 y y)) | overflow | 114 | |
↳ | (/.f64 (+.f64 (+.f64 (*.f64 x x) (*.f64 y y)) (*.f64 z z)) #s(literal 3 binary64)) | overflow | 150 | |
sqrt.f64 | (sqrt.f64 (/.f64 (+.f64 (+.f64 (*.f64 x x) (*.f64 y y)) (*.f64 z z)) #s(literal 3 binary64))) | uflow-rescue | 4 | 0 |
↳ | (+.f64 (+.f64 (*.f64 x x) (*.f64 y y)) (*.f64 z z)) | underflow | 4 | |
↳ | (*.f64 y y) | underflow | 59 | |
↳ | (*.f64 x x) | underflow | 55 | |
↳ | (*.f64 z z) | underflow | 59 | |
↳ | (+.f64 (*.f64 x x) (*.f64 y y)) | underflow | 8 | |
↳ | (/.f64 (+.f64 (+.f64 (*.f64 x x) (*.f64 y y)) (*.f64 z z)) #s(literal 3 binary64)) | underflow | 4 |
Predicted + | Predicted - | |
---|---|---|
+ | 154 | 0 |
- | 0 | 102 |
Predicted + | Predicted Maybe | Predicted - | |
---|---|---|---|
+ | 154 | 0 | 0 |
- | 0 | 0 | 102 |
number | freq |
---|---|
0 | 102 |
1 | 154 |
Predicted + | Predicted Maybe | Predicted - | |
---|---|---|---|
+ | 1 | 0 | 0 |
- | 0 | 0 | 0 |
45.0ms | 512× | 0 | valid |
Compiled 134 to 37 computations (72.4% saved)
ival-mult
: 13.0ms (45.5% of total)ival-div
: 6.0ms (21% of total)ival-add
: 4.0ms (14% of total)ival-sqrt
: 3.0ms (10.5% 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)Loading profile data...