Time bar (total: 16.8s)
| 222.0ms | 118× | body | 2560 | valid |
| 64.0ms | 78× | body | 1280 | valid |
| 12.0ms | 28× | body | 640 | valid |
| 7.0ms | 24× | body | 320 | valid |
| 5.0ms | 256× | pre | 80 | true |
| 1.0ms | 7× | body | 160 | valid |
| 0.0ms | 1× | body | 80 | valid |
| Iter | Nodes |
|---|---|
| done | 11 |
| 2 | 11 |
| 1 | 8 |
| 0 | 6 |
1 alts after pruning (1 fresh and 0 done)
Merged error: 60.2b
Found 1 expressions with local error:
| 2.4b | (- (/ 1.0 x) (/ 1.0 (tan x))) |
| 262× | times-frac |
| 211× | add-sqr-sqrt |
| 207× | *-un-lft-identity |
| 199× | add-cube-cbrt |
| 182× | prod-diff |
| 30× | div-inv |
| 13× | fma-neg tan-quot associate-/r/ |
| 5× | distribute-lft-out-- |
| 4× | difference-of-squares |
| 3× | add-log-exp |
| 1× | expm1-log1p-u pow1 sub-neg flip3-- add-cbrt-cube diff-log add-exp-log frac-sub log1p-expm1-u flip-- |
| 86.0ms | (- (/ 1.0 x) (/ 1.0 (tan x))) |
| 145.0ms | (- (/ 1.0 x) (/ 1.0 (tan x))) |
| Iter | Nodes |
|---|---|
| done | 5001 |
| 2 | 2359 |
| 1 | 788 |
| 0 | 346 |
1 alts after pruning (1 fresh and 0 done)
Merged error: 0.3b
Found 1 expressions with local error:
| 0.0b | (* (* x x) x) |
| 20× | pow1 |
| 6× | pow-plus add-cbrt-cube add-exp-log pow-prod-up |
| 3× | add-sqr-sqrt associate-*r* pow-prod-down prod-exp cbrt-unprod |
| 2× | pow2 *-un-lft-identity pow-sqr add-cube-cbrt |
| 1× | expm1-log1p-u associate-*l* pow3 *-commutative log1p-expm1-u add-log-exp unswap-sqr |
| 14.0ms | (* (* x x) x) |
| 35.0ms | (* (* x x) x) |
| Iter | Nodes |
|---|---|
| done | 5001 |
| 2 | 661 |
| 1 | 99 |
| 0 | 36 |
1 alts after pruning (0 fresh and 1 done)
Merged error: 0.3b
| Iter | Nodes |
|---|---|
| done | 13 |
| 1 | 13 |
| 0 | 11 |
| 7.8s | 3313× | body | 2560 | valid |
| 3.4s | 2492× | body | 1280 | valid |
| 755.0ms | 1226× | body | 640 | valid |
| 215.0ms | 8000× | pre | 80 | true |
| 209.0ms | 611× | body | 320 | valid |
| 125.0ms | 304× | body | 160 | valid |
| 6.0ms | 54× | body | 80 | valid |