Time bar (total: 10.0m)
| 81.0ms | 287× | body | 80 | valid |
| Iter | Nodes |
|---|---|
| done | 5004 |
| 5 | 2954 |
| 4 | 1007 |
| 3 | 333 |
| 2 | 114 |
| 1 | 55 |
| 0 | 30 |
1 alts after pruning (1 fresh and 0 done)
Merged error: 27.6b
Found 4 expressions with local error:
| 0.1b | (* (+ (* (+ (* z 3.13060547623) 11.1667541262) z) t) z) |
| 0.1b | (* (+ (* z 3.13060547623) 11.1667541262) z) |
| 1.9b | (* y (+ (* (+ (* (+ (* (+ (* z 3.13060547623) 11.1667541262) z) t) z) a) z) b)) |
| 26.6b | (/ (* y (+ (* (+ (* (+ (* (+ (* z 3.13060547623) 11.1667541262) z) t) z) a) z) b)) (+ (* (+ (* (+ (* (+ z 15.234687407) z) 31.4690115749) z) 11.9400905721) z) 0.607771387771)) |