Time bar (total: 443.0ms)
| 13.0ms | 349× | body | 80 | valid |
Useful iterations: 0 (1.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 8 | 9 |
| 1 | 12 | 9 |
| 2 | 20 | 9 |
| 3 | 31 | 9 |
| 4 | 33 | 9 |
| done | 33 | 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 |
| 3.0ms | (+ (* x y) z) |
| 5.0ms | (+ (* (+ (* x y) z) y) t) |
| 10.0ms | (* (+ (* x y) z) y) |
| 24.0ms | (+ (* x y) z) |
| 58.0ms | (+ (* (+ (* x y) z) y) t) |
| 37.0ms | (* (+ (* x y) z) y) |
Useful iterations: 2 (59.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 80 | 569 |
| 1 | 211 | 546 |
| 2 | 671 | 494 |