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