Time bar (total: 10.0m)
| 14.0ms | 263× | body | 80 | valid |
| 1.0ms | 2× | body | 1280 | valid |
| 0.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.7b
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 |
| 2.0ms | (tanh (/ t y)) |
| 2.0ms | (tanh (/ x y)) |
| 15.0ms | (- (tanh (/ t y)) (tanh (/ x y))) |
| 0.0ms | (fma (* z y) (- (tanh (/ t y)) (tanh (/ x y))) x) |
| 98.0ms | (tanh (/ t y)) |
| 86.0ms | (tanh (/ x y)) |
| 259.0ms | (- (tanh (/ t y)) (tanh (/ x y))) |
| 517.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 (/ t y)) (tanh (/ t 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))))) (fma (tanh (/ x y)) (+ (tanh (/ t y)) (tanh (/ x y))) (* (tanh (/ t y)) (tanh (/ t y))))) x) |
| 11.6b | (/ (- (* (* (tanh (/ t y)) (tanh (/ t y))) (tanh (/ t y))) (* (tanh (/ x y)) (* (tanh (/ x y)) (tanh (/ x y))))) (fma (tanh (/ x y)) (+ (tanh (/ t y)) (tanh (/ x y))) (* (tanh (/ t y)) (tanh (/ t y))))) |
| 10224× | frac-times |
| 6064× | tanh-def |
| 3971× | associate-/l/ |
| 3969× | frac-sub |
| 2652× | associate-*l/ associate-*r/ |
| 25× | add-sqr-sqrt |
| 21× | *-un-lft-identity add-cube-cbrt |
| 18× | pow1 |
| 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-- |
| 48.0ms | (* (tanh (/ t y)) (tanh (/ t y))) |
| 38.0ms | (* (tanh (/ x y)) (tanh (/ x y))) |
| 1.0ms | (fma (* z y) (/ (- (* (* (tanh (/ t y)) (tanh (/ t y))) (tanh (/ t y))) (* (tanh (/ x y)) (* (tanh (/ x y)) (tanh (/ x y))))) (fma (tanh (/ x y)) (+ (tanh (/ t y)) (tanh (/ x y))) (* (tanh (/ t y)) (tanh (/ t y))))) x) |
| 732.0ms | (/ (- (* (* (tanh (/ t y)) (tanh (/ t y))) (tanh (/ t y))) (* (tanh (/ x y)) (* (tanh (/ x y)) (tanh (/ x y))))) (fma (tanh (/ x y)) (+ (tanh (/ t y)) (tanh (/ x y))) (* (tanh (/ t y)) (tanh (/ t y))))) |
| 163.0ms | (* (tanh (/ t y)) (tanh (/ t y))) |
| 143.0ms | (* (tanh (/ x y)) (tanh (/ x y))) |
| 55.4s | (fma (* z y) (/ (- (* (* (tanh (/ t y)) (tanh (/ t y))) (tanh (/ t y))) (* (tanh (/ x y)) (* (tanh (/ x y)) (tanh (/ x y))))) (fma (tanh (/ x y)) (+ (tanh (/ t y)) (tanh (/ x y))) (* (tanh (/ t y)) (tanh (/ t y))))) x) |
| 4.7s | (/ (- (* (* (tanh (/ t y)) (tanh (/ t y))) (tanh (/ t y))) (* (tanh (/ x y)) (* (tanh (/ x y)) (tanh (/ x y))))) (fma (tanh (/ x y)) (+ (tanh (/ t y)) (tanh (/ x y))) (* (tanh (/ t y)) (tanh (/ t y))))) |
| Iter | Nodes |
|---|---|
| done | 5000 |
| 0 | 3348 |
9 alts after pruning (7 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 (fma (tanh (/ x y)) (+ (tanh (/ t y)) (tanh (/ x y))) (* (tanh (/ t y)) (tanh (/ t y)))))) |
| 6.2b | (sqrt (fma (tanh (/ x y)) (+ (tanh (/ t y)) (tanh (/ x y))) (* (tanh (/ t y)) (tanh (/ t y))))) |
| 6.2b | (sqrt (fma (tanh (/ x y)) (+ (tanh (/ t y)) (tanh (/ x y))) (* (tanh (/ t y)) (tanh (/ t y))))) |
| 8.2b | (* (/ 1 (sqrt (fma (tanh (/ x y)) (+ (tanh (/ t y)) (tanh (/ x y))) (* (tanh (/ t y)) (tanh (/ t y)))))) (/ (- (* (* (tanh (/ t y)) (tanh (/ t y))) (tanh (/ t y))) (* (tanh (/ x y)) (* (tanh (/ x y)) (tanh (/ x y))))) (sqrt (fma (tanh (/ x y)) (+ (tanh (/ t y)) (tanh (/ x y))) (* (tanh (/ t y)) (tanh (/ t y))))))) |
| 10207× | frac-times |
| 6048× | tanh-def |
| 3971× | associate-/l/ |
| 3969× | frac-sub |
| 2647× | associate-*l/ associate-*r/ |
| 99× | add-sqr-sqrt |
| 88× | times-frac |
| 57× | *-un-lft-identity |
| 53× | sqrt-prod |
| 51× | add-cube-cbrt |
| 28× | associate-*r* add-exp-log |
| 22× | associate-*l* |
| 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 |
| 1× | clear-num frac-2neg flip3-- div-sub pow-prod-down *-commutative flip-- |
| 773.0ms | (/ (- (* (* (tanh (/ t y)) (tanh (/ t y))) (tanh (/ t y))) (* (tanh (/ x y)) (* (tanh (/ x y)) (tanh (/ x y))))) (sqrt (fma (tanh (/ x y)) (+ (tanh (/ t y)) (tanh (/ x y))) (* (tanh (/ t y)) (tanh (/ t y)))))) |
| 2.0ms | (sqrt (fma (tanh (/ x y)) (+ (tanh (/ t y)) (tanh (/ x y))) (* (tanh (/ t y)) (tanh (/ t y))))) |
| 3.0ms | (sqrt (fma (tanh (/ x y)) (+ (tanh (/ t y)) (tanh (/ x y))) (* (tanh (/ t y)) (tanh (/ t y))))) |
| 178.0ms | (* (/ 1 (sqrt (fma (tanh (/ x y)) (+ (tanh (/ t y)) (tanh (/ x y))) (* (tanh (/ t y)) (tanh (/ t y)))))) (/ (- (* (* (tanh (/ t y)) (tanh (/ t y))) (tanh (/ t y))) (* (tanh (/ x y)) (* (tanh (/ x y)) (tanh (/ x y))))) (sqrt (fma (tanh (/ x y)) (+ (tanh (/ t y)) (tanh (/ x y))) (* (tanh (/ t y)) (tanh (/ t y))))))) |
| 7.9s | (/ (- (* (* (tanh (/ t y)) (tanh (/ t y))) (tanh (/ t y))) (* (tanh (/ x y)) (* (tanh (/ x y)) (tanh (/ x y))))) (sqrt (fma (tanh (/ x y)) (+ (tanh (/ t y)) (tanh (/ x y))) (* (tanh (/ t y)) (tanh (/ t y)))))) |
| 1.9s | (sqrt (fma (tanh (/ x y)) (+ (tanh (/ t y)) (tanh (/ x y))) (* (tanh (/ t y)) (tanh (/ t y))))) |
| 1.9s | (sqrt (fma (tanh (/ x y)) (+ (tanh (/ t y)) (tanh (/ x y))) (* (tanh (/ t y)) (tanh (/ t y))))) |
| 4.4s | (* (/ 1 (sqrt (fma (tanh (/ x y)) (+ (tanh (/ t y)) (tanh (/ x y))) (* (tanh (/ t y)) (tanh (/ t y)))))) (/ (- (* (* (tanh (/ t y)) (tanh (/ t y))) (tanh (/ t y))) (* (tanh (/ x y)) (* (tanh (/ x y)) (tanh (/ x y))))) (sqrt (fma (tanh (/ x y)) (+ (tanh (/ t y)) (tanh (/ x y))) (* (tanh (/ t y)) (tanh (/ t y))))))) |
| Iter | Nodes |
|---|---|
| done | 5000 |
| 0 | 3374 |
7 alts after pruning (5 fresh and 2 done)
Merged error: 2.0b
Found 4 expressions with local error:
| 8.2b | (* (/ 1 (sqrt (fma (tanh (/ x y)) (+ (tanh (/ t y)) (tanh (/ x y))) (* (tanh (/ t y)) (tanh (/ t y)))))) (* (/ (* (cbrt (- (* (* (tanh (/ t y)) (tanh (/ t y))) (tanh (/ t y))) (* (tanh (/ x y)) (* (tanh (/ x y)) (tanh (/ x y)))))) (cbrt (- (* (* (tanh (/ t y)) (tanh (/ t y))) (tanh (/ t y))) (* (tanh (/ x y)) (* (tanh (/ x y)) (tanh (/ x y))))))) (fabs (cbrt (fma (tanh (/ x y)) (+ (tanh (/ t y)) (tanh (/ x y))) (* (tanh (/ t y)) (tanh (/ t y))))))) (/ (cbrt (- (* (* (tanh (/ t y)) (tanh (/ t y))) (tanh (/ t y))) (* (tanh (/ x y)) (* (tanh (/ x y)) (tanh (/ x y)))))) (sqrt (cbrt (fma (tanh (/ x y)) (+ (tanh (/ t y)) (tanh (/ x y))) (* (tanh (/ t y)) (tanh (/ t y))))))))) |
| 9.5b | (cbrt (- (* (* (tanh (/ t y)) (tanh (/ t y))) (tanh (/ t y))) (* (tanh (/ x y)) (* (tanh (/ x y)) (tanh (/ x y)))))) |
| 9.5b | (cbrt (- (* (* (tanh (/ t y)) (tanh (/ t y))) (tanh (/ t y))) (* (tanh (/ x y)) (* (tanh (/ x y)) (tanh (/ x y)))))) |
| 9.5b | (cbrt (- (* (* (tanh (/ t y)) (tanh (/ t y))) (tanh (/ t y))) (* (tanh (/ x y)) (* (tanh (/ x y)) (tanh (/ x y)))))) |
| 30623× | frac-times |
| 18144× | tanh-def |
| 11913× | cbrt-div |
| 11907× | frac-sub |
| 7943× | associate-*r/ |
| 7941× | associate-*l/ |
| 127× | add-exp-log |
| 60× | prod-exp |
| 55× | add-cbrt-cube |
| 42× | div-exp |
| 30× | cbrt-unprod |
| 22× | associate-*l* |
| 21× | cbrt-undiv |
| 20× | add-sqr-sqrt *-un-lft-identity add-cube-cbrt |
| 18× | times-frac |
| 12× | cbrt-prod |
| 9× | pow1 sqrt-prod |
| 7× | rec-exp 1-exp |
| 4× | expm1-log1p-u insert-posit16 log1p-expm1-u add-log-exp |
| 3× | difference-cubes flip3-- pow1/3 cube-unmult pow3 pow-prod-down flip-- |
| 1× | associate-*r* *-commutative div-inv |
| 1.0s | (* (/ 1 (sqrt (fma (tanh (/ x y)) (+ (tanh (/ t y)) (tanh (/ x y))) (* (tanh (/ t y)) (tanh (/ t y)))))) (* (/ (* (cbrt (- (* (* (tanh (/ t y)) (tanh (/ t y))) (tanh (/ t y))) (* (tanh (/ x y)) (* (tanh (/ x y)) (tanh (/ x y)))))) (cbrt (- (* (* (tanh (/ t y)) (tanh (/ t y))) (tanh (/ t y))) (* (tanh (/ x y)) (* (tanh (/ x y)) (tanh (/ x y))))))) (fabs (cbrt (fma (tanh (/ x y)) (+ (tanh (/ t y)) (tanh (/ x y))) (* (tanh (/ t y)) (tanh (/ t y))))))) (/ (cbrt (- (* (* (tanh (/ t y)) (tanh (/ t y))) (tanh (/ t y))) (* (tanh (/ x y)) (* (tanh (/ x y)) (tanh (/ x y)))))) (sqrt (cbrt (fma (tanh (/ x y)) (+ (tanh (/ t y)) (tanh (/ x y))) (* (tanh (/ t y)) (tanh (/ t y))))))))) |
| 666.0ms | (cbrt (- (* (* (tanh (/ t y)) (tanh (/ t y))) (tanh (/ t y))) (* (tanh (/ x y)) (* (tanh (/ x y)) (tanh (/ x y)))))) |
| 699.0ms | (cbrt (- (* (* (tanh (/ t y)) (tanh (/ t y))) (tanh (/ t y))) (* (tanh (/ x y)) (* (tanh (/ x y)) (tanh (/ x y)))))) |
| 668.0ms | (cbrt (- (* (* (tanh (/ t y)) (tanh (/ t y))) (tanh (/ t y))) (* (tanh (/ x y)) (* (tanh (/ x y)) (tanh (/ x y)))))) |
| 15.4s | (* (/ 1 (sqrt (fma (tanh (/ x y)) (+ (tanh (/ t y)) (tanh (/ x y))) (* (tanh (/ t y)) (tanh (/ t y)))))) (* (/ (* (cbrt (- (* (* (tanh (/ t y)) (tanh (/ t y))) (tanh (/ t y))) (* (tanh (/ x y)) (* (tanh (/ x y)) (tanh (/ x y)))))) (cbrt (- (* (* (tanh (/ t y)) (tanh (/ t y))) (tanh (/ t y))) (* (tanh (/ x y)) (* (tanh (/ x y)) (tanh (/ x y))))))) (fabs (cbrt (fma (tanh (/ x y)) (+ (tanh (/ t y)) (tanh (/ x y))) (* (tanh (/ t y)) (tanh (/ t y))))))) (/ (cbrt (- (* (* (tanh (/ t y)) (tanh (/ t y))) (tanh (/ t y))) (* (tanh (/ x y)) (* (tanh (/ x y)) (tanh (/ x y)))))) (sqrt (cbrt (fma (tanh (/ x y)) (+ (tanh (/ t y)) (tanh (/ x y))) (* (tanh (/ t y)) (tanh (/ t y))))))))) |
| 1.8s | (cbrt (- (* (* (tanh (/ t y)) (tanh (/ t y))) (tanh (/ t y))) (* (tanh (/ x y)) (* (tanh (/ x y)) (tanh (/ x y)))))) |
| 1.8s | (cbrt (- (* (* (tanh (/ t y)) (tanh (/ t y))) (tanh (/ t y))) (* (tanh (/ x y)) (* (tanh (/ x y)) (tanh (/ x y)))))) |
| 1.8s | (cbrt (- (* (* (tanh (/ t y)) (tanh (/ t y))) (tanh (/ t y))) (* (tanh (/ x y)) (* (tanh (/ x y)) (tanh (/ x y)))))) |
| Iter | Nodes |
|---|---|
| done | 16445 |
| 0 | 16445 |