2nthrt (problem 3.4.6)
Time bar (total: 5.8s)
| 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 |
| 25% | 25% | 74.9% | 0.1% | 0% | 0% | 0% | 3 |
| 25% | 25% | 74.9% | 0.1% | 0% | 0% | 0% | 4 |
| 42.9% | 37.5% | 50% | 0.1% | 0% | 12.5% | 0% | 5 |
| 46.2% | 37.5% | 43.7% | 0.1% | 0% | 18.7% | 0% | 6 |
| 56% | 43.7% | 34.3% | 0.1% | 0% | 18.7% | 3.1% | 7 |
| 58.3% | 43.7% | 31.2% | 0.1% | 0% | 21.9% | 3.1% | 8 |
| 66.7% | 46.8% | 23.4% | 0.1% | 0% | 21.9% | 7.8% | 9 |
| 68.2% | 46.8% | 21.9% | 0.1% | 0% | 23.4% | 7.8% | 10 |
| 72.9% | 48.4% | 18% | 0.1% | 0% | 23.4% | 10.1% | 11 |
| 73.8% | 48.4% | 17.2% | 0.1% | 0% | 24.2% | 10.1% | 12 |
Compiled 16 to 12 computations (25% saved)
| 1.4s | 2209× | body | 1024 | valid |
| 887.0ms | 1363× | body | 2048 | valid |
| 815.0ms | 1065× | body | 1024 | invalid |
| 541.0ms | 1045× | body | 512 | valid |
| 364.0ms | 1899× | body | 256 | valid |
| 325.0ms | 1414× | body | 256 | infinite |
| 246.0ms | 1340× | body | 256 | unsamplable |
| 217.0ms | 570× | body | 512 | invalid |
| 174.0ms | 145× | body | 1024 | infinite |
| 127.0ms | 977× | body | 256 | invalid |
| 84.0ms | 181× | body | 512 | infinite |
| 7.0ms | 6× | body | 2048 | invalid |
| 1× | egg-herbie |
| 658× | associate-+r+ |
| 542× | distribute-lft-neg-in |
| 385× | fma-def |
| 373× | associate-+l+ |
| 337× | associate--r+ |
| 111× | (-.f64 (pow.f64 (+.f64 x 1) (/.f64 1 n)) (pow.f64 x (/.f64 1 n))) |
| 105× | No Errors |
| 40× | (pow.f64 (+.f64 x 1) (/.f64 1 n)) |
Useful iterations: 2 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 31 | 383 |
| 1 | 76 | 359 |
| 2 | 192 | 351 |
| 3 | 549 | 351 |
| 4 | 1781 | 351 |
| 5 | 4133 | 351 |
| 1× | node limit |
| Inputs |
|---|
(-.f64 (pow.f64 (+.f64 x 1) (/.f64 1 n)) (pow.f64 x (/.f64 1 n))) |
(-.f64 (pow.f64 (+.f64 x 1) (/.f64 1 n)) (pow.f64 x (/.f64 1 n))) |
(-.f64 (pow.f64 (+.f64 (neg.f64 x) 1) (/.f64 1 n)) (pow.f64 (neg.f64 x) (/.f64 1 n))) |
(-.f64 (pow.f64 (+.f64 x 1) (/.f64 1 (neg.f64 n))) (pow.f64 x (/.f64 1 (neg.f64 n)))) |
(neg.f64 (-.f64 (pow.f64 (+.f64 (neg.f64 x) 1) (/.f64 1 n)) (pow.f64 (neg.f64 x) (/.f64 1 n)))) |
(neg.f64 (-.f64 (pow.f64 (+.f64 x 1) (/.f64 1 (neg.f64 n))) (pow.f64 x (/.f64 1 (neg.f64 n))))) |
(-.f64 (pow.f64 (+.f64 n 1) (/.f64 1 x)) (pow.f64 n (/.f64 1 x))) |
| Outputs |
|---|
(-.f64 (pow.f64 (+.f64 x 1) (/.f64 1 n)) (pow.f64 x (/.f64 1 n))) |
(-.f64 (pow.f64 (+.f64 x 1) (/.f64 1 n)) (pow.f64 x (/.f64 1 n))) |
(-.f64 (pow.f64 (+.f64 (neg.f64 x) 1) (/.f64 1 n)) (pow.f64 (neg.f64 x) (/.f64 1 n))) |
(-.f64 (pow.f64 (+.f64 1 (neg.f64 x)) (/.f64 1 n)) (pow.f64 (neg.f64 x) (/.f64 1 n))) |
(-.f64 (pow.f64 (-.f64 1 x) (/.f64 1 n)) (pow.f64 (neg.f64 x) (/.f64 1 n))) |
(-.f64 (pow.f64 (+.f64 x 1) (/.f64 1 (neg.f64 n))) (pow.f64 x (/.f64 1 (neg.f64 n)))) |
(-.f64 (pow.f64 (+.f64 x 1) (/.f64 -1 n)) (pow.f64 x (/.f64 -1 n))) |
(neg.f64 (-.f64 (pow.f64 (+.f64 (neg.f64 x) 1) (/.f64 1 n)) (pow.f64 (neg.f64 x) (/.f64 1 n)))) |
(neg.f64 (-.f64 (pow.f64 (+.f64 1 (neg.f64 x)) (/.f64 1 n)) (pow.f64 (neg.f64 x) (/.f64 1 n)))) |
(neg.f64 (-.f64 (pow.f64 (-.f64 1 x) (/.f64 1 n)) (pow.f64 (neg.f64 x) (/.f64 1 n)))) |
(-.f64 (pow.f64 (neg.f64 x) (/.f64 1 n)) (pow.f64 (-.f64 1 x) (/.f64 1 n))) |
(neg.f64 (-.f64 (pow.f64 (+.f64 x 1) (/.f64 1 (neg.f64 n))) (pow.f64 x (/.f64 1 (neg.f64 n))))) |
(neg.f64 (-.f64 (pow.f64 (+.f64 x 1) (/.f64 -1 n)) (pow.f64 x (/.f64 -1 n)))) |
(-.f64 (pow.f64 x (/.f64 -1 n)) (pow.f64 (+.f64 x 1) (/.f64 -1 n))) |
(-.f64 (pow.f64 (+.f64 n 1) (/.f64 1 x)) (pow.f64 n (/.f64 1 x))) |
(-.f64 (pow.f64 (+.f64 1 n) (/.f64 1 x)) (pow.f64 n (/.f64 1 x))) |
Compiled 37 to 25 computations (32.4% saved)
Loading profile data...