Optimal. Leaf size=79 \[ \frac{5}{32 \left (x^2+1\right )}-\frac{1}{32 \left (x^2+1\right )^2}+\frac{x^4 \tan ^{-1}(x)^2}{4 \left (x^2+1\right )^2}+\frac{x^3 \tan ^{-1}(x)}{8 \left (x^2+1\right )^2}+\frac{3 x \tan ^{-1}(x)}{16 \left (x^2+1\right )}-\frac{3}{32} \tan ^{-1}(x)^2 \]
[Out]
________________________________________________________________________________________
Rubi [A] time = 0.133031, antiderivative size = 82, normalized size of antiderivative = 1.04, number of steps used = 4, number of rules used = 4, integrand size = 15, \(\frac{\text{number of rules}}{\text{integrand size}}\) = 0.267, Rules used = {4944, 4938, 4934, 4884} \[ -\frac{x^4}{32 \left (x^2+1\right )^2}+\frac{3}{32 \left (x^2+1\right )}+\frac{x^4 \tan ^{-1}(x)^2}{4 \left (x^2+1\right )^2}+\frac{x^3 \tan ^{-1}(x)}{8 \left (x^2+1\right )^2}+\frac{3 x \tan ^{-1}(x)}{16 \left (x^2+1\right )}-\frac{3}{32} \tan ^{-1}(x)^2 \]
Antiderivative was successfully verified.
[In]
[Out]
Rule 4944
Rule 4938
Rule 4934
Rule 4884
Rubi steps
\begin{align*} \int \frac{x^3 \tan ^{-1}(x)^2}{\left (1+x^2\right )^3} \, dx &=\frac{x^4 \tan ^{-1}(x)^2}{4 \left (1+x^2\right )^2}-\frac{1}{2} \int \frac{x^4 \tan ^{-1}(x)}{\left (1+x^2\right )^3} \, dx\\ &=-\frac{x^4}{32 \left (1+x^2\right )^2}+\frac{x^3 \tan ^{-1}(x)}{8 \left (1+x^2\right )^2}+\frac{x^4 \tan ^{-1}(x)^2}{4 \left (1+x^2\right )^2}-\frac{3}{8} \int \frac{x^2 \tan ^{-1}(x)}{\left (1+x^2\right )^2} \, dx\\ &=-\frac{x^4}{32 \left (1+x^2\right )^2}+\frac{3}{32 \left (1+x^2\right )}+\frac{x^3 \tan ^{-1}(x)}{8 \left (1+x^2\right )^2}+\frac{3 x \tan ^{-1}(x)}{16 \left (1+x^2\right )}+\frac{x^4 \tan ^{-1}(x)^2}{4 \left (1+x^2\right )^2}-\frac{3}{16} \int \frac{\tan ^{-1}(x)}{1+x^2} \, dx\\ &=-\frac{x^4}{32 \left (1+x^2\right )^2}+\frac{3}{32 \left (1+x^2\right )}+\frac{x^3 \tan ^{-1}(x)}{8 \left (1+x^2\right )^2}+\frac{3 x \tan ^{-1}(x)}{16 \left (1+x^2\right )}-\frac{3}{32} \tan ^{-1}(x)^2+\frac{x^4 \tan ^{-1}(x)^2}{4 \left (1+x^2\right )^2}\\ \end{align*}
Mathematica [A] time = 0.0561438, size = 47, normalized size = 0.59 \[ \frac{5 x^2+2 \left (5 x^2+3\right ) x \tan ^{-1}(x)+\left (5 x^4-6 x^2-3\right ) \tan ^{-1}(x)^2+4}{32 \left (x^2+1\right )^2} \]
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [A] time = 0.025, size = 78, normalized size = 1. \begin{align*}{\frac{ \left ( \arctan \left ( x \right ) \right ) ^{2}}{4\, \left ({x}^{2}+1 \right ) ^{2}}}-{\frac{ \left ( \arctan \left ( x \right ) \right ) ^{2}}{2\,{x}^{2}+2}}+{\frac{5\,{x}^{3}\arctan \left ( x \right ) }{16\, \left ({x}^{2}+1 \right ) ^{2}}}+{\frac{3\,x\arctan \left ( x \right ) }{16\, \left ({x}^{2}+1 \right ) ^{2}}}+{\frac{5\, \left ( \arctan \left ( x \right ) \right ) ^{2}}{32}}-{\frac{1}{32\, \left ({x}^{2}+1 \right ) ^{2}}}+{\frac{5}{32\,{x}^{2}+32}} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [A] time = 1.48649, size = 127, normalized size = 1.61 \begin{align*} \frac{1}{16} \,{\left (\frac{5 \, x^{3} + 3 \, x}{x^{4} + 2 \, x^{2} + 1} + 5 \, \arctan \left (x\right )\right )} \arctan \left (x\right ) - \frac{{\left (2 \, x^{2} + 1\right )} \arctan \left (x\right )^{2}}{4 \,{\left (x^{4} + 2 \, x^{2} + 1\right )}} - \frac{5 \,{\left (x^{4} + 2 \, x^{2} + 1\right )} \arctan \left (x\right )^{2} - 5 \, x^{2} - 4}{32 \,{\left (x^{4} + 2 \, x^{2} + 1\right )}} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [A] time = 2.53098, size = 132, normalized size = 1.67 \begin{align*} \frac{{\left (5 \, x^{4} - 6 \, x^{2} - 3\right )} \arctan \left (x\right )^{2} + 5 \, x^{2} + 2 \,{\left (5 \, x^{3} + 3 \, x\right )} \arctan \left (x\right ) + 4}{32 \,{\left (x^{4} + 2 \, 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{x^{3} \operatorname{atan}^{2}{\left (x \right )}}{\left (x^{2} + 1\right )^{3}}\, 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{x^{3} \arctan \left (x\right )^{2}}{{\left (x^{2} + 1\right )}^{3}}\,{d x} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]