ENA, Section 1.4, Exercise 1
Time bar (total: 1.4s)
| 1× | search |
| Probability | Valid | Unknown | Precondition | Infinite | Domain | Can't | Iter |
|---|---|---|---|---|---|---|---|
| 0% | 0% | 0% | 100% | 0% | 0% | 0% | 0 |
| 100% | 0% | 0% | 100% | 0% | 0% | 0% | 1 |
Compiled 17 to 12 computations (29.4% saved)
| 1.2s | 8256× | body | 256 | valid |
| 1× | egg-herbie |
| 531× | fma-def |
| 313× | distribute-rgt-in |
| 300× | distribute-lft-in |
| 282× | *-commutative |
| 255× | associate-/r* |
| 240× | (exp.f64 (*.f64 10 (*.f64 x x))) |
| 16× | No Errors |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 19 | 148 |
| 1 | 45 | 148 |
| 2 | 95 | 148 |
| 3 | 262 | 148 |
| 4 | 662 | 148 |
| 5 | 1761 | 148 |
| 6 | 4171 | 148 |
| 7 | 6752 | 148 |
| 1× | node limit |
| Inputs |
|---|
(*.f64 (cos.f64 x) (exp.f64 (*.f64 10 (*.f64 x x)))) |
(*.f64 (cos.f64 x) (exp.f64 (*.f64 10 (*.f64 x x)))) |
(*.f64 (cos.f64 (neg.f64 x)) (exp.f64 (*.f64 10 (*.f64 (neg.f64 x) (neg.f64 x))))) |
(neg.f64 (*.f64 (cos.f64 (neg.f64 x)) (exp.f64 (*.f64 10 (*.f64 (neg.f64 x) (neg.f64 x)))))) |
| Outputs |
|---|
(*.f64 (cos.f64 x) (exp.f64 (*.f64 10 (*.f64 x x)))) |
(*.f64 (cos.f64 x) (pow.f64 (exp.f64 10) (*.f64 x x))) |
(/.f64 (cos.f64 x) (pow.f64 (pow.f64 (exp.f64 -10) x) x)) |
(*.f64 (cos.f64 x) (exp.f64 (*.f64 10 (*.f64 x x)))) |
(*.f64 (cos.f64 x) (pow.f64 (exp.f64 10) (*.f64 x x))) |
(/.f64 (cos.f64 x) (pow.f64 (pow.f64 (exp.f64 -10) x) x)) |
(*.f64 (cos.f64 (neg.f64 x)) (exp.f64 (*.f64 10 (*.f64 (neg.f64 x) (neg.f64 x))))) |
(*.f64 (cos.f64 x) (pow.f64 (exp.f64 10) (*.f64 x x))) |
(/.f64 (cos.f64 x) (pow.f64 (pow.f64 (exp.f64 -10) x) x)) |
(neg.f64 (*.f64 (cos.f64 (neg.f64 x)) (exp.f64 (*.f64 10 (*.f64 (neg.f64 x) (neg.f64 x)))))) |
(*.f64 (cos.f64 x) (neg.f64 (pow.f64 (exp.f64 10) (*.f64 x x)))) |
(*.f64 (pow.f64 (exp.f64 10) (*.f64 x x)) (neg.f64 (cos.f64 x))) |
(/.f64 (neg.f64 (cos.f64 x)) (pow.f64 (pow.f64 (exp.f64 -10) x) x)) |
(abs x)
Compiled 29 to 14 computations (51.7% saved)
Loading profile data...