7
8*log (sin(atanh(x)))*cos(atanh(x))
-----------------------------------
/ 2\
\1 - x /*sin(atanh(x))
$$\frac{8 \log{\left(\sin{\left(\operatorname{atanh}{\left(x \right)} \right)} \right)}^{7} \cos{\left(\operatorname{atanh}{\left(x \right)} \right)}}{\left(1 - x^{2}\right) \sin{\left(\operatorname{atanh}{\left(x \right)} \right)}}$$
/ 2 2 \
6 | 7*cos (atanh(x)) cos (atanh(x))*log(sin(atanh(x))) 2*x*cos(atanh(x))*log(sin(atanh(x)))|
8*log (sin(atanh(x)))*|-log(sin(atanh(x))) + ---------------- - --------------------------------- + ------------------------------------|
| 2 2 sin(atanh(x)) |
\ sin (atanh(x)) sin (atanh(x)) /
-----------------------------------------------------------------------------------------------------------------------------------------
2
/ 2\
\-1 + x /
$$\frac{8 \left(\frac{2 x \log{\left(\sin{\left(\operatorname{atanh}{\left(x \right)} \right)} \right)} \cos{\left(\operatorname{atanh}{\left(x \right)} \right)}}{\sin{\left(\operatorname{atanh}{\left(x \right)} \right)}} - \log{\left(\sin{\left(\operatorname{atanh}{\left(x \right)} \right)} \right)} - \frac{\log{\left(\sin{\left(\operatorname{atanh}{\left(x \right)} \right)} \right)} \cos^{2}{\left(\operatorname{atanh}{\left(x \right)} \right)}}{\sin^{2}{\left(\operatorname{atanh}{\left(x \right)} \right)}} + \frac{7 \cos^{2}{\left(\operatorname{atanh}{\left(x \right)} \right)}}{\sin^{2}{\left(\operatorname{atanh}{\left(x \right)} \right)}}\right) \log{\left(\sin{\left(\operatorname{atanh}{\left(x \right)} \right)} \right)}^{6}}{\left(x^{2} - 1\right)^{2}}$$
/ 3 2 2 3 2 2 3 2 2 2 2 2 \
5 | 42*cos (atanh(x)) 2*log (sin(atanh(x)))*cos(atanh(x)) 6*x*log (sin(atanh(x))) 2*cos (atanh(x))*log (sin(atanh(x))) 2*log (sin(atanh(x)))*cos(atanh(x)) 21*cos (atanh(x))*log(sin(atanh(x))) 21*cos(atanh(x))*log(sin(atanh(x))) 42*x*cos (atanh(x))*log(sin(atanh(x))) 8*x *log (sin(atanh(x)))*cos(atanh(x)) 6*x*cos (atanh(x))*log (sin(atanh(x)))|
8*log (sin(atanh(x)))*|- ------------------------ + ----------------------------------- + ----------------------- - ------------------------------------ - ----------------------------------- + ------------------------------------ + ----------------------------------- - -------------------------------------- - -------------------------------------- + --------------------------------------|
| / 2\ 3 sin(atanh(x)) 2 / 2\ 3 / 2\ / 2\ 3 / 2\ / 2\ 2 / 2\ / 2\ 2 |
\ \-1 + x /*sin (atanh(x)) -1 + x \-1 + x /*sin (atanh(x)) \-1 + x /*sin(atanh(x)) \-1 + x /*sin (atanh(x)) \-1 + x /*sin(atanh(x)) \-1 + x /*sin (atanh(x)) \-1 + x /*sin(atanh(x)) \-1 + x /*sin (atanh(x)) /
-------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------
2
/ 2\
\-1 + x /
$$\frac{8 \left(- \frac{8 x^{2} \log{\left(\sin{\left(\operatorname{atanh}{\left(x \right)} \right)} \right)}^{2} \cos{\left(\operatorname{atanh}{\left(x \right)} \right)}}{\left(x^{2} - 1\right) \sin{\left(\operatorname{atanh}{\left(x \right)} \right)}} + \frac{6 x \log{\left(\sin{\left(\operatorname{atanh}{\left(x \right)} \right)} \right)}^{2}}{x^{2} - 1} + \frac{6 x \log{\left(\sin{\left(\operatorname{atanh}{\left(x \right)} \right)} \right)}^{2} \cos^{2}{\left(\operatorname{atanh}{\left(x \right)} \right)}}{\left(x^{2} - 1\right) \sin^{2}{\left(\operatorname{atanh}{\left(x \right)} \right)}} - \frac{42 x \log{\left(\sin{\left(\operatorname{atanh}{\left(x \right)} \right)} \right)} \cos^{2}{\left(\operatorname{atanh}{\left(x \right)} \right)}}{\left(x^{2} - 1\right) \sin^{2}{\left(\operatorname{atanh}{\left(x \right)} \right)}} + \frac{2 \log{\left(\sin{\left(\operatorname{atanh}{\left(x \right)} \right)} \right)}^{2} \cos{\left(\operatorname{atanh}{\left(x \right)} \right)}}{\sin{\left(\operatorname{atanh}{\left(x \right)} \right)}} - \frac{2 \log{\left(\sin{\left(\operatorname{atanh}{\left(x \right)} \right)} \right)}^{2} \cos{\left(\operatorname{atanh}{\left(x \right)} \right)}}{\left(x^{2} - 1\right) \sin{\left(\operatorname{atanh}{\left(x \right)} \right)}} - \frac{2 \log{\left(\sin{\left(\operatorname{atanh}{\left(x \right)} \right)} \right)}^{2} \cos^{3}{\left(\operatorname{atanh}{\left(x \right)} \right)}}{\left(x^{2} - 1\right) \sin^{3}{\left(\operatorname{atanh}{\left(x \right)} \right)}} + \frac{21 \log{\left(\sin{\left(\operatorname{atanh}{\left(x \right)} \right)} \right)} \cos{\left(\operatorname{atanh}{\left(x \right)} \right)}}{\left(x^{2} - 1\right) \sin{\left(\operatorname{atanh}{\left(x \right)} \right)}} + \frac{21 \log{\left(\sin{\left(\operatorname{atanh}{\left(x \right)} \right)} \right)} \cos^{3}{\left(\operatorname{atanh}{\left(x \right)} \right)}}{\left(x^{2} - 1\right) \sin^{3}{\left(\operatorname{atanh}{\left(x \right)} \right)}} - \frac{42 \cos^{3}{\left(\operatorname{atanh}{\left(x \right)} \right)}}{\left(x^{2} - 1\right) \sin^{3}{\left(\operatorname{atanh}{\left(x \right)} \right)}}\right) \log{\left(\sin{\left(\operatorname{atanh}{\left(x \right)} \right)} \right)}^{5}}{\left(x^{2} - 1\right)^{2}}$$