Time bar (total: 6.5s)
| 40.0ms | 109× | body | 1280 | valid |
| 18.0ms | 75× | body | 640 | valid |
| 14.0ms | 410× | pre | 80 | true |
| 8.0ms | 47× | body | 320 | valid |
| 7.0ms | 160× | body | 80 | valid |
| 2.0ms | 19× | body | 160 | valid |
1 alts after pruning (1 fresh and 0 done)
Merged error: 58.9b
Found 1 expressions with local error:
| 6.6b | (- (exp x) 1) |
| 5× | add-sqr-sqrt |
| 4× | *-un-lft-identity |
| 3× | add-log-exp |
| 2× | difference-of-squares |
| 1× | pow1 sub-neg flip3-- add-cbrt-cube diff-log difference-of-sqr-1 add-exp-log add-cube-cbrt insert-posit16 flip-- distribute-lft-out-- |
| 17.0ms | (- (exp x) 1) |
| 16.0ms | (- (exp x) 1) |
2 alts after pruning (1 fresh and 1 done)
Merged error: 0.0b
Found 3 expressions with local error:
| 0.3b | (* x 1/6) |
| 0.0b | (* x (* x (+ 1/2 (* x 1/6)))) |
| 0.0b | (* x (+ 1/2 (* x 1/6))) |
| 12× | add-sqr-sqrt pow1 add-cbrt-cube add-exp-log |
| 9× | associate-*l* |
| 8× | *-un-lft-identity add-cube-cbrt |
| 7× | associate-*r* |
| 6× | associate-*r/ |
| 5× | distribute-rgt-in distribute-lft-in pow-prod-down prod-exp cbrt-unprod |
| 3× | *-commutative insert-posit16 add-log-exp |
| 2× | flip3-+ flip-+ unswap-sqr |
| 22.0ms | (* x (* x (+ 1/2 (* x 1/6)))) |
| 11.0ms | (* x (+ 1/2 (* x 1/6))) |
| 7.0ms | (* x 1/6) |
| 87.0ms | (* x (* x (+ 1/2 (* x 1/6)))) |
| 78.0ms | (* x (+ 1/2 (* x 1/6))) |
| 30.0ms | (* x 1/6) |
2 alts after pruning (0 fresh and 2 done)
Merged error: 0.0b
0% (0.4b remaining)
Error of 0.4b against oracle of 0.0b and baseline of 0.4b
| 1.0s | 3398× | body | 1280 | valid |
| 512.0ms | 2545× | body | 640 | valid |
| 380.0ms | 12241× | pre | 80 | true |
| 218.0ms | 1268× | body | 320 | valid |
| 212.0ms | 4418× | body | 80 | valid |
| 49.0ms | 612× | body | 160 | valid |