Time bar (total: 32.1s)
| 145.0ms | 82× | body | 2560 | valid |
| 128.0ms | 59× | body | 10240 | exit |
| 106.0ms | 108× | body | 1280 | valid |
| 41.0ms | 32× | body | 640 | valid |
| 13.0ms | 315× | pre | 80 | true |
| 6.0ms | 12× | body | 320 | valid |
| 2.0ms | 15× | body | 80 | valid |
| 2.0ms | 7× | body | 160 | valid |
| Iter | Nodes |
|---|---|
| 5 | 4055 |
| 4 | 686 |
| 3 | 213 |
| 2 | 96 |
| 1 | 41 |
| 0 | 17 |
2 alts after pruning (2 fresh and 0 done)
Merged error: 58.6b
Found 4 expressions with local error:
| 0.3b | (/ (* eps (- (exp (* (+ a b) eps)) 1)) (* (- (exp (* a eps)) 1) (- (exp (* b eps)) 1))) |
| 3.0b | (- (exp (* a eps)) 1) |
| 4.5b | (- (exp (* b eps)) 1) |
| 5.2b | (- (exp (* (+ a b) eps)) 1) |
| 16× | add-sqr-sqrt add-cbrt-cube add-exp-log |
| 13× | *-un-lft-identity |
| 10× | flip3-- flip-- add-log-exp |
| 8× | associate-/r/ |
| 6× | difference-of-squares |
| 4× | frac-times pow1 cbrt-undiv div-exp prod-exp associate-*r/ add-cube-cbrt cbrt-unprod insert-posit16 |
| 3× | sub-neg diff-log difference-of-sqr-1 distribute-lft-out-- |
| 2× | associate-*l/ associate-/l/ |
| 1× | clear-num associate-/r* frac-2neg times-frac div-inv associate-/l* |
| 54.0ms | (/ (* eps (- (exp (* (+ a b) eps)) 1)) (* (- (exp (* a eps)) 1) (- (exp (* b eps)) 1))) |
| 25.0ms | (- (exp (* a eps)) 1) |
| 30.0ms | (- (exp (* b eps)) 1) |
| 28.0ms | (- (exp (* (+ a b) eps)) 1) |
| 240.0ms | (/ (* eps (- (exp (* (+ a b) eps)) 1)) (* (- (exp (* a eps)) 1) (- (exp (* b eps)) 1))) |
| 36.0ms | (- (exp (* a eps)) 1) |
| 44.0ms | (- (exp (* b eps)) 1) |
| 75.0ms | (- (exp (* (+ a b) eps)) 1) |
| Iter | Nodes |
|---|---|
| 2 | 2121 |
| 1 | 488 |
| 0 | 182 |
4 alts after pruning (4 fresh and 0 done)
Merged error: 0.3b
Found 1 expressions with local error:
| 0.0b | (+ (/ 1 a) (/ 1 b)) |
| 13× | *-un-lft-identity |
| 7× | distribute-lft-out |
| 6× | times-frac |
| 4× | div-inv |
| 3× | add-sqr-sqrt add-cube-cbrt add-log-exp |
| 1× | pow1 +-commutative sum-log flip3-+ add-cbrt-cube frac-add add-exp-log flip-+ insert-posit16 |
| 18.0ms | (+ (/ 1 a) (/ 1 b)) |
| 19.0ms | (+ (/ 1 a) (/ 1 b)) |
| Iter | Nodes |
|---|---|
| 4 | 2330 |
| 3 | 898 |
| 2 | 363 |
| 1 | 101 |
| 0 | 41 |
6 alts after pruning (5 fresh and 1 done)
Merged error: 0.2b
Found 1 expressions with local error:
| 15.9b | (/ (+ b a) (* a b)) |
| 7× | *-un-lft-identity |
| 6× | add-cbrt-cube add-exp-log |
| 4× | times-frac associate-/l* |
| 3× | add-sqr-sqrt add-cube-cbrt |
| 2× | cbrt-undiv div-exp distribute-lft-out associate-/l/ |
| 1× | pow1 clear-num associate-/r* frac-2neg flip3-+ prod-exp cbrt-unprod flip-+ insert-posit16 div-inv add-log-exp |
| 25.0ms | (/ (+ b a) (* a b)) |
| 53.0ms | (/ (+ b a) (* a b)) |
| Iter | Nodes |
|---|---|
| 4 | 6147 |
| 3 | 1932 |
| 2 | 534 |
| 1 | 147 |
| 0 | 57 |
7 alts after pruning (6 fresh and 1 done)
Merged error: 0.2b
Found 2 expressions with local error:
| 0.0b | (/ (+ b a) a) |
| 6.0b | (/ (/ (+ b a) a) b) |
| 108× | times-frac |
| 92× | *-un-lft-identity |
| 60× | add-sqr-sqrt add-cube-cbrt |
| 20× | associate-/l* |
| 16× | distribute-lft-out |
| 9× | add-cbrt-cube add-exp-log |
| 6× | associate-/r* div-inv |
| 4× | cbrt-undiv div-exp |
| 3× | associate-/l/ |
| 2× | pow1 clear-num frac-2neg insert-posit16 add-log-exp |
| 1× | flip3-+ flip-+ |
| 25.0ms | (/ (+ b a) a) |
| 31.0ms | (/ (/ (+ b a) a) b) |
| 31.0ms | (/ (+ b a) a) |
| 50.0ms | (/ (/ (+ b a) a) b) |
| Iter | Nodes |
|---|---|
| 3 | 2684 |
| 2 | 905 |
| 1 | 379 |
| 0 | 167 |
7 alts after pruning (5 fresh and 2 done)
Merged error: 0.2b
0% (3.1b remaining)
Error of 3.2b against oracle of 0.1b and baseline of 3.2b
| Iter | Nodes |
|---|---|
| 2 | 7 |
| 1 | 7 |
| 0 | 6 |
| 6.7s | 2561× | body | 2560 | valid |
| 5.6s | 2032× | body | 10240 | exit |
| 5.2s | 3457× | body | 1280 | valid |
| 1.1s | 1115× | body | 640 | valid |
| 611.0ms | 10033× | pre | 80 | true |
| 189.0ms | 319× | body | 320 | valid |
| 107.0ms | 428× | body | 80 | valid |
| 49.0ms | 121× | body | 160 | valid |