Optimal. Leaf size=152 \[ -\frac{\log \left (a x^2-\sqrt{2} \sqrt{a} x+1\right )}{10 \sqrt{2} a^{5/2}}+\frac{\log \left (a x^2+\sqrt{2} \sqrt{a} x+1\right )}{10 \sqrt{2} a^{5/2}}+\frac{\tan ^{-1}\left (1-\sqrt{2} \sqrt{a} x\right )}{5 \sqrt{2} a^{5/2}}-\frac{\tan ^{-1}\left (\sqrt{2} \sqrt{a} x+1\right )}{5 \sqrt{2} a^{5/2}}+\frac{2 x^3}{15 a}+\frac{1}{5} x^5 \cot ^{-1}\left (a x^2\right ) \]
[Out]
________________________________________________________________________________________
Rubi [A] time = 0.104254, antiderivative size = 152, normalized size of antiderivative = 1., number of steps used = 11, number of rules used = 8, integrand size = 10, \(\frac{\text{number of rules}}{\text{integrand size}}\) = 0.8, Rules used = {5034, 321, 297, 1162, 617, 204, 1165, 628} \[ -\frac{\log \left (a x^2-\sqrt{2} \sqrt{a} x+1\right )}{10 \sqrt{2} a^{5/2}}+\frac{\log \left (a x^2+\sqrt{2} \sqrt{a} x+1\right )}{10 \sqrt{2} a^{5/2}}+\frac{\tan ^{-1}\left (1-\sqrt{2} \sqrt{a} x\right )}{5 \sqrt{2} a^{5/2}}-\frac{\tan ^{-1}\left (\sqrt{2} \sqrt{a} x+1\right )}{5 \sqrt{2} a^{5/2}}+\frac{2 x^3}{15 a}+\frac{1}{5} x^5 \cot ^{-1}\left (a x^2\right ) \]
Antiderivative was successfully verified.
[In]
[Out]
Rule 5034
Rule 321
Rule 297
Rule 1162
Rule 617
Rule 204
Rule 1165
Rule 628
Rubi steps
\begin{align*} \int x^4 \cot ^{-1}\left (a x^2\right ) \, dx &=\frac{1}{5} x^5 \cot ^{-1}\left (a x^2\right )+\frac{1}{5} (2 a) \int \frac{x^6}{1+a^2 x^4} \, dx\\ &=\frac{2 x^3}{15 a}+\frac{1}{5} x^5 \cot ^{-1}\left (a x^2\right )-\frac{2 \int \frac{x^2}{1+a^2 x^4} \, dx}{5 a}\\ &=\frac{2 x^3}{15 a}+\frac{1}{5} x^5 \cot ^{-1}\left (a x^2\right )+\frac{\int \frac{1-a x^2}{1+a^2 x^4} \, dx}{5 a^2}-\frac{\int \frac{1+a x^2}{1+a^2 x^4} \, dx}{5 a^2}\\ &=\frac{2 x^3}{15 a}+\frac{1}{5} x^5 \cot ^{-1}\left (a x^2\right )-\frac{\int \frac{1}{\frac{1}{a}-\frac{\sqrt{2} x}{\sqrt{a}}+x^2} \, dx}{10 a^3}-\frac{\int \frac{1}{\frac{1}{a}+\frac{\sqrt{2} x}{\sqrt{a}}+x^2} \, dx}{10 a^3}-\frac{\int \frac{\frac{\sqrt{2}}{\sqrt{a}}+2 x}{-\frac{1}{a}-\frac{\sqrt{2} x}{\sqrt{a}}-x^2} \, dx}{10 \sqrt{2} a^{5/2}}-\frac{\int \frac{\frac{\sqrt{2}}{\sqrt{a}}-2 x}{-\frac{1}{a}+\frac{\sqrt{2} x}{\sqrt{a}}-x^2} \, dx}{10 \sqrt{2} a^{5/2}}\\ &=\frac{2 x^3}{15 a}+\frac{1}{5} x^5 \cot ^{-1}\left (a x^2\right )-\frac{\log \left (1-\sqrt{2} \sqrt{a} x+a x^2\right )}{10 \sqrt{2} a^{5/2}}+\frac{\log \left (1+\sqrt{2} \sqrt{a} x+a x^2\right )}{10 \sqrt{2} a^{5/2}}-\frac{\operatorname{Subst}\left (\int \frac{1}{-1-x^2} \, dx,x,1-\sqrt{2} \sqrt{a} x\right )}{5 \sqrt{2} a^{5/2}}+\frac{\operatorname{Subst}\left (\int \frac{1}{-1-x^2} \, dx,x,1+\sqrt{2} \sqrt{a} x\right )}{5 \sqrt{2} a^{5/2}}\\ &=\frac{2 x^3}{15 a}+\frac{1}{5} x^5 \cot ^{-1}\left (a x^2\right )+\frac{\tan ^{-1}\left (1-\sqrt{2} \sqrt{a} x\right )}{5 \sqrt{2} a^{5/2}}-\frac{\tan ^{-1}\left (1+\sqrt{2} \sqrt{a} x\right )}{5 \sqrt{2} a^{5/2}}-\frac{\log \left (1-\sqrt{2} \sqrt{a} x+a x^2\right )}{10 \sqrt{2} a^{5/2}}+\frac{\log \left (1+\sqrt{2} \sqrt{a} x+a x^2\right )}{10 \sqrt{2} a^{5/2}}\\ \end{align*}
Mathematica [A] time = 0.0414145, size = 136, normalized size = 0.89 \[ \frac{8 a^{3/2} x^3+12 a^{5/2} x^5 \cot ^{-1}\left (a x^2\right )-3 \sqrt{2} \log \left (a x^2-\sqrt{2} \sqrt{a} x+1\right )+3 \sqrt{2} \log \left (a x^2+\sqrt{2} \sqrt{a} x+1\right )+6 \sqrt{2} \tan ^{-1}\left (1-\sqrt{2} \sqrt{a} x\right )-6 \sqrt{2} \tan ^{-1}\left (\sqrt{2} \sqrt{a} x+1\right )}{60 a^{5/2}} \]
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [A] time = 0.061, size = 129, normalized size = 0.9 \begin{align*}{\frac{{x}^{5}{\rm arccot} \left (a{x}^{2}\right )}{5}}+{\frac{2\,{x}^{3}}{15\,a}}-{\frac{\sqrt{2}}{20\,{a}^{3}}\ln \left ({ \left ({x}^{2}-\sqrt [4]{{a}^{-2}}x\sqrt{2}+\sqrt{{a}^{-2}} \right ) \left ({x}^{2}+\sqrt [4]{{a}^{-2}}x\sqrt{2}+\sqrt{{a}^{-2}} \right ) ^{-1}} \right ){\frac{1}{\sqrt [4]{{a}^{-2}}}}}-{\frac{\sqrt{2}}{10\,{a}^{3}}\arctan \left ({x\sqrt{2}{\frac{1}{\sqrt [4]{{a}^{-2}}}}}+1 \right ){\frac{1}{\sqrt [4]{{a}^{-2}}}}}-{\frac{\sqrt{2}}{10\,{a}^{3}}\arctan \left ({x\sqrt{2}{\frac{1}{\sqrt [4]{{a}^{-2}}}}}-1 \right ){\frac{1}{\sqrt [4]{{a}^{-2}}}}} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [B] time = 1.45523, size = 362, normalized size = 2.38 \begin{align*} \frac{1}{5} \, x^{5} \operatorname{arccot}\left (a x^{2}\right ) + \frac{1}{60} \, a{\left (\frac{8 \, x^{3}}{a^{2}} + \frac{3 \,{\left (\frac{\sqrt{2} \log \left (\sqrt{a^{2}} x^{2} + \sqrt{2}{\left (a^{2}\right )}^{\frac{1}{4}} x + 1\right )}{{\left (a^{2}\right )}^{\frac{3}{4}}} - \frac{\sqrt{2} \log \left (\sqrt{a^{2}} x^{2} - \sqrt{2}{\left (a^{2}\right )}^{\frac{1}{4}} x + 1\right )}{{\left (a^{2}\right )}^{\frac{3}{4}}} - \frac{\sqrt{2} \log \left (\frac{2 \, \sqrt{a^{2}} x - \sqrt{2} \sqrt{-\sqrt{a^{2}}} + \sqrt{2}{\left (a^{2}\right )}^{\frac{1}{4}}}{2 \, \sqrt{a^{2}} x + \sqrt{2} \sqrt{-\sqrt{a^{2}}} + \sqrt{2}{\left (a^{2}\right )}^{\frac{1}{4}}}\right )}{\sqrt{a^{2}} \sqrt{-\sqrt{a^{2}}}} - \frac{\sqrt{2} \log \left (\frac{2 \, \sqrt{a^{2}} x - \sqrt{2} \sqrt{-\sqrt{a^{2}}} - \sqrt{2}{\left (a^{2}\right )}^{\frac{1}{4}}}{2 \, \sqrt{a^{2}} x + \sqrt{2} \sqrt{-\sqrt{a^{2}}} - \sqrt{2}{\left (a^{2}\right )}^{\frac{1}{4}}}\right )}{\sqrt{a^{2}} \sqrt{-\sqrt{a^{2}}}}\right )}}{a^{2}}\right )} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [B] time = 2.36893, size = 757, normalized size = 4.98 \begin{align*} \frac{12 \, a x^{5} \arctan \left (\frac{1}{a x^{2}}\right ) + 8 \, x^{3} + 12 \, \sqrt{2} a \frac{1}{a^{10}}^{\frac{1}{4}} \arctan \left (-\sqrt{2} a^{3} \frac{1}{a^{10}}^{\frac{1}{4}} x + \sqrt{2} \sqrt{\sqrt{2} a^{7} \frac{1}{a^{10}}^{\frac{3}{4}} x + a^{4} \sqrt{\frac{1}{a^{10}}} + x^{2}} a^{3} \frac{1}{a^{10}}^{\frac{1}{4}} - 1\right ) + 12 \, \sqrt{2} a \frac{1}{a^{10}}^{\frac{1}{4}} \arctan \left (-\sqrt{2} a^{3} \frac{1}{a^{10}}^{\frac{1}{4}} x + \sqrt{2} \sqrt{-\sqrt{2} a^{7} \frac{1}{a^{10}}^{\frac{3}{4}} x + a^{4} \sqrt{\frac{1}{a^{10}}} + x^{2}} a^{3} \frac{1}{a^{10}}^{\frac{1}{4}} + 1\right ) + 3 \, \sqrt{2} a \frac{1}{a^{10}}^{\frac{1}{4}} \log \left (\sqrt{2} a^{7} \frac{1}{a^{10}}^{\frac{3}{4}} x + a^{4} \sqrt{\frac{1}{a^{10}}} + x^{2}\right ) - 3 \, \sqrt{2} a \frac{1}{a^{10}}^{\frac{1}{4}} \log \left (-\sqrt{2} a^{7} \frac{1}{a^{10}}^{\frac{3}{4}} x + a^{4} \sqrt{\frac{1}{a^{10}}} + x^{2}\right )}{60 \, a} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [A] time = 58.1177, size = 1086, normalized size = 7.14 \begin{align*} \text{result too large to display} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [A] time = 1.1401, size = 211, normalized size = 1.39 \begin{align*} \frac{1}{5} \, x^{5} \arctan \left (\frac{1}{a x^{2}}\right ) + \frac{1}{60} \, a{\left (\frac{8 \, x^{3}}{a^{2}} - \frac{6 \, \sqrt{2} \sqrt{{\left | a \right |}} \arctan \left (\frac{1}{2} \, \sqrt{2}{\left (2 \, x + \frac{\sqrt{2}}{\sqrt{{\left | a \right |}}}\right )} \sqrt{{\left | a \right |}}\right )}{a^{4}} - \frac{6 \, \sqrt{2} \sqrt{{\left | a \right |}} \arctan \left (\frac{1}{2} \, \sqrt{2}{\left (2 \, x - \frac{\sqrt{2}}{\sqrt{{\left | a \right |}}}\right )} \sqrt{{\left | a \right |}}\right )}{a^{4}} + \frac{3 \, \sqrt{2} \sqrt{{\left | a \right |}} \log \left (x^{2} + \frac{\sqrt{2} x}{\sqrt{{\left | a \right |}}} + \frac{1}{{\left | a \right |}}\right )}{a^{4}} - \frac{3 \, \sqrt{2} \sqrt{{\left | a \right |}} \log \left (x^{2} - \frac{\sqrt{2} x}{\sqrt{{\left | a \right |}}} + \frac{1}{{\left | a \right |}}\right )}{a^{4}}\right )} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]