ENA, Section 1.4, Exercise 4b, n=5
Time bar (total: 1.6s)
| 1× | search |
| Probability | Valid | Unknown | Precondition | Infinite | Domain | Can't | Iter |
|---|---|---|---|---|---|---|---|
| 0% | 0% | 25.7% | 74.3% | 0% | 0% | 0% | 0 |
| 100% | 25.7% | 0% | 74.3% | 0% | 0% | 0% | 1 |
Compiled 26 to 19 computations (26.9% saved)
| 994.0ms | 7114× | body | 256 | valid |
| 191.0ms | 534× | body | 512 | valid |
| 168.0ms | 588× | body | 1024 | valid |
| 7.0ms | 20× | body | 2048 | valid |
| 1× | egg-herbie |
| 655× | +-commutative |
| 495× | distribute-lft-neg-in |
| 414× | associate--r+ |
| 405× | associate-+l+ |
| 363× | fma-def |
| 218× | No Errors |
| 36× | (-.f64 (pow.f64 (+.f64 x eps) 5) (pow.f64 x 5)) |
| 2× | (pow.f64 (+.f64 x eps) 5) |
Useful iterations: 2 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 28 | 262 |
| 1 | 65 | 254 |
| 2 | 158 | 246 |
| 3 | 417 | 246 |
| 4 | 1318 | 246 |
| 5 | 3423 | 246 |
| 6 | 7546 | 246 |
| 1× | node limit |
| Inputs |
|---|
(-.f64 (pow.f64 (+.f64 x eps) 5) (pow.f64 x 5)) |
(-.f64 (pow.f64 (+.f64 x eps) 5) (pow.f64 x 5)) |
(-.f64 (pow.f64 (+.f64 (neg.f64 x) eps) 5) (pow.f64 (neg.f64 x) 5)) |
(-.f64 (pow.f64 (+.f64 x (neg.f64 eps)) 5) (pow.f64 x 5)) |
(neg.f64 (-.f64 (pow.f64 (+.f64 (neg.f64 x) eps) 5) (pow.f64 (neg.f64 x) 5))) |
(neg.f64 (-.f64 (pow.f64 (+.f64 x (neg.f64 eps)) 5) (pow.f64 x 5))) |
(-.f64 (pow.f64 (+.f64 eps x) 5) (pow.f64 eps 5)) |
| Outputs |
|---|
(-.f64 (pow.f64 (+.f64 x eps) 5) (pow.f64 x 5)) |
(-.f64 (pow.f64 (+.f64 x eps) 5) (pow.f64 x 5)) |
(-.f64 (pow.f64 (+.f64 (neg.f64 x) eps) 5) (pow.f64 (neg.f64 x) 5)) |
(-.f64 (pow.f64 (+.f64 eps (neg.f64 x)) 5) (pow.f64 (neg.f64 x) 5)) |
(-.f64 (pow.f64 (-.f64 eps x) 5) (pow.f64 (neg.f64 x) 5)) |
(-.f64 (pow.f64 (+.f64 x (neg.f64 eps)) 5) (pow.f64 x 5)) |
(-.f64 (pow.f64 (-.f64 x eps) 5) (pow.f64 x 5)) |
(neg.f64 (-.f64 (pow.f64 (+.f64 (neg.f64 x) eps) 5) (pow.f64 (neg.f64 x) 5))) |
(neg.f64 (-.f64 (pow.f64 (+.f64 eps (neg.f64 x)) 5) (pow.f64 (neg.f64 x) 5))) |
(neg.f64 (-.f64 (pow.f64 (-.f64 eps x) 5) (pow.f64 (neg.f64 x) 5))) |
(-.f64 (pow.f64 (neg.f64 x) 5) (pow.f64 (-.f64 eps x) 5)) |
(neg.f64 (-.f64 (pow.f64 (+.f64 x (neg.f64 eps)) 5) (pow.f64 x 5))) |
(neg.f64 (-.f64 (pow.f64 (-.f64 x eps) 5) (pow.f64 x 5))) |
(-.f64 (pow.f64 x 5) (pow.f64 (-.f64 x eps) 5)) |
(-.f64 (pow.f64 (+.f64 eps x) 5) (pow.f64 eps 5)) |
(-.f64 (pow.f64 (+.f64 x eps) 5) (pow.f64 eps 5)) |
Compiled 26 to 14 computations (46.2% saved)
Loading profile data...