Time bar (total: 1.8s)
| 13.0ms | 336× | body | 80 | valid |
Useful iterations: 2 (16.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 10 | 13 |
| 1 | 26 | 13 |
| 2 | 55 | 11 |
| 3 | 121 | 11 |
| 4 | 182 | 11 |
| 5 | 210 | 11 |
| 6 | 236 | 11 |
| 7 | 285 | 11 |
| 8 | 383 | 11 |
| 9 | 485 | 11 |
| 10 | 553 | 11 |
| 11 | 570 | 11 |
| done | 570 | 11 |
1 alts after pruning (1 fresh and 0 done)
Merged error: 0.1b
Found 3 expressions with local error:
| 0.0b | (- (* (* x 3.0) x) (* x 4.0)) |
| 0.1b | (* 3.0 (+ (- (* (* x 3.0) x) (* x 4.0)) 1.0)) |
| 0.2b | (* (* x 3.0) x) |
| 10× | pow1 add-exp-log add-cbrt-cube |
| 8× | add-sqr-sqrt *-un-lft-identity |
| 7× | associate-*r* |
| 6× | add-cube-cbrt |
| 5× | add-log-exp |
| 4× | associate-*l* pow-prod-down prod-exp cbrt-unprod |
| 2× | associate-*r/ *-commutative |
| 1× | distribute-rgt-in sub-neg flip3-- distribute-lft-in flip3-+ diff-log flip-- flip-+ distribute-lft-out unswap-sqr |
| 20.0ms | (- (* (* x 3.0) x) (* x 4.0)) |
| 265.0ms | (* 3.0 (+ (- (* (* x 3.0) x) (* x 4.0)) 1.0)) |
| 29.0ms | (* (* x 3.0) x) |