Time bar (total: 10.0m)
| 317.0ms | 136× | body | 1280 | valid |
| 265.0ms | 40× | body | 5120 | valid |
| 249.0ms | 70× | body | 2560 | valid |
| 172.0ms | 91× | body | 640 | valid |
| 52.0ms | 73× | body | 80 | valid |
| 29.0ms | 28× | body | 320 | valid |
| 12.0ms | 18× | body | 160 | valid |
2 alts after pruning (2 fresh and 0 done)
Merged error: 29.4b
Found 4 expressions with local error:
| 28.7b | (/ (/ (/ 2 (* (sin k) (tan k))) (/ (/ t (/ l t)) (/ l t))) (* (/ k t) (/ k t))) |
| 4.7b | (/ (/ 2 (* (sin k) (tan k))) (/ (/ t (/ l t)) (/ l t))) |
| 0.3b | (/ 2 (* (sin k) (tan k))) |
| 0.3b | (* (sin k) (tan k)) |
| 69318× | times-frac |
| 22576× | add-sqr-sqrt |
| 22574× | *-un-lft-identity add-cube-cbrt |
| 4632× | associate-/l* |
| 4162× | div-inv |
| 2089× | associate-/r/ |
| 1735× | associate-*r/ |
| 1734× | tan-quot |
| 950× | add-cbrt-cube add-exp-log |
| 680× | cbrt-undiv div-exp |
| 579× | associate-/r* |
| 132× | prod-exp cbrt-unprod |
| 6× | pow1 |
| 4× | insert-posit16 add-log-exp |
| 3× | clear-num frac-2neg associate-*r* associate-*l* |
| 2× | associate-/l/ |
| 1× | frac-times pow-prod-down associate-*l/ *-commutative unswap-sqr |
| 180.0ms | (/ (/ (/ 2 (* (sin k) (tan k))) (/ (/ t (/ l t)) (/ l t))) (* (/ k t) (/ k t))) |
| 99.0ms | (/ (/ 2 (* (sin k) (tan k))) (/ (/ t (/ l t)) (/ l t))) |
| 24.0ms | (* (sin k) (tan k)) |
| 19.0ms | (/ 2 (* (sin k) (tan k))) |
| 387.0ms | (/ (/ (/ 2 (* (sin k) (tan k))) (/ (/ t (/ l t)) (/ l t))) (* (/ k t) (/ k t))) |
| 352.0ms | (/ (/ 2 (* (sin k) (tan k))) (/ (/ t (/ l t)) (/ l t))) |
| 106.0ms | (/ 2 (* (sin k) (tan k))) |
| 73.0ms | (* (sin k) (tan k)) |
18 alts after pruning (17 fresh and 1 done)
Merged error: 7.9b
Found 4 expressions with local error:
| 22.1b | (/ (/ (/ (sqrt 2) (sin k)) (/ (/ t l) (/ 1 (* (cbrt t) (cbrt t))))) (/ k t)) |
| 18.5b | (/ (/ (/ (sqrt 2) (tan k)) (/ t (/ l (cbrt t)))) (/ k t)) |
| 2.2b | (/ (/ (sqrt 2) (tan k)) (/ t (/ l (cbrt t)))) |
| 2.1b | (/ (/ (sqrt 2) (sin k)) (/ (/ t l) (/ 1 (* (cbrt t) (cbrt t))))) |
| 289332× | times-frac |
| 105530× | add-sqr-sqrt *-un-lft-identity add-cube-cbrt |
| 22563× | sqrt-prod |
| 14631× | div-inv |
| 9342× | cbrt-prod |
| 3800× | associate-/l* |
| 1775× | associate-/r/ |
| 1066× | tan-quot |
| 596× | add-exp-log |
| 468× | div-exp |
| 302× | add-cbrt-cube |
| 252× | cbrt-undiv |
| 193× | associate-/r* |
| 36× | prod-exp |
| 24× | rec-exp 1-exp |
| 12× | cbrt-unprod |
| 4× | pow1 clear-num frac-2neg insert-posit16 add-log-exp associate-/l/ |
| 105.0ms | (/ (/ (/ (sqrt 2) (tan k)) (/ t (/ l (cbrt t)))) (/ k t)) |
| 100.0ms | (/ (/ (/ (sqrt 2) (sin k)) (/ (/ t l) (/ 1 (* (cbrt t) (cbrt t))))) (/ k t)) |
| 21.0ms | (/ (/ (sqrt 2) (sin k)) (/ (/ t l) (/ 1 (* (cbrt t) (cbrt t))))) |
| 15.0ms | (/ (/ (sqrt 2) (tan k)) (/ t (/ l (cbrt t)))) |
| 301.0ms | (/ (/ (/ (sqrt 2) (sin k)) (/ (/ t l) (/ 1 (* (cbrt t) (cbrt t))))) (/ k t)) |
| 301.0ms | (/ (/ (sqrt 2) (tan k)) (/ t (/ l (cbrt t)))) |
| 298.0ms | (/ (/ (/ (sqrt 2) (tan k)) (/ t (/ l (cbrt t)))) (/ k t)) |
| 294.0ms | (/ (/ (sqrt 2) (sin k)) (/ (/ t l) (/ 1 (* (cbrt t) (cbrt t))))) |