Time bar (total: 17.6s)
| 83.0ms | 25× | body | 2560 | valid |
| 55.0ms | 40× | body | 1280 | valid |
| 31.0ms | 143× | body | 80 | valid |
| 26.0ms | 26× | body | 640 | valid |
| 12.0ms | 19× | body | 320 | valid |
| 2.0ms | 3× | body | 160 | valid |
| Iter | Nodes |
|---|---|
| done | 11 |
| 1 | 11 |
| 0 | 8 |
1 alts after pruning (1 fresh and 0 done)
Merged error: 34.8b
Found 4 expressions with local error:
| 0.2b | (/ x (* y 2.0)) |
| 8.9b | (/ (tan (/ x (* y 2.0))) (sin (/ x (* y 2.0)))) |
| 26.2b | (sin (/ x (* y 2.0))) |
| 26.2b | (tan (/ x (* y 2.0))) |
| 45× | add-sqr-sqrt times-frac |
| 37× | *-un-lft-identity add-cube-cbrt |
| 15× | associate-/r* |
| 12× | associate-*r* associate-*l* |
| 11× | add-cbrt-cube add-exp-log |
| 6× | associate-/l* |
| 4× | pow1 *-commutative insert-posit16 add-log-exp unswap-sqr |
| 3× | cbrt-undiv div-exp |
| 2× | clear-num frac-2neg tan-quot div-inv |
| 1× | prod-exp cbrt-unprod associate-/l/ |
| 16.0ms | (/ x (* y 2.0)) |
| 37.0ms | (/ (tan (/ x (* y 2.0))) (sin (/ x (* y 2.0)))) |
| 43.0ms | (sin (/ x (* y 2.0))) |
| 21.0ms | (tan (/ x (* y 2.0))) |
| 26.0ms | (/ x (* y 2.0)) |
| 70.0ms | (/ (tan (/ x (* y 2.0))) (sin (/ x (* y 2.0)))) |
| 17.0ms | (sin (/ x (* y 2.0))) |
| 53.0ms | (tan (/ x (* y 2.0))) |
| Iter | Nodes |
|---|---|
| done | 5001 |
| 2 | 1250 |
| 1 | 420 |
| 0 | 193 |
24 alts after pruning (24 fresh and 0 done)
Merged error: 23.1b
| Iter | Nodes |
|---|---|
| done | 0 |
| 0 | 0 |
24 alts after pruning (23 fresh and 1 done)
Merged error: 23.1b
Found 4 expressions with local error:
| 0.2b | (/ x (* y 2.0)) |
| 8.9b | (/ (tan (/ x (* y 2.0))) (sin (* 0.5 (/ x y)))) |
| 26.2b | (sin (* 0.5 (/ x y))) |
| 26.2b | (tan (/ x (* y 2.0))) |
| 45× | add-sqr-sqrt times-frac |
| 37× | *-un-lft-identity add-cube-cbrt |
| 15× | associate-/r* |
| 12× | associate-*r* associate-*l* |
| 11× | add-cbrt-cube add-exp-log |
| 6× | associate-/l* |
| 4× | pow1 *-commutative insert-posit16 add-log-exp unswap-sqr |
| 3× | cbrt-undiv div-exp |
| 2× | clear-num frac-2neg tan-quot div-inv |
| 1× | prod-exp cbrt-unprod associate-/l/ |
| 12.0ms | (/ x (* y 2.0)) |
| 43.0ms | (/ (tan (/ x (* y 2.0))) (sin (* 0.5 (/ x y)))) |
| 26.0ms | (sin (* 0.5 (/ x y))) |
| 21.0ms | (tan (/ x (* y 2.0))) |
| 30.0ms | (/ x (* y 2.0)) |
| 51.0ms | (/ (tan (/ x (* y 2.0))) (sin (* 0.5 (/ x y)))) |
| 10.0ms | (sin (* 0.5 (/ x y))) |
| 55.0ms | (tan (/ x (* y 2.0))) |
| Iter | Nodes |
|---|---|
| done | 5001 |
| 2 | 1291 |
| 1 | 421 |
| 0 | 194 |
28 alts after pruning (27 fresh and 1 done)
Merged error: 22.7b
Found 4 expressions with local error:
| 0.7b | (cbrt y) |
| 8.9b | (/ (tan (/ (/ x (* (cbrt y) (cbrt y))) (* (cbrt y) 2.0))) (sin (* 0.5 (/ x y)))) |
| 26.2b | (sin (* 0.5 (/ x y))) |
| 26.2b | (tan (/ (/ x (* (cbrt y) (cbrt y))) (* (cbrt y) 2.0))) |
| 13× | add-sqr-sqrt *-un-lft-identity add-cube-cbrt |
| 9× | times-frac |
| 6× | add-cbrt-cube add-exp-log |
| 4× | pow1 insert-posit16 add-log-exp |
| 3× | cbrt-prod associate-/r* associate-/l* |
| 2× | tan-quot |
| 1× | cbrt-undiv clear-num frac-2neg pow1/3 div-exp div-inv associate-/l/ |
| 1.0ms | (cbrt y) |
| 252.0ms | (/ (tan (/ (/ x (* (cbrt y) (cbrt y))) (* (cbrt y) 2.0))) (sin (* 0.5 (/ x y)))) |
| 26.0ms | (sin (* 0.5 (/ x y))) |
| 217.0ms | (tan (/ (/ x (* (cbrt y) (cbrt y))) (* (cbrt y) 2.0))) |
| 371.0ms | (cbrt y) |
| 130.0ms | (/ (tan (/ (/ x (* (cbrt y) (cbrt y))) (* (cbrt y) 2.0))) (sin (* 0.5 (/ x y)))) |
| 16.0ms | (sin (* 0.5 (/ x y))) |
| 103.0ms | (tan (/ (/ x (* (cbrt y) (cbrt y))) (* (cbrt y) 2.0))) |
| Iter | Nodes |
|---|---|
| done | 5075 |
| 3 | 2063 |
| 2 | 534 |
| 1 | 194 |
| 0 | 105 |
33 alts after pruning (32 fresh and 1 done)
Merged error: 22.7b
0% (3.7b remaining)
Error of 28.1b against oracle of 24.5b and baseline of 28.1b
| Iter | Nodes |
|---|---|
| done | 1 |
| 0 | 1 |
| 2.6s | 1403× | body | 1280 | valid |
| 2.2s | 4146× | body | 80 | valid |
| 1.9s | 615× | body | 2560 | valid |
| 1.3s | 993× | body | 640 | valid |
| 522.0ms | 552× | body | 320 | valid |
| 157.0ms | 291× | body | 160 | valid |