Time bar (total: 16.5s)
| 73.0ms | 478× | body | 80 | valid |
Useful iterations: 0 (1.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: 7.9b
Found 4 expressions with local error:
| 0.0b | (- (+ (* x y) (* z t)) (* (* (+ a (* b c)) c) i)) |
| 0.0b | (+ (* x y) (* z t)) |
| 0.1b | (* (+ a (* b c)) c) |
| 10.9b | (* (* (+ a (* b c)) c) i) |
| 14× | associate-*l/ |
| 11× | pow1 add-exp-log add-cbrt-cube add-log-exp |
| 9× | add-sqr-sqrt |
| 7× | add-cube-cbrt *-un-lft-identity flip3-+ flip-+ |
| 6× | associate-*r* |
| 4× | associate-*l* pow-prod-down prod-exp frac-sub cbrt-unprod |
| 2× | diff-log sum-log *-commutative |
| 1× | +-commutative sub-neg flip3-- associate--l+ flip-- unswap-sqr |
| 79.0ms | (- (+ (* x y) (* z t)) (* (* (+ a (* b c)) c) i)) |
| 10.0ms | (+ (* x y) (* z t)) |
| 45.0ms | (* (+ a (* b c)) c) |
| 39.0ms | (* (* (+ a (* b c)) c) i) |