Time bar (total: 16.3s)
| 40.0ms | 492× | body | 80 | valid |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 18 | 19 |
| 1 | 32 | 19 |
| 2 | 77 | 19 |
| 3 | 228 | 19 |
| 4 | 707 | 19 |
| 5 | 1495 | 19 |
| 6 | 1992 | 19 |
| 7 | 2251 | 19 |
| 8 | 2668 | 19 |
| 9 | 3141 | 19 |
| 10 | 3346 | 19 |
| 11 | 3407 | 19 |
| done | 3407 | 19 |
1 alts after pruning (1 fresh and 0 done)
Merged error: 5.8b
Found 4 expressions with local error:
| 0.0b | (+ a (* b c)) |
| 0.0b | (+ (* x y) (* z t)) |
| 0.1b | (* (+ a (* b c)) c) |
| 8.0b | (* (* (+ a (* b c)) c) i) |
| 11× | pow1 add-exp-log add-cbrt-cube |
| 9× | add-sqr-sqrt |
| 8× | add-log-exp |
| 7× | add-cube-cbrt *-un-lft-identity |
| 6× | associate-*r* associate-*l/ |
| 4× | flip3-+ associate-*l* pow-prod-down prod-exp cbrt-unprod flip-+ |
| 2× | +-commutative sum-log *-commutative |
| 1× | unswap-sqr |
| 11.0ms | (+ a (* b c)) |
| 17.0ms | (+ (* x y) (* z t)) |
| 21.0ms | (* (+ a (* b c)) c) |
| 56.0ms | (* (* (+ a (* b c)) c) i) |