Optimal. Leaf size=56 \[ -\frac{x}{4 \left (x^2+1\right )}+\frac{x \cot ^{-1}(x)^2}{2 \left (x^2+1\right )}-\frac{\cot ^{-1}(x)}{2 \left (x^2+1\right )}-\frac{1}{4} \tan ^{-1}(x)-\frac{1}{6} \cot ^{-1}(x)^3 \]
[Out]
________________________________________________________________________________________
Rubi [A] time = 0.0438201, antiderivative size = 56, normalized size of antiderivative = 1., number of steps used = 4, number of rules used = 4, integrand size = 12, \(\frac{\text{number of rules}}{\text{integrand size}}\) = 0.333, Rules used = {4893, 4931, 199, 203} \[ -\frac{x}{4 \left (x^2+1\right )}+\frac{x \cot ^{-1}(x)^2}{2 \left (x^2+1\right )}-\frac{\cot ^{-1}(x)}{2 \left (x^2+1\right )}-\frac{1}{4} \tan ^{-1}(x)-\frac{1}{6} \cot ^{-1}(x)^3 \]
Antiderivative was successfully verified.
[In]
[Out]
Rule 4893
Rule 4931
Rule 199
Rule 203
Rubi steps
\begin{align*} \int \frac{\cot ^{-1}(x)^2}{\left (1+x^2\right )^2} \, dx &=\frac{x \cot ^{-1}(x)^2}{2 \left (1+x^2\right )}-\frac{1}{6} \cot ^{-1}(x)^3+\int \frac{x \cot ^{-1}(x)}{\left (1+x^2\right )^2} \, dx\\ &=-\frac{\cot ^{-1}(x)}{2 \left (1+x^2\right )}+\frac{x \cot ^{-1}(x)^2}{2 \left (1+x^2\right )}-\frac{1}{6} \cot ^{-1}(x)^3-\frac{1}{2} \int \frac{1}{\left (1+x^2\right )^2} \, dx\\ &=-\frac{x}{4 \left (1+x^2\right )}-\frac{\cot ^{-1}(x)}{2 \left (1+x^2\right )}+\frac{x \cot ^{-1}(x)^2}{2 \left (1+x^2\right )}-\frac{1}{6} \cot ^{-1}(x)^3-\frac{1}{4} \int \frac{1}{1+x^2} \, dx\\ &=-\frac{x}{4 \left (1+x^2\right )}-\frac{\cot ^{-1}(x)}{2 \left (1+x^2\right )}+\frac{x \cot ^{-1}(x)^2}{2 \left (1+x^2\right )}-\frac{1}{6} \cot ^{-1}(x)^3-\frac{1}{4} \tan ^{-1}(x)\\ \end{align*}
Mathematica [A] time = 0.0235425, size = 46, normalized size = 0.82 \[ -\frac{3 \left (\left (x^2+1\right ) \tan ^{-1}(x)+x\right )+2 \left (x^2+1\right ) \cot ^{-1}(x)^3-6 x \cot ^{-1}(x)^2+6 \cot ^{-1}(x)}{12 \left (x^2+1\right )} \]
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [A] time = 0.169, size = 61, normalized size = 1.1 \begin{align*} -{\frac{ \left ({\rm arccot} \left (x\right ) \right ) ^{2} \left ({x}^{2}{\rm arccot} \left (x\right )+{\rm arccot} \left (x\right )-x \right ) }{2\,{x}^{2}+2}}+{\frac{{x}^{2}{\rm arccot} \left (x\right )}{2\,{x}^{2}+2}}-{\frac{x}{4\,{x}^{2}+4}}-{\frac{{\rm arccot} \left (x\right )}{4}}+{\frac{ \left ({\rm arccot} \left (x\right ) \right ) ^{3}}{3}} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [A] time = 1.52471, size = 101, normalized size = 1.8 \begin{align*} \frac{1}{2} \,{\left (\frac{x}{x^{2} + 1} + \arctan \left (x\right )\right )} \operatorname{arccot}\left (x\right )^{2} + \frac{{\left ({\left (x^{2} + 1\right )} \arctan \left (x\right )^{2} - 1\right )} \operatorname{arccot}\left (x\right )}{2 \,{\left (x^{2} + 1\right )}} + \frac{2 \,{\left (x^{2} + 1\right )} \arctan \left (x\right )^{3} - 3 \,{\left (x^{2} + 1\right )} \arctan \left (x\right ) - 3 \, x}{12 \,{\left (x^{2} + 1\right )}} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [A] time = 2.08247, size = 123, normalized size = 2.2 \begin{align*} -\frac{2 \,{\left (x^{2} + 1\right )} \operatorname{arccot}\left (x\right )^{3} - 6 \, x \operatorname{arccot}\left (x\right )^{2} - 3 \,{\left (x^{2} - 1\right )} \operatorname{arccot}\left (x\right ) + 3 \, x}{12 \,{\left (x^{2} + 1\right )}} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [F] time = 0., size = 0, normalized size = 0. \begin{align*} \int \frac{\operatorname{acot}^{2}{\left (x \right )}}{\left (x^{2} + 1\right )^{2}}\, dx \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [F] time = 0., size = 0, normalized size = 0. \begin{align*} \int \frac{\operatorname{arccot}\left (x\right )^{2}}{{\left (x^{2} + 1\right )}^{2}}\,{d x} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]