Time bar (total: 11.1s)
| 46.0ms | 292× | body | 80 | valid |
| 28.0ms | 303× | body | 80 | nan |
Useful iterations: 0 (1.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 15 | 16 |
| 1 | 30 | 16 |
| 2 | 84 | 16 |
| 3 | 261 | 16 |
| 4 | 691 | 16 |
| 5 | 1728 | 16 |
| 6 | 3874 | 16 |
| done | 5000 | 16 |
1 alts after pruning (1 fresh and 0 done)
Merged error: 0.1b
Found 4 expressions with local error:
| 0.0b | (* (- a 0.5) b) |
| 0.0b | (+ (- (+ (+ x y) z) (* z (log t))) (* (- a 0.5) b)) |
| 0.1b | (- (+ (+ x y) z) (* z (log t))) |
| 0.3b | (* z (log t)) |
| 27× | add-log-exp |
| 18× | add-sqr-sqrt |
| 14× | *-un-lft-identity |
| 12× | add-cube-cbrt log-prod |
| 10× | sum-log |
| 9× | pow1 |
| 8× | add-exp-log associate-*l* add-cbrt-cube |
| 7× | associate-*r* |
| 6× | distribute-rgt-in flip3-- distribute-lft-in diff-log associate-*l/ flip-- associate--r+ |
| 4× | frac-add |
| 3× | associate-+l+ |
| 2× | sub-neg pow-prod-down prod-exp associate--l+ *-commutative cbrt-unprod unswap-sqr |
| 1× | +-commutative associate-+l- flip3-+ log-pow flip-+ distribute-lft-out-- difference-of-squares |
| 45.0ms | (* (- a 0.5) b) |
| 854.0ms | (+ (- (+ (+ x y) z) (* z (log t))) (* (- a 0.5) b)) |
| 214.0ms | (- (+ (+ x y) z) (* z (log t))) |
| 9.0ms | (* z (log t)) |