Time bar (total: 6.6s)
| 69.0ms | 77× | body | 1280 | valid |
| 23.0ms | 50× | body | 640 | valid |
| 6.0ms | 21× | body | 320 | valid |
| 5.0ms | 90× | body | 80 | valid |
| 4.0ms | 99× | body | 80 | nan |
| 3.0ms | 18× | body | 160 | valid |
| Iter | Nodes |
|---|---|
| done | 7 |
| 1 | 7 |
| 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 |
| 6.0ms | (log (+ 1 x)) |
| 33.0ms | (log (+ 1 x)) |
| Iter | Nodes |
|---|---|
| done | 2001 |
| 5 | 2001 |
| 4 | 1444 |
| 3 | 558 |
| 2 | 241 |
| 1 | 112 |
| 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/2 (* 1/3 x))) |
| 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× | associate-*r/ *-commutative insert-posit16 add-log-exp unswap-sqr |
| 1× | distribute-rgt-in distribute-lft-in flip3-+ flip-+ |
| 26.0ms | (* (* x x) (+ -1/2 (* 1/3 x))) |
| 5.0ms | (* 1/3 x) |
| 129.0ms | (* (* x x) (+ -1/2 (* 1/3 x))) |
| 28.0ms | (* 1/3 x) |
| Iter | Nodes |
|---|---|
| done | 2002 |
| 3 | 2002 |
| 2 | 980 |
| 1 | 247 |
| 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 |
|---|---|
| done | 21 |
| 1 | 21 |
| 0 | 14 |
| 1.6s | 2185× | body | 1280 | valid |
| 642.0ms | 1730× | body | 640 | valid |
| 192.0ms | 824× | body | 320 | valid |
| 132.0ms | 2798× | body | 80 | valid |
| 126.0ms | 2775× | body | 80 | nan |
| 56.0ms | 463× | body | 160 | valid |