Time bar (total: 200.0ms)
| 16.0ms | 360× | body | 80 | valid |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 8 | 9 |
| 1 | 12 | 9 |
| 2 | 20 | 9 |
| 3 | 39 | 9 |
| 4 | 43 | 9 |
| done | 43 | 9 |
1 alts after pruning (1 fresh and 0 done)
Merged error: 0.1b
Found 3 expressions with local error:
| 0.0b | (+ (* x y) z) |
| 0.0b | (+ (* (+ (* x y) z) y) t) |
| 0.1b | (* (+ (* x y) z) y) |
| 7× | add-sqr-sqrt add-log-exp |
| 5× | pow1 add-exp-log add-cube-cbrt *-un-lft-identity add-cbrt-cube |
| 3× | flip3-+ associate-*r* associate-*l* flip-+ |
| 2× | +-commutative associate-*l/ sum-log |
| 1× | pow-prod-down prod-exp *-commutative cbrt-unprod unswap-sqr |
| 19.0ms | (+ (* x y) z) |
| 16.0ms | (+ (* (+ (* x y) z) y) t) |
| 51.0ms | (* (+ (* x y) z) y) |