1/2(abs(p)+abs(r) - sqrt((p-r)^2 + 4q^2))
Time bar (total: 3.3s)
| 1× | search |
| Probability | Valid | Unknown | Precondition | Infinite | Domain | Can't | Iter |
|---|---|---|---|---|---|---|---|
| 0% | 0% | 99.9% | 0.1% | 0% | 0% | 0% | 0 |
| 100% | 99.9% | 0% | 0.1% | 0% | 0% | 0% | 1 |
Compiled 24 to 20 computations (16.7% saved)
| 1.1s | 3 209× | 1 | valid |
| 988.0ms | 2 206× | 2 | valid |
| 320.0ms | 2 841× | 0 | valid |
adjust: 633.0ms (31% of total)ival-mult: 508.0ms (24.9% of total)ival-pow2: 279.0ms (13.7% of total)ival-add: 191.0ms (9.3% of total)ival-sub: 146.0ms (7.1% of total)ival-sqrt: 120.0ms (5.9% of total)ival-fabs: 84.0ms (4.1% of total)ival-div: 67.0ms (3.3% of total)exact: 13.0ms (0.6% of total)ival-assert: 3.0ms (0.1% of total)| Ground Truth | Overpredictions | Example | Underpredictions | Example | Subexpression |
|---|---|---|---|---|---|
| 151 | 0 | - | 2 | (-1.206111540333746e-156 3.94154878694655e-158 6.1342616801636256e-248) | (sqrt.f64 (+.f64 (pow.f64 (-.f64 p r) #s(literal 2 binary64)) (*.f64 #s(literal 4 binary64) (pow.f64 q #s(literal 2 binary64))))) |
| 122 | 0 | - | 0 | - | (-.f64 (+.f64 (fabs.f64 p) (fabs.f64 r)) (sqrt.f64 (+.f64 (pow.f64 (-.f64 p r) #s(literal 2 binary64)) (*.f64 #s(literal 4 binary64) (pow.f64 q #s(literal 2 binary64)))))) |
| 0 | 0 | - | 0 | - | q |
| 0 | 0 | - | 0 | - | (*.f64 (/.f64 #s(literal 1 binary64) #s(literal 2 binary64)) (-.f64 (+.f64 (fabs.f64 p) (fabs.f64 r)) (sqrt.f64 (+.f64 (pow.f64 (-.f64 p r) #s(literal 2 binary64)) (*.f64 #s(literal 4 binary64) (pow.f64 q #s(literal 2 binary64))))))) |
| 0 | 0 | - | 0 | - | (-.f64 p r) |
| 0 | 0 | - | 0 | - | (pow.f64 q #s(literal 2 binary64)) |
| 0 | 0 | - | 0 | - | #s(literal 1 binary64) |
| 0 | 0 | - | 0 | - | (pow.f64 (-.f64 p r) #s(literal 2 binary64)) |
| 0 | 0 | - | 0 | - | (fabs.f64 p) |
| 0 | 0 | - | 0 | - | (+.f64 (fabs.f64 p) (fabs.f64 r)) |
| 0 | 0 | - | 0 | - | (/.f64 #s(literal 1 binary64) #s(literal 2 binary64)) |
| 0 | 0 | - | 0 | - | #s(literal 4 binary64) |
| 0 | 0 | - | 0 | - | p |
| 0 | 0 | - | 0 | - | (+.f64 (pow.f64 (-.f64 p r) #s(literal 2 binary64)) (*.f64 #s(literal 4 binary64) (pow.f64 q #s(literal 2 binary64)))) |
| 0 | 0 | - | 0 | - | (fabs.f64 r) |
| 0 | 0 | - | 0 | - | #s(literal 2 binary64) |
| 0 | 0 | - | 0 | - | r |
| 0 | 0 | - | 0 | - | (*.f64 #s(literal 4 binary64) (pow.f64 q #s(literal 2 binary64))) |
| Operator | Subexpression | Explanation | Count | |
|---|---|---|---|---|
sqrt.f64 | (sqrt.f64 (+.f64 (pow.f64 (-.f64 p r) #s(literal 2 binary64)) (*.f64 #s(literal 4 binary64) (pow.f64 q #s(literal 2 binary64))))) | oflow-rescue | 147 | 0 |
| ↳ | (+.f64 (pow.f64 (-.f64 p r) #s(literal 2 binary64)) (*.f64 #s(literal 4 binary64) (pow.f64 q #s(literal 2 binary64)))) | overflow | 147 | |
| ↳ | (pow.f64 q #s(literal 2 binary64)) | overflow | 68 | |
| ↳ | (pow.f64 (-.f64 p r) #s(literal 2 binary64)) | overflow | 107 | |
| ↳ | (*.f64 #s(literal 4 binary64) (pow.f64 q #s(literal 2 binary64))) | overflow | 68 | |
-.f64 | (-.f64 (+.f64 (fabs.f64 p) (fabs.f64 r)) (sqrt.f64 (+.f64 (pow.f64 (-.f64 p r) #s(literal 2 binary64)) (*.f64 #s(literal 4 binary64) (pow.f64 q #s(literal 2 binary64)))))) | cancellation | 122 | 0 |
sqrt.f64 | (sqrt.f64 (+.f64 (pow.f64 (-.f64 p r) #s(literal 2 binary64)) (*.f64 #s(literal 4 binary64) (pow.f64 q #s(literal 2 binary64))))) | uflow-rescue | 2 | 0 |
| ↳ | (+.f64 (pow.f64 (-.f64 p r) #s(literal 2 binary64)) (*.f64 #s(literal 4 binary64) (pow.f64 q #s(literal 2 binary64)))) | underflow | 2 | |
| ↳ | (pow.f64 q #s(literal 2 binary64)) | underflow | 61 | |
| ↳ | (pow.f64 (-.f64 p r) #s(literal 2 binary64)) | underflow | 17 | |
| ↳ | (*.f64 #s(literal 4 binary64) (pow.f64 q #s(literal 2 binary64))) | underflow | 61 |
| Predicted + | Predicted - | |
|---|---|---|
| + | 204 | 1 |
| - | 0 | 51 |
| Predicted + | Predicted Maybe | Predicted - | |
|---|---|---|---|
| + | 204 | 0 | 1 |
| - | 0 | 0 | 51 |
| number | freq |
|---|---|
| 0 | 52 |
| 1 | 137 |
| 2 | 67 |
| Predicted + | Predicted Maybe | Predicted - | |
|---|---|---|---|
| + | 1 | 0 | 0 |
| - | 0 | 0 | 0 |
| 65.0ms | 192× | 1 | valid |
| 46.0ms | 136× | 2 | valid |
| 21.0ms | 184× | 0 | valid |
Compiled 220 to 58 computations (73.6% saved)
adjust: 35.0ms (35.5% of total)ival-pow2: 16.0ms (16.2% of total)ival-sub: 14.0ms (14.2% of total)ival-mult: 9.0ms (9.1% of total)ival-add: 9.0ms (9.1% of total)ival-sqrt: 7.0ms (7.1% of total)ival-fabs: 4.0ms (4.1% of total)ival-div: 3.0ms (3% of total)exact: 1.0ms (1% of total)ival-assert: 0.0ms (0% of total)ival-true: 0.0ms (0% of total)| 1× | egg-herbie |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 73 | 205 |
| 1 | 168 | 204 |
| 2 | 466 | 204 |
| 3 | 1734 | 204 |
| 4 | 5460 | 204 |
| 0 | 18 | 20 |
| 0 | 31 | 20 |
| 1 | 50 | 20 |
| 2 | 95 | 20 |
| 3 | 227 | 20 |
| 4 | 447 | 20 |
| 5 | 958 | 20 |
| 6 | 5489 | 20 |
| 0 | 8227 | 15 |
| 1× | iter limit |
| 1× | node limit |
| 1× | iter limit |
| 1× | node limit |
Loading profile data...