/ 2 \
2 \2 + 2*tan (2*x)/*sinh(log(tan(2*x)))
12*x + -------------------------------------
tan(2*x)
$$12 x^{2} + \frac{\left(2 \tan^{2}{\left(2 x \right)} + 2\right) \sinh{\left(\log{\left(\tan{\left(2 x \right)} \right)} \right)}}{\tan{\left(2 x \right)}}$$
/ 2 2 \
| / 2 \ / 2 \ |
| / 2 \ \1 + tan (2*x)/ *cosh(log(tan(2*x))) \1 + tan (2*x)/ *sinh(log(tan(2*x)))|
4*|6*x + 2*\1 + tan (2*x)/*sinh(log(tan(2*x))) + ------------------------------------ - ------------------------------------|
| 2 2 |
\ tan (2*x) tan (2*x) /
$$4 \left(6 x - \frac{\left(\tan^{2}{\left(2 x \right)} + 1\right)^{2} \sinh{\left(\log{\left(\tan{\left(2 x \right)} \right)} \right)}}{\tan^{2}{\left(2 x \right)}} + \frac{\left(\tan^{2}{\left(2 x \right)} + 1\right)^{2} \cosh{\left(\log{\left(\tan{\left(2 x \right)} \right)} \right)}}{\tan^{2}{\left(2 x \right)}} + 2 \left(\tan^{2}{\left(2 x \right)} + 1\right) \sinh{\left(\log{\left(\tan{\left(2 x \right)} \right)} \right)}\right)$$
/ 2 3 3 2 \
| / 2 \ / 2 \ / 2 \ / 2 \ |
| 4*\1 + tan (2*x)/ *sinh(log(tan(2*x))) 3*\1 + tan (2*x)/ *cosh(log(tan(2*x))) 3*\1 + tan (2*x)/ *sinh(log(tan(2*x))) / 2 \ 6*\1 + tan (2*x)/ *cosh(log(tan(2*x)))|
8*|3 - -------------------------------------- - -------------------------------------- + -------------------------------------- + 4*\1 + tan (2*x)/*sinh(log(tan(2*x)))*tan(2*x) + --------------------------------------|
| tan(2*x) 3 3 tan(2*x) |
\ tan (2*x) tan (2*x) /
$$8 \left(\frac{3 \left(\tan^{2}{\left(2 x \right)} + 1\right)^{3} \sinh{\left(\log{\left(\tan{\left(2 x \right)} \right)} \right)}}{\tan^{3}{\left(2 x \right)}} - \frac{3 \left(\tan^{2}{\left(2 x \right)} + 1\right)^{3} \cosh{\left(\log{\left(\tan{\left(2 x \right)} \right)} \right)}}{\tan^{3}{\left(2 x \right)}} - \frac{4 \left(\tan^{2}{\left(2 x \right)} + 1\right)^{2} \sinh{\left(\log{\left(\tan{\left(2 x \right)} \right)} \right)}}{\tan{\left(2 x \right)}} + \frac{6 \left(\tan^{2}{\left(2 x \right)} + 1\right)^{2} \cosh{\left(\log{\left(\tan{\left(2 x \right)} \right)} \right)}}{\tan{\left(2 x \right)}} + 4 \left(\tan^{2}{\left(2 x \right)} + 1\right) \tan{\left(2 x \right)} \sinh{\left(\log{\left(\tan{\left(2 x \right)} \right)} \right)} + 3\right)$$