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