
Time bar (total: 9.5s)
| 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 10 to 7 computations (30% saved)
| 1.2s | 8256× | 0 | valid |
| 856.0ms | 8228× | 0 | valid-sollya |
| 34.0ms | 28× | 0 | exit-sollya |
| Pt | Rival-out | Sollya-interval | Sollya-point | status | Sollya status | Rival iter | sollya-time | check |
|---|---|---|---|---|---|---|---|---|
| (2.9367763020980176e+234 -4.9514868842418347e+244) | -inf.0 | (-inf.0 -inf.0) | +nan.0 | valid | exit | 0 | 0.26965399999999995 | #f |
| (1.2580955310219265e-47 -9.453554622671736e+194) | -inf.0 | (-inf.0 -inf.0) | +nan.0 | valid | exit | 0 | 0.26442099999999996 | #f |
| (-1227929545190806.3 9.991528300938952e-179) | 2.273493915077856e+60 | (+nan.0 +nan.0) | +nan.0 | valid | exit | 0 | 5.0 | #f |
| (1.0005911822830672e-149 3.4434155074856644e+274) | -inf.0 | (+nan.0 +nan.0) | +nan.0 | valid | exit | 0 | 5.0 | #f |
| (-2.0197617070339986e+165 -2.0059680714317933e+279) | -inf.0 | (-inf.0 -inf.0) | +nan.0 | valid | exit | 0 | 0.146198 | #f |
| (-1.2254168288868564e+227 -4.2140132927134345e-86) | +inf.0 | (+inf.0 +inf.0) | +nan.0 | valid | exit | 0 | 0.14453 | #f |
| (8.448799259888224e+86 -4.435813974453943e-244) | +inf.0 | (+nan.0 +nan.0) | +nan.0 | valid | exit | 0 | 5.0 | #f |
| (1.1194277844078484e+231 5.228364999339962e+291) | -inf.0 | (-inf.0 -inf.0) | +nan.0 | valid | exit | 0 | 0.147331 | #f |
| (2.1474470435693043e+132 2.221371339657327e-215) | +inf.0 | (+inf.0 +inf.0) | +nan.0 | valid | exit | 0 | 0.132297 | #f |
| (6.045858421456466e+296 -1.2066641322373227e-165) | +inf.0 | (+inf.0 +inf.0) | +nan.0 | valid | exit | 0 | 0.283797 | #f |
| (7.915664376428116e+74 -4.7556988716564715e-150) | 3.925992697734336e+299 | (3.925992697734336e+299 3.925992697734336e+299) | +nan.0 | valid | exit | 0 | 0.119371 | #f |
| (-2023026343687013600.0 -1.8582329591176412e+198) | -inf.0 | (+nan.0 +nan.0) | +nan.0 | valid | exit | 0 | 5.0 | #f |
| (-2.6451623383202063e-303 3.95474091136821e-207) | -0.0 | (+nan.0 +nan.0) | +nan.0 | valid | exit | 0 | 5.0 | #f |
| (-1.54514724931134e-241 5.592348147847144e+21) | -9.780854562233348e+86 | (-9.780854562233348e+86 -9.780854562233348e+86) | +nan.0 | valid | exit | 0 | 0.103731 | #f |
| (-1.496519960902589e+101 -5.891570140106862e+304) | -inf.0 | (-inf.0 -inf.0) | +nan.0 | valid | exit | 0 | 0.276426 | #f |
| (1.2824801428034332e-175 -1.6048019276510225e-190) | 0.0 | (0.0 0.0) | +nan.0 | valid | exit | 0 | 0.22882 | #f |
| (-1.2726937474474084e+140 5.578183974842538e-213) | +inf.0 | (+inf.0 +inf.0) | +nan.0 | valid | exit | 0 | 0.130959 | #f |
| (4.755692246324583e-213 362753094665786430.0) | -1.731587748778723e+70 | (-1.731587748778723e+70 -1.731587748778723e+70) | +nan.0 | valid | exit | 0 | 0.216551 | #f |
| (1.920401949077286e+129 -8.398440199608675e+113) | +inf.0 | (+inf.0 +inf.0) | +nan.0 | valid | exit | 0 | 0.247634 | #f |
| (-2.871430049715386e+272 -1.3341160413683296e+240) | +inf.0 | (+inf.0 +inf.0) | +nan.0 | valid | exit | 0 | 0.31136800000000003 | #f |
| (-8.971816676990227e-205 -1.825586413965803e+139) | -inf.0 | (-inf.0 -inf.0) | +nan.0 | valid | exit | 0 | 0.259616 | #f |
| (-1.0061977820204642e+185 7.1836488169251455e+87) | +inf.0 | (+inf.0 +inf.0) | +nan.0 | valid | exit | 0 | 0.25167 | #f |
| (-1.3310899465911055e+98 1.5551669728416963e+72) | +inf.0 | (+inf.0 +inf.0) | +nan.0 | valid | exit | 0 | 0.126516 | #f |
| (3.3831882485896467e-251 3.640419847074244e-257) | 0.0 | (+nan.0 +nan.0) | +nan.0 | valid | exit | 0 | 5.0 | #f |
| (2.4409355919804896e-42 5.608411501788967e-32) | -9.893717034815313e-126 | (-9.893717034815313e-126 -9.893717034815313e-126) | +nan.0 | valid | exit | 0 | 0.098287 | #f |
| (-1.0173936202452571e+141 9.99554037182673e+22) | +inf.0 | (+inf.0 +inf.0) | +nan.0 | valid | exit | 0 | 0.128369 | #f |
| (-4.136318321598117e-106 7.171079791111603e+101) | -inf.0 | (-inf.0 -inf.0) | +nan.0 | valid | exit | 0 | 0.236192 | #f |
| (-1.3493792255400515e+303 7.951119142033848e-240) | +inf.0 | (+inf.0 +inf.0) | +nan.0 | valid | exit | 0 | 0.252667 | #f |
| 1× | egg-herbie |
| 95× | fma-define |
| 91× | fma-neg |
| 40× | sub-neg |
| 27× | associate--r+ |
| 24× | unsub-neg |
Useful iterations: 2 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 21 | 199 |
| 1 | 38 | 199 |
| 2 | 77 | 191 |
| 3 | 147 | 191 |
| 4 | 271 | 191 |
| 5 | 433 | 191 |
| 6 | 520 | 191 |
| 7 | 583 | 191 |
| 8 | 590 | 191 |
| 1× | saturated |
| Inputs |
|---|
(-.f64 (pow.f64 x #s(literal 4 binary64)) (pow.f64 y #s(literal 4 binary64))) |
(-.f64 (pow.f64 x #s(literal 4 binary64)) (pow.f64 y #s(literal 4 binary64))) |
(-.f64 (pow.f64 (neg.f64 x) #s(literal 4 binary64)) (pow.f64 y #s(literal 4 binary64))) |
(-.f64 (pow.f64 x #s(literal 4 binary64)) (pow.f64 (neg.f64 y) #s(literal 4 binary64))) |
(neg.f64 (-.f64 (pow.f64 (neg.f64 x) #s(literal 4 binary64)) (pow.f64 y #s(literal 4 binary64)))) |
(neg.f64 (-.f64 (pow.f64 x #s(literal 4 binary64)) (pow.f64 (neg.f64 y) #s(literal 4 binary64)))) |
(-.f64 (pow.f64 y #s(literal 4 binary64)) (pow.f64 x #s(literal 4 binary64))) |
| Outputs |
|---|
(-.f64 (pow.f64 x #s(literal 4 binary64)) (pow.f64 y #s(literal 4 binary64))) |
(-.f64 (pow.f64 x #s(literal 4 binary64)) (pow.f64 y #s(literal 4 binary64))) |
(-.f64 (pow.f64 (neg.f64 x) #s(literal 4 binary64)) (pow.f64 y #s(literal 4 binary64))) |
(-.f64 (pow.f64 x #s(literal 4 binary64)) (pow.f64 (neg.f64 y) #s(literal 4 binary64))) |
(neg.f64 (-.f64 (pow.f64 (neg.f64 x) #s(literal 4 binary64)) (pow.f64 y #s(literal 4 binary64)))) |
(-.f64 (pow.f64 y #s(literal 4 binary64)) (pow.f64 (neg.f64 x) #s(literal 4 binary64))) |
(neg.f64 (-.f64 (pow.f64 x #s(literal 4 binary64)) (pow.f64 (neg.f64 y) #s(literal 4 binary64)))) |
(+.f64 (neg.f64 (pow.f64 x #s(literal 4 binary64))) (pow.f64 (neg.f64 y) #s(literal 4 binary64))) |
(-.f64 (pow.f64 (neg.f64 y) #s(literal 4 binary64)) (pow.f64 x #s(literal 4 binary64))) |
(-.f64 (pow.f64 y #s(literal 4 binary64)) (pow.f64 x #s(literal 4 binary64))) |
Compiled 9 to 6 computations (33.3% saved)
Compiled 2 to 2 computations (0% saved)
| Status | Accuracy | Program |
|---|---|---|
| 86.7% | (-.f64 (pow.f64 x #s(literal 4 binary64)) (pow.f64 y #s(literal 4 binary64))) |
Compiled 18 to 12 computations (33.3% saved)
| 1× | egg-herbie |
| 2× | sub-neg |
| 2× | +-commutative |
| 1× | *-commutative |
| 1× | neg-sub0 |
| 1× | neg-mul-1 |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 11 | 25 |
| 1 | 14 | 25 |
| 2 | 19 | 25 |
| 3 | 21 | 25 |
| 4 | 22 | 25 |
| 1× | saturated |
| Inputs |
|---|
(-.f64 (pow.f64 x #s(literal 4 binary64)) (pow.f64 y #s(literal 4 binary64))) |
| Outputs |
|---|
(-.f64 (pow.f64 x #s(literal 4 binary64)) (pow.f64 y #s(literal 4 binary64))) |
| 1× | fuel |
Compiled 9 to 6 computations (33.3% saved)
Compiled 36 to 24 computations (33.3% saved)
Loading profile data...