Optimal. Leaf size=54 \[ \frac{2 a^2 x^3}{15}+\frac{1}{5} x^5 \log \left (a^2+x^2\right )-\frac{2 a^4 x}{5}+\frac{2}{5} a^5 \tan ^{-1}\left (\frac{x}{a}\right )-\frac{2 x^5}{25} \]
[Out]
________________________________________________________________________________________
Rubi [A] time = 0.02527, antiderivative size = 54, normalized size of antiderivative = 1., number of steps used = 4, number of rules used = 3, integrand size = 12, \(\frac{\text{number of rules}}{\text{integrand size}}\) = 0.25, Rules used = {2455, 302, 203} \[ \frac{2 a^2 x^3}{15}+\frac{1}{5} x^5 \log \left (a^2+x^2\right )-\frac{2 a^4 x}{5}+\frac{2}{5} a^5 \tan ^{-1}\left (\frac{x}{a}\right )-\frac{2 x^5}{25} \]
Antiderivative was successfully verified.
[In]
[Out]
Rule 2455
Rule 302
Rule 203
Rubi steps
\begin{align*} \int x^4 \log \left (a^2+x^2\right ) \, dx &=\frac{1}{5} x^5 \log \left (a^2+x^2\right )-\frac{2}{5} \int \frac{x^6}{a^2+x^2} \, dx\\ &=\frac{1}{5} x^5 \log \left (a^2+x^2\right )-\frac{2}{5} \int \left (a^4-a^2 x^2+x^4-\frac{a^6}{a^2+x^2}\right ) \, dx\\ &=-\frac{2 a^4 x}{5}+\frac{2 a^2 x^3}{15}-\frac{2 x^5}{25}+\frac{1}{5} x^5 \log \left (a^2+x^2\right )+\frac{1}{5} \left (2 a^6\right ) \int \frac{1}{a^2+x^2} \, dx\\ &=-\frac{2 a^4 x}{5}+\frac{2 a^2 x^3}{15}-\frac{2 x^5}{25}+\frac{2}{5} a^5 \tan ^{-1}\left (\frac{x}{a}\right )+\frac{1}{5} x^5 \log \left (a^2+x^2\right )\\ \end{align*}
Mathematica [A] time = 0.0026944, size = 54, normalized size = 1. \[ \frac{2 a^2 x^3}{15}+\frac{1}{5} x^5 \log \left (a^2+x^2\right )-\frac{2 a^4 x}{5}+\frac{2}{5} a^5 \tan ^{-1}\left (\frac{x}{a}\right )-\frac{2 x^5}{25} \]
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [A] time = 0.003, size = 45, normalized size = 0.8 \begin{align*} -{\frac{2\,{a}^{4}x}{5}}+{\frac{2\,{a}^{2}{x}^{3}}{15}}-{\frac{2\,{x}^{5}}{25}}+{\frac{2\,{a}^{5}}{5}\arctan \left ({\frac{x}{a}} \right ) }+{\frac{{x}^{5}\ln \left ({a}^{2}+{x}^{2} \right ) }{5}} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [A] time = 1.42888, size = 59, normalized size = 1.09 \begin{align*} \frac{2}{5} \, a^{5} \arctan \left (\frac{x}{a}\right ) + \frac{1}{5} \, x^{5} \log \left (a^{2} + x^{2}\right ) - \frac{2}{5} \, a^{4} x + \frac{2}{15} \, a^{2} x^{3} - \frac{2}{25} \, x^{5} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [A] time = 2.04898, size = 113, normalized size = 2.09 \begin{align*} \frac{2}{5} \, a^{5} \arctan \left (\frac{x}{a}\right ) + \frac{1}{5} \, x^{5} \log \left (a^{2} + x^{2}\right ) - \frac{2}{5} \, a^{4} x + \frac{2}{15} \, a^{2} x^{3} - \frac{2}{25} \, x^{5} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [C] time = 0.348756, size = 63, normalized size = 1.17 \begin{align*} - 2 a^{5} \left (\frac{i \log{\left (- i a + x \right )}}{10} - \frac{i \log{\left (i a + x \right )}}{10}\right ) - \frac{2 a^{4} x}{5} + \frac{2 a^{2} x^{3}}{15} + \frac{x^{5} \log{\left (a^{2} + x^{2} \right )}}{5} - \frac{2 x^{5}}{25} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [A] time = 1.08867, size = 59, normalized size = 1.09 \begin{align*} \frac{2}{5} \, a^{5} \arctan \left (\frac{x}{a}\right ) + \frac{1}{5} \, x^{5} \log \left (a^{2} + x^{2}\right ) - \frac{2}{5} \, a^{4} x + \frac{2}{15} \, a^{2} x^{3} - \frac{2}{25} \, x^{5} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]