Time bar (total: 10.0m)
| 76.0ms | 256× | body | 80 | valid |
| Iter | Nodes |
|---|---|
| done | 5003 |
| 4 | 1689 |
| 3 | 453 |
| 2 | 136 |
| 1 | 55 |
| 0 | 29 |
1 alts after pruning (1 fresh and 0 done)
Merged error: 23.2b
Found 4 expressions with local error:
| 0.1b | (* (+ (* (+ (* (+ (* x 4.16438922228) 78.6994924154) x) 137.519416416) x) y) x) |
| 0.1b | (* (+ (* x 4.16438922228) 78.6994924154) x) |
| 0.1b | (* (+ (* (+ (* x 4.16438922228) 78.6994924154) x) 137.519416416) x) |
| 23.2b | (/ (* (- x 2.0) (+ (* (+ (* (+ (* (+ (* x 4.16438922228) 78.6994924154) x) 137.519416416) x) y) x) z)) (+ (* (+ (* (+ (* (+ x 43.3400022514) x) 263.505074721) x) 313.399215894) x) 47.066876606)) |