Time bar (total: 6.4s)
| 42.0ms | 77× | body | 1280 | valid |
| 13.0ms | 50× | body | 640 | valid |
| 3.0ms | 21× | body | 320 | valid |
| 3.0ms | 90× | body | 80 | valid |
| 3.0ms | 99× | body | 80 | nan |
| 2.0ms | 18× | body | 160 | valid |
| Iter | Nodes |
|---|---|
| 2 | 5 |
| 1 | 5 |
| 0 | 4 |
1 alts after pruning (1 fresh and 0 done)
Merged error: 38.9b
Found 1 expressions with local error:
| 4.6b | (log (+ 1 x)) |
| 4× | log-prod *-un-lft-identity |
| 2× | add-sqr-sqrt pow1 log-div add-exp-log add-cube-cbrt |
| 1× | flip3-+ add-cbrt-cube rem-log-exp log-pow flip-+ insert-posit16 distribute-lft-out add-log-exp |
| 3.0ms | (log (+ 1 x)) |
| 48.0ms | (log (+ 1 x)) |
| Iter | Nodes |
|---|---|
| 5 | 2892 |
| 4 | 1038 |
| 3 | 435 |
| 2 | 208 |
| 1 | 105 |
| 0 | 55 |
2 alts after pruning (1 fresh and 1 done)
Merged error: 0.0b
Found 2 expressions with local error:
| 0.0b | (* (* x x) (- (* 1/3 x) 1/2)) |
| 0.3b | (* 1/3 x) |
| 9× | pow1 add-cbrt-cube add-exp-log |
| 8× | add-sqr-sqrt |
| 6× | associate-*r* |
| 5× | *-un-lft-identity add-cube-cbrt |
| 4× | associate-*l* pow-prod-down prod-exp cbrt-unprod |
| 2× | distribute-rgt-in sub-neg distribute-lft-in associate-*r/ *-commutative insert-posit16 add-log-exp unswap-sqr |
| 1× | flip3-- flip-- |
| 67.0ms | (* (* x x) (- (* 1/3 x) 1/2)) |
| 7.0ms | (* 1/3 x) |
| 120.0ms | (* (* x x) (- (* 1/3 x) 1/2)) |
| 29.0ms | (* 1/3 x) |
| Iter | Nodes |
|---|---|
| 3 | 2254 |
| 2 | 617 |
| 1 | 222 |
| 0 | 81 |
2 alts after pruning (0 fresh and 2 done)
Merged error: 0.0b
99.4% (0.1b remaining)
Error of 0.2b against oracle of 0.0b and baseline of 20.7b
| Iter | Nodes |
|---|---|
| 2 | 18 |
| 1 | 18 |
| 0 | 14 |
| 1.7s | 2185× | body | 1280 | valid |
| 728.0ms | 1730× | body | 640 | valid |
| 173.0ms | 824× | body | 320 | valid |
| 155.0ms | 2775× | body | 80 | nan |
| 138.0ms | 2798× | body | 80 | valid |
| 59.0ms | 463× | body | 160 | valid |