1/2(abs(p)+abs(r) - sqrt((p-r)^2 + 4q^2))
Time bar (total: 3.0s)
| 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)
| 17.0ms | 69× | 2 | valid |
| 14.0ms | 81× | 1 | valid |
| 10.0ms | 110× | 0 | valid |
adjust: 6.0ms (18.7% of total)ival-pow2: 6.0ms (18.7% of total)ival-sub: 4.0ms (12.5% of total)ival-add: 4.0ms (12.5% of total)ival-mult: 4.0ms (12.5% of total)ival-sqrt: 3.0ms (9.4% of total)ival-div: 2.0ms (6.2% of total)ival-fabs: 2.0ms (6.2% of total)ival-assert: 0.0ms (0% of total)ival-true: 0.0ms (0% of total)exact: 0.0ms (0% of total)| Ground Truth | Overpredictions | Example | Underpredictions | Example | Subexpression |
|---|---|---|---|---|---|
| 149 | 0 | - | 1 | (-2.1334301373693294e-177 1.0483024787650637e-209 -5.75897436718136e-156) | (sqrt.f64 (+.f64 (pow.f64 (-.f64 p r) #s(literal 2 binary64)) (*.f64 #s(literal 4 binary64) (pow.f64 q #s(literal 2 binary64))))) |
| 108 | 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 | 145 | 0 |
| ↳ | (+.f64 (pow.f64 (-.f64 p r) #s(literal 2 binary64)) (*.f64 #s(literal 4 binary64) (pow.f64 q #s(literal 2 binary64)))) | overflow | 145 | |
| ↳ | (pow.f64 q #s(literal 2 binary64)) | overflow | 73 | |
| ↳ | (pow.f64 (-.f64 p r) #s(literal 2 binary64)) | overflow | 105 | |
| ↳ | (*.f64 #s(literal 4 binary64) (pow.f64 q #s(literal 2 binary64))) | overflow | 73 | |
-.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 | 108 | 1 |
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 | 3 | 0 |
| ↳ | (+.f64 (pow.f64 (-.f64 p r) #s(literal 2 binary64)) (*.f64 #s(literal 4 binary64) (pow.f64 q #s(literal 2 binary64)))) | underflow | 3 | |
| ↳ | (pow.f64 q #s(literal 2 binary64)) | underflow | 57 | |
| ↳ | (pow.f64 (-.f64 p r) #s(literal 2 binary64)) | underflow | 18 | |
| ↳ | (*.f64 #s(literal 4 binary64) (pow.f64 q #s(literal 2 binary64))) | underflow | 57 |
| Predicted + | Predicted - | |
|---|---|---|
| + | 195 | 1 |
| - | 0 | 60 |
| Predicted + | Predicted Maybe | Predicted - | |
|---|---|---|---|
| + | 195 | 0 | 1 |
| - | 0 | 0 | 60 |
| number | freq |
|---|---|
| 0 | 61 |
| 1 | 134 |
| 2 | 61 |
| Predicted + | Predicted Maybe | Predicted - | |
|---|---|---|---|
| + | 1 | 0 | 0 |
| - | 0 | 0 | 0 |
| 470.0ms | 1 656× | 2 | valid |
| 384.0ms | 1 920× | 1 | valid |
| 278.0ms | 2 568× | 0 | valid |
Compiled 3 804 to 912 computations (76% saved)
ival-pow2: 154.0ms (19.9% of total)adjust: 145.0ms (18.7% of total)ival-mult: 103.0ms (13.3% of total)ival-sub: 95.0ms (12.3% of total)ival-add: 92.0ms (11.9% of total)ival-sqrt: 82.0ms (10.6% of total)ival-fabs: 50.0ms (6.5% of total)ival-div: 37.0ms (4.8% of total)exact: 8.0ms (1% of total)ival-true: 5.0ms (0.6% of total)ival-assert: 2.0ms (0.3% of total)| 1× | egg-herbie |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 69 | 187 |
| 1 | 160 | 184 |
| 2 | 443 | 180 |
| 3 | 1440 | 180 |
| 4 | 3448 | 180 |
| 5 | 5328 | 180 |
| 6 | 7340 | 180 |
| 0 | 18 | 20 |
| 0 | 31 | 20 |
| 1 | 45 | 20 |
| 2 | 80 | 20 |
| 3 | 170 | 20 |
| 4 | 345 | 20 |
| 5 | 791 | 20 |
| 6 | 1603 | 20 |
| 7 | 3084 | 20 |
| 8 | 3825 | 20 |
| 9 | 4113 | 20 |
| 10 | 4203 | 20 |
| 11 | 4207 | 20 |
| 12 | 4207 | 20 |
| 13 | 4337 | 20 |
| 14 | 4361 | 20 |
| 15 | 4361 | 20 |
| 0 | 4361 | 19 |
| 1× | iter limit |
| 1× | saturated |
| 1× | iter limit |
| 1× | node limit |
| Inputs |
|---|
(*.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))))))) |
| Outputs |
|---|
(*.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))))))) |
(*.f64 #s(literal -1/2 binary64) (-.f64 (sqrt.f64 (fma.f64 (*.f64 q q) #s(literal 4 binary64) (pow.f64 (-.f64 p r) #s(literal 2 binary64)))) (+.f64 (fabs.f64 r) (fabs.f64 p)))) |
(abs q)
(sort p r)
Compiled 22 to 18 computations (18.2% saved)
Compiled 0 to 3 computations (-∞% saved)
| Status | Accuracy | Program |
|---|---|---|
| 28.1% | (*.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))))))) |
Compiled 44 to 36 computations (18.2% saved)
| 1× | egg-herbie |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 18 | 22 |
| 1 | 29 | 22 |
| 2 | 36 | 22 |
| 3 | 40 | 22 |
| 4 | 42 | 22 |
| 1× | saturated |
| Inputs |
|---|
(*.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))))))) |
| Outputs |
|---|
(*.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))))))) |
(*.f64 (-.f64 (+.f64 (fabs.f64 r) (fabs.f64 p)) (sqrt.f64 (+.f64 (*.f64 (pow.f64 q #s(literal 2 binary64)) #s(literal 4 binary64)) (pow.f64 (-.f64 p r) #s(literal 2 binary64))))) (/.f64 #s(literal 1 binary64) #s(literal 2 binary64))) |
| 1× | fuel |
Compiled 22 to 18 computations (18.2% saved)
(sort p r)
(abs q)
Compiled 264 to 216 computations (18.2% saved)
Loading profile data...