/ 2 \ acot(x)
/ 2 \ acot(x) \1 + tan (x)/*e
\2 + 2*tan (x)/*e *tan(x) - ----------------------
2
1 + x
$$\left(2 \tan^{2}{\left(x \right)} + 2\right) e^{\operatorname{acot}{\left(x \right)}} \tan{\left(x \right)} - \frac{\left(\tan^{2}{\left(x \right)} + 1\right) e^{\operatorname{acot}{\left(x \right)}}}{x^{2} + 1}$$
/ 2 \ / 2 1 + 2*x 4*tan(x)\ acot(x)
\1 + tan (x)/*|2 + 6*tan (x) + --------- - --------|*e
| 2 2 |
| / 2\ 1 + x |
\ \1 + x / /
$$\left(\tan^{2}{\left(x \right)} + 1\right) \left(\frac{2 x + 1}{\left(x^{2} + 1\right)^{2}} + 6 \tan^{2}{\left(x \right)} + 2 - \frac{4 \tan{\left(x \right)}}{x^{2} + 1}\right) e^{\operatorname{acot}{\left(x \right)}}$$
/ 2 \
| 1 6*x 8*x |
| -2 + ------ + ------ + ------ |
| 2 2 2 / 2 \ |
/ 2 \ | 1 + x 1 + x 1 + x 6*\1 + 3*tan (x)/ / 2 \ 6*(1 + 2*x)*tan(x)| acot(x)
\1 + tan (x)/*|- ----------------------------- - ----------------- + 8*\2 + 3*tan (x)/*tan(x) + ------------------|*e
| 2 2 2 |
| / 2\ 1 + x / 2\ |
\ \1 + x / \1 + x / /
$$\left(\tan^{2}{\left(x \right)} + 1\right) \left(\frac{6 \left(2 x + 1\right) \tan{\left(x \right)}}{\left(x^{2} + 1\right)^{2}} + 8 \left(3 \tan^{2}{\left(x \right)} + 2\right) \tan{\left(x \right)} - \frac{6 \left(3 \tan^{2}{\left(x \right)} + 1\right)}{x^{2} + 1} - \frac{\frac{8 x^{2}}{x^{2} + 1} + \frac{6 x}{x^{2} + 1} - 2 + \frac{1}{x^{2} + 1}}{\left(x^{2} + 1\right)^{2}}\right) e^{\operatorname{acot}{\left(x \right)}}$$