Time bar (total: 9.8s)
| 65.0ms | 73× | body | 1280 | valid |
| 24.0ms | 55× | body | 640 | valid |
| 7.0ms | 29× | body | 320 | valid |
| 5.0ms | 79× | body | 80 | valid |
| 4.0ms | 97× | body | 80 | nan |
| 3.0ms | 20× | body | 160 | valid |
| Iter | Nodes |
|---|---|
| done | 7 |
| 1 | 7 |
| 0 | 4 |
1 alts after pruning (1 fresh and 0 done)
Merged error: 41.4b
Found 1 expressions with local error:
| 6.2b | (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)) |
| 33.0ms | (log (+ 1 x)) |
| Iter | Nodes |
|---|---|
| done | 5002 |
| 5 | 4335 |
| 4 | 1444 |
| 3 | 558 |
| 2 | 241 |
| 1 | 112 |
| 0 | 55 |
2 alts after pruning (1 fresh and 1 done)
Merged error: 0.1b
Found 2 expressions with local error:
| 0.1b | (* (* 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-- |
| 43.0ms | (* (* x x) (- (* 1/3 x) 1/2)) |
| 11.0ms | (* 1/3 x) |
| 134.0ms | (* (* x x) (- (* 1/3 x) 1/2)) |
| 23.0ms | (* 1/3 x) |
| Iter | Nodes |
|---|---|
| done | 5006 |
| 3 | 3248 |
| 2 | 698 |
| 1 | 228 |
| 0 | 81 |
2 alts after pruning (0 fresh and 2 done)
Merged error: 0.1b
99.4% (0.1b remaining)
Error of 0.2b against oracle of 0.1b and baseline of 20.5b
| Iter | Nodes |
|---|---|
| done | 20 |
| 1 | 20 |
| 0 | 14 |
| 1.6s | 2286× | body | 1280 | valid |
| 1.0s | 1632× | body | 640 | valid |
| 205.0ms | 869× | body | 320 | valid |
| 152.0ms | 2742× | body | 80 | nan |
| 136.0ms | 2792× | body | 80 | valid |
| 53.0ms | 421× | body | 160 | valid |