Time bar (total: 1.3m)
| 594.0ms | 135× | body | 10240 | exit |
| 583.0ms | 54× | body | 1280 | nan |
| 168.0ms | 259× | body | 80 | valid |
| 118.0ms | 40× | body | 640 | nan |
| 74.0ms | 28× | body | 320 | nan |
| 12.0ms | 11× | body | 160 | nan |
| 7.0ms | 11× | body | 80 | nan |
| Iter | Nodes |
|---|---|
| 3 | 3458 |
| 2 | 614 |
| 1 | 155 |
| 0 | 60 |
2 alts after pruning (2 fresh and 0 done)
Merged error: 1.7b
Found 4 expressions with local error:
| 4.7b | (- (- 1 z) 1) |
| 4.7b | (- (- 1 z) 1) |
| 4.7b | (- (- 1 z) 1) |
| 4.7b | (- (- 1 z) 1) |
| 28× | *-un-lft-identity |
| 24× | add-log-exp |
| 20× | add-sqr-sqrt |
| 12× | diff-log distribute-lft-out-- |
| 8× | sub-neg associate--l+ difference-of-squares |
| 4× | associate--l- pow1 flip3-- add-cbrt-cube difference-of-sqr-1 add-exp-log add-cube-cbrt insert-posit16 flip-- |
| 41.0ms | (- (- 1 z) 1) |
| 30.0ms | (- (- 1 z) 1) |
| 43.0ms | (- (- 1 z) 1) |
| 30.0ms | (- (- 1 z) 1) |
| 22.0ms | (- (- 1 z) 1) |
| 15.0ms | (- (- 1 z) 1) |
| 14.0ms | (- (- 1 z) 1) |
| 15.0ms | (- (- 1 z) 1) |
| Iter | Nodes |
|---|---|
| 5 | 3510 |
| 4 | 1219 |
| 3 | 452 |
| 2 | 196 |
| 1 | 80 |
| 0 | 41 |
2 alts after pruning (2 fresh and 0 done)
Merged error: 1.7b
Found 4 expressions with local error:
| 4.7b | (- (- 1 z) 1) |
| 4.7b | (- (- 1 z) 1) |
| 4.7b | (- (- 1 z) 1) |
| 4.7b | (- (- 1 z) 1) |
| 28× | *-un-lft-identity |
| 24× | add-log-exp |
| 20× | add-sqr-sqrt |
| 12× | diff-log distribute-lft-out-- |
| 8× | sub-neg associate--l+ difference-of-squares |
| 4× | associate--l- pow1 flip3-- add-cbrt-cube difference-of-sqr-1 add-exp-log add-cube-cbrt insert-posit16 flip-- |
| 24.0ms | (- (- 1 z) 1) |
| 31.0ms | (- (- 1 z) 1) |
| 49.0ms | (- (- 1 z) 1) |
| 53.0ms | (- (- 1 z) 1) |
| 20.0ms | (- (- 1 z) 1) |
| 15.0ms | (- (- 1 z) 1) |
| 16.0ms | (- (- 1 z) 1) |
| 22.0ms | (- (- 1 z) 1) |
| Iter | Nodes |
|---|---|
| 5 | 3510 |
| 4 | 1219 |
| 3 | 452 |
| 2 | 196 |
| 1 | 80 |
| 0 | 41 |
3 alts after pruning (3 fresh and 0 done)
Merged error: 1.7b
Found 4 expressions with local error:
| 4.7b | (- (- 1 z) 1) |
| 4.7b | (- (- 1 z) 1) |
| 4.7b | (- (- 1 z) 1) |
| 4.7b | (- (- 1 z) 1) |
| 28× | *-un-lft-identity |
| 24× | add-log-exp |
| 20× | add-sqr-sqrt |
| 12× | diff-log distribute-lft-out-- |
| 8× | sub-neg associate--l+ difference-of-squares |
| 4× | associate--l- pow1 flip3-- add-cbrt-cube difference-of-sqr-1 add-exp-log add-cube-cbrt insert-posit16 flip-- |
| 26.0ms | (- (- 1 z) 1) |
| 30.0ms | (- (- 1 z) 1) |
| 52.0ms | (- (- 1 z) 1) |
| 51.0ms | (- (- 1 z) 1) |
| 13.0ms | (- (- 1 z) 1) |
| 18.0ms | (- (- 1 z) 1) |
| 15.0ms | (- (- 1 z) 1) |
| 14.0ms | (- (- 1 z) 1) |
| Iter | Nodes |
|---|---|
| 5 | 3510 |
| 4 | 1219 |
| 3 | 452 |
| 2 | 196 |
| 1 | 80 |
| 0 | 41 |
3 alts after pruning (3 fresh and 0 done)
Merged error: 1.7b
Found 4 expressions with local error:
| 4.7b | (- (- 1 z) 1) |
| 4.7b | (- (- 1 z) 1) |
| 4.7b | (- (- 1 z) 1) |
| 4.7b | (- (- 1 z) 1) |
| 28× | *-un-lft-identity |
| 24× | add-log-exp |
| 20× | add-sqr-sqrt |
| 12× | diff-log distribute-lft-out-- |
| 8× | sub-neg associate--l+ difference-of-squares |
| 4× | associate--l- pow1 flip3-- add-cbrt-cube difference-of-sqr-1 add-exp-log add-cube-cbrt insert-posit16 flip-- |
| 38.0ms | (- (- 1 z) 1) |
| 53.0ms | (- (- 1 z) 1) |
| 50.0ms | (- (- 1 z) 1) |
| 38.0ms | (- (- 1 z) 1) |
| 21.0ms | (- (- 1 z) 1) |
| 24.0ms | (- (- 1 z) 1) |
| 21.0ms | (- (- 1 z) 1) |
| 18.0ms | (- (- 1 z) 1) |
| Iter | Nodes |
|---|---|
| 5 | 3510 |
| 4 | 1219 |
| 3 | 452 |
| 2 | 196 |
| 1 | 80 |
| 0 | 41 |
4 alts after pruning (4 fresh and 0 done)
Merged error: 1.7b
0% (0.2b remaining)
Error of 1.8b against oracle of 1.6b and baseline of 1.8b
| Iter | Nodes |
|---|---|
| 4 | 106 |
| 3 | 106 |
| 2 | 104 |
| 1 | 98 |
| 0 | 66 |
| 23.5s | 3921× | body | 10240 | exit |
| 6.5s | 1554× | body | 1280 | nan |
| 5.2s | 8090× | body | 80 | valid |
| 5.1s | 1249× | body | 640 | nan |
| 1.1s | 601× | body | 320 | nan |
| 398.0ms | 285× | body | 160 | nan |
| 180.0ms | 297× | body | 80 | nan |
| 3.0ms | 2× | body | 160 | valid |