Time bar (total: 10.0m)
| 18.0ms | 263× | body | 80 | valid |
| 1.0ms | 2× | body | 1280 | valid |
| 1.0ms | 2× | body | 640 | valid |
| 0.0ms | 2× | body | 160 | valid |
| 0.0ms | 1× | body | 320 | valid |
| Iter | Nodes |
|---|---|
| done | 5000 |
| 5 | 3035 |
| 4 | 928 |
| 3 | 321 |
| 2 | 146 |
| 1 | 54 |
| 0 | 12 |
1 alts after pruning (1 fresh and 0 done)
Merged error: 4.9b
Found 4 expressions with local error:
| 0.0b | (tanh (/ t y)) |
| 0.0b | (tanh (/ x y)) |
| 0.0b | (- (tanh (/ t y)) (tanh (/ x y))) |
| 4.7b | (fma (* z y) (- (tanh (/ t y)) (tanh (/ x y))) x) |
| 13× | add-sqr-sqrt *-un-lft-identity |
| 11× | add-cube-cbrt |
| 9× | prod-diff frac-sub |
| 8× | tanh-def |
| 6× | add-log-exp |
| 4× | expm1-log1p-u pow1 add-cbrt-cube add-exp-log insert-posit16 log1p-expm1-u |
| 3× | fma-neg |
| 1× | sub-neg flip3-- diff-log fma-udef flip-- distribute-lft-out-- difference-of-squares |
| 3.0ms | (tanh (/ t y)) |
| 9.0ms | (tanh (/ x y)) |
| 42.0ms | (- (tanh (/ t y)) (tanh (/ x y))) |
| 2.0ms | (fma (* z y) (- (tanh (/ t y)) (tanh (/ x y))) x) |
| 211.0ms | (tanh (/ t y)) |
| 167.0ms | (tanh (/ x y)) |
| 552.0ms | (- (tanh (/ t y)) (tanh (/ x y))) |
| 816.0ms | (fma (* z y) (- (tanh (/ t y)) (tanh (/ x y))) x) |
| Iter | Nodes |
|---|---|
| done | 5000 |
| 2 | 1495 |
| 1 | 454 |
| 0 | 165 |
7 alts after pruning (6 fresh and 1 done)
Merged error: 2.0b
Found 4 expressions with local error:
| 0.1b | (* (tanh (/ x y)) (tanh (/ x y))) |
| 0.1b | (* (tanh (/ x y)) (tanh (/ x y))) |
| 4.7b | (fma (* z y) (/ (- (* (* (tanh (/ t y)) (tanh (/ t y))) (tanh (/ t y))) (* (tanh (/ x y)) (* (tanh (/ x y)) (tanh (/ x y))))) (+ (* (tanh (/ t y)) (tanh (/ t y))) (+ (* (tanh (/ x y)) (tanh (/ x y))) (* (tanh (/ t y)) (tanh (/ x y)))))) x) |
| 11.6b | (/ (- (* (* (tanh (/ t y)) (tanh (/ t y))) (tanh (/ t y))) (* (tanh (/ x y)) (* (tanh (/ x y)) (tanh (/ x y))))) (+ (* (tanh (/ t y)) (tanh (/ t y))) (+ (* (tanh (/ x y)) (tanh (/ x y))) (* (tanh (/ t y)) (tanh (/ x y)))))) |
| 16317× | frac-times |
| 11480× | tanh-def |
| 6780× | frac-add |
| 4683× | associate-*l/ associate-*r/ |
| 3971× | associate-/l/ |
| 3969× | frac-sub |
| 3407× | associate-/r/ |
| 25× | add-sqr-sqrt |
| 21× | *-un-lft-identity add-cube-cbrt |
| 18× | pow1 |
| 16× | flip3-+ flip-+ |
| 12× | times-frac |
| 10× | add-cbrt-cube add-exp-log |
| 6× | swap-sqr associate-*r* associate-*l* |
| 4× | expm1-log1p-u difference-cubes cube-unmult pow3 insert-posit16 log1p-expm1-u associate-/l* add-log-exp |
| 3× | associate-/r* |
| 2× | pow2 pow-plus pow-prod-down prod-exp pow-sqr *-commutative pow-prod-up cbrt-unprod unswap-sqr |
| 1× | cbrt-undiv clear-num frac-2neg flip3-- div-sub div-exp fma-udef div-inv flip-- |
| 27.0ms | (* (tanh (/ x y)) (tanh (/ x y))) |
| 31.0ms | (* (tanh (/ x y)) (tanh (/ x y))) |
| 2.0ms | (fma (* z y) (/ (- (* (* (tanh (/ t y)) (tanh (/ t y))) (tanh (/ t y))) (* (tanh (/ x y)) (* (tanh (/ x y)) (tanh (/ x y))))) (+ (* (tanh (/ t y)) (tanh (/ t y))) (+ (* (tanh (/ x y)) (tanh (/ x y))) (* (tanh (/ t y)) (tanh (/ x y)))))) x) |
| 1.8s | (/ (- (* (* (tanh (/ t y)) (tanh (/ t y))) (tanh (/ t y))) (* (tanh (/ x y)) (* (tanh (/ x y)) (tanh (/ x y))))) (+ (* (tanh (/ t y)) (tanh (/ t y))) (+ (* (tanh (/ x y)) (tanh (/ x y))) (* (tanh (/ t y)) (tanh (/ x y)))))) |
| 309.0ms | (* (tanh (/ x y)) (tanh (/ x y))) |
| 252.0ms | (* (tanh (/ x y)) (tanh (/ x y))) |
| 1.9m | (fma (* z y) (/ (- (* (* (tanh (/ t y)) (tanh (/ t y))) (tanh (/ t y))) (* (tanh (/ x y)) (* (tanh (/ x y)) (tanh (/ x y))))) (+ (* (tanh (/ t y)) (tanh (/ t y))) (+ (* (tanh (/ x y)) (tanh (/ x y))) (* (tanh (/ t y)) (tanh (/ x y)))))) x) |
| 14.2s | (/ (- (* (* (tanh (/ t y)) (tanh (/ t y))) (tanh (/ t y))) (* (tanh (/ x y)) (* (tanh (/ x y)) (tanh (/ x y))))) (+ (* (tanh (/ t y)) (tanh (/ t y))) (+ (* (tanh (/ x y)) (tanh (/ x y))) (* (tanh (/ t y)) (tanh (/ x y)))))) |
| Iter | Nodes |
|---|---|
| done | 16415 |
| 0 | 16415 |
8 alts after pruning (6 fresh and 2 done)
Merged error: 2.0b
Found 4 expressions with local error:
| 5.0b | (/ (- (* (* (tanh (/ t y)) (tanh (/ t y))) (tanh (/ t y))) (* (tanh (/ x y)) (* (tanh (/ x y)) (tanh (/ x y))))) (sqrt (+ (* (tanh (/ t y)) (tanh (/ t y))) (+ (* (tanh (/ x y)) (tanh (/ x y))) (* (tanh (/ t y)) (tanh (/ x y))))))) |
| 6.2b | (sqrt (+ (* (tanh (/ t y)) (tanh (/ t y))) (+ (* (tanh (/ x y)) (tanh (/ x y))) (* (tanh (/ t y)) (tanh (/ x y)))))) |
| 6.2b | (sqrt (+ (* (tanh (/ t y)) (tanh (/ t y))) (+ (* (tanh (/ x y)) (tanh (/ x y))) (* (tanh (/ t y)) (tanh (/ x y)))))) |
| 8.2b | (* (/ 1 (sqrt (+ (* (tanh (/ t y)) (tanh (/ t y))) (+ (* (tanh (/ x y)) (tanh (/ x y))) (* (tanh (/ t y)) (tanh (/ x y))))))) (/ (- (* (* (tanh (/ t y)) (tanh (/ t y))) (tanh (/ t y))) (* (tanh (/ x y)) (* (tanh (/ x y)) (tanh (/ x y))))) (sqrt (+ (* (tanh (/ t y)) (tanh (/ t y))) (+ (* (tanh (/ x y)) (tanh (/ x y))) (* (tanh (/ t y)) (tanh (/ x y)))))))) |
| 40672× | frac-times |
| 33900× | frac-add |
| 33128× | tanh-def |
| 17035× | sqrt-div |
| 12802× | associate-*l/ associate-*r/ |
| 10221× | associate-/r/ |
| 3971× | associate-/l/ |
| 3969× | frac-sub |
| 3435× | associate-*r* |
| 3429× | associate-*l* |
| 101× | add-sqr-sqrt |
| 88× | times-frac |
| 80× | flip3-+ flip-+ |
| 57× | *-un-lft-identity |
| 53× | sqrt-prod |
| 51× | add-cube-cbrt |
| 28× | add-exp-log |
| 18× | add-cbrt-cube |
| 15× | unswap-sqr |
| 13× | difference-cubes cube-unmult pow3 |
| 9× | div-exp |
| 8× | pow1 prod-exp |
| 6× | associate-/r* |
| 5× | cbrt-undiv |
| 4× | expm1-log1p-u cbrt-unprod insert-posit16 log1p-expm1-u associate-/l* add-log-exp |
| 3× | div-inv |
| 2× | rem-sqrt-square rec-exp sqrt-pow1 pow1/2 1-exp hypot-def |
| 1× | clear-num frac-2neg flip3-- div-sub pow-prod-down *-commutative flip-- |
| 2.6s | (/ (- (* (* (tanh (/ t y)) (tanh (/ t y))) (tanh (/ t y))) (* (tanh (/ x y)) (* (tanh (/ x y)) (tanh (/ x y))))) (sqrt (+ (* (tanh (/ t y)) (tanh (/ t y))) (+ (* (tanh (/ x y)) (tanh (/ x y))) (* (tanh (/ t y)) (tanh (/ x y))))))) |
| 771.0ms | (sqrt (+ (* (tanh (/ t y)) (tanh (/ t y))) (+ (* (tanh (/ x y)) (tanh (/ x y))) (* (tanh (/ t y)) (tanh (/ x y)))))) |
| 653.0ms | (sqrt (+ (* (tanh (/ t y)) (tanh (/ t y))) (+ (* (tanh (/ x y)) (tanh (/ x y))) (* (tanh (/ t y)) (tanh (/ x y)))))) |
| 2.8m | (* (/ 1 (sqrt (+ (* (tanh (/ t y)) (tanh (/ t y))) (+ (* (tanh (/ x y)) (tanh (/ x y))) (* (tanh (/ t y)) (tanh (/ x y))))))) (/ (- (* (* (tanh (/ t y)) (tanh (/ t y))) (tanh (/ t y))) (* (tanh (/ x y)) (* (tanh (/ x y)) (tanh (/ x y))))) (sqrt (+ (* (tanh (/ t y)) (tanh (/ t y))) (+ (* (tanh (/ x y)) (tanh (/ x y))) (* (tanh (/ t y)) (tanh (/ x y)))))))) |