sqrt D (should all be same)
Time bar (total: 717.0ms)
| 1× | search |
| Probability | Valid | Unknown | Precondition | Infinite | Domain | Can't | Iter |
|---|---|---|---|---|---|---|---|
| 0% | 0% | 100% | 0% | 0% | 0% | 0% | 0 |
| 100% | 100% | 0% | 0% | 0% | 0% | 0% | 1 |
Compiled 8 to 7 computations (12.5% saved)
| 428.0ms | 8 256× | 0 | valid |
ival-pow2: 150.0ms (55.4% of total)ival-mult: 54.0ms (20% of total)ival-sqrt: 54.0ms (20% of total)ival-true: 6.0ms (2.2% of total)exact: 5.0ms (1.8% of total)ival-assert: 3.0ms (1.1% of total)| Ground Truth | Overpredictions | Example | Underpredictions | Example | Subexpression |
|---|---|---|---|---|---|
| 127 | 0 | - | 4 | (-1.3324008694859032e-159) | (sqrt.f64 (*.f64 #s(literal 2 binary64) (pow.f64 x #s(literal 2 binary64)))) |
| 0 | 0 | - | 0 | - | (pow.f64 x #s(literal 2 binary64)) |
| 0 | 0 | - | 0 | - | #s(literal 2 binary64) |
| 0 | 0 | - | 0 | - | (*.f64 #s(literal 2 binary64) (pow.f64 x #s(literal 2 binary64))) |
| 0 | 0 | - | 0 | - | x |
| Operator | Subexpression | Explanation | Count | |
|---|---|---|---|---|
sqrt.f64 | (sqrt.f64 (*.f64 #s(literal 2 binary64) (pow.f64 x #s(literal 2 binary64)))) | oflow-rescue | 66 | 0 |
| ↳ | (*.f64 #s(literal 2 binary64) (pow.f64 x #s(literal 2 binary64))) | overflow | 67 | |
| ↳ | (sqrt.f64 (*.f64 #s(literal 2 binary64) (pow.f64 x #s(literal 2 binary64)))) | overflow | 1 | |
| ↳ | (pow.f64 x #s(literal 2 binary64)) | overflow | 67 | |
sqrt.f64 | (sqrt.f64 (*.f64 #s(literal 2 binary64) (pow.f64 x #s(literal 2 binary64)))) | uflow-rescue | 57 | 0 |
| ↳ | (*.f64 #s(literal 2 binary64) (pow.f64 x #s(literal 2 binary64))) | underflow | 57 | |
| ↳ | (pow.f64 x #s(literal 2 binary64)) | underflow | 57 |
| Predicted + | Predicted - | |
|---|---|---|
| + | 123 | 4 |
| - | 0 | 129 |
| Predicted + | Predicted Maybe | Predicted - | |
|---|---|---|---|
| + | 123 | 0 | 4 |
| - | 0 | 0 | 129 |
| number | freq |
|---|---|
| 0 | 133 |
| 1 | 123 |
| Predicted + | Predicted Maybe | Predicted - | |
|---|---|---|---|
| + | 1 | 0 | 0 |
| - | 0 | 0 | 0 |
| 26.0ms | 512× | 0 | valid |
Compiled 42 to 19 computations (54.8% saved)
ival-pow2: 6.0ms (44.8% of total)ival-mult: 3.0ms (22.4% of total)ival-sqrt: 3.0ms (22.4% of total)ival-true: 0.0ms (0% of total)exact: 0.0ms (0% of total)ival-assert: 0.0ms (0% of total)Loading profile data...