Optimal. Leaf size=28 \[ -\frac {x^2}{\sqrt {2}}+\frac {x^4}{4}+\log \left (\sqrt {2}+x^2\right ) \]
[Out]
________________________________________________________________________________________
Rubi [A]
time = 0.01, antiderivative size = 28, normalized size of antiderivative = 1.00, number of steps
used = 3, number of rules used = 2, integrand size = 15, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.133, Rules used = {272, 45}
\begin {gather*} \frac {x^4}{4}-\frac {x^2}{\sqrt {2}}+\log \left (x^2+\sqrt {2}\right ) \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
Rule 45
Rule 272
Rubi steps
\begin {align*} \int \frac {x^5}{\sqrt {2}+x^2} \, dx &=\frac {1}{2} \text {Subst}\left (\int \frac {x^2}{\sqrt {2}+x} \, dx,x,x^2\right )\\ &=\frac {1}{2} \text {Subst}\left (\int \left (-\sqrt {2}+x+\frac {2}{\sqrt {2}+x}\right ) \, dx,x,x^2\right )\\ &=-\frac {x^2}{\sqrt {2}}+\frac {x^4}{4}+\log \left (\sqrt {2}+x^2\right )\\ \end {align*}
________________________________________________________________________________________
Mathematica [A]
time = 0.01, size = 31, normalized size = 1.11 \begin {gather*} \frac {1}{4} \left (-6-2 \sqrt {2} x^2+x^4+4 \log \left (\sqrt {2}+x^2\right )\right ) \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Mathics [A]
time = 1.79, size = 22, normalized size = 0.79 \begin {gather*} -\frac {\sqrt {2} x^2}{2}+\frac {x^4}{4}+\text {Log}\left [\sqrt {2}+x^2\right ] \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [A]
time = 0.07, size = 23, normalized size = 0.82
method | result | size |
default | \(\frac {x^{4}}{4}+\ln \left (x^{2}+\sqrt {2}\right )-\frac {x^{2} \sqrt {2}}{2}\) | \(23\) |
risch | \(\frac {x^{4}}{4}-\frac {x^{2} \sqrt {2}}{2}+\frac {1}{2}+\ln \left (x^{2}+\sqrt {2}\right )\) | \(24\) |
meijerg | \(-\frac {x^{2} \sqrt {2}\, \left (-\frac {3 x^{2} \sqrt {2}}{2}+6\right )}{12}+\ln \left (1+\frac {x^{2} \sqrt {2}}{2}\right )\) | \(31\) |
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [A]
time = 0.36, size = 22, normalized size = 0.79 \begin {gather*} \frac {1}{4} \, x^{4} - \frac {1}{2} \, \sqrt {2} x^{2} + \log \left (x^{2} + \sqrt {2}\right ) \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [A]
time = 0.31, size = 22, normalized size = 0.79 \begin {gather*} \frac {1}{4} \, x^{4} - \frac {1}{2} \, \sqrt {2} x^{2} + \log \left (x^{2} + \sqrt {2}\right ) \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [A]
time = 0.07, size = 24, normalized size = 0.86 \begin {gather*} \frac {x^{4}}{4} - \frac {\sqrt {2} x^{2}}{2} + \log {\left (x^{2} + \sqrt {2} \right )} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [A]
time = 0.00, size = 30, normalized size = 1.07 \begin {gather*} \frac {x^{4}-\left (2 \sqrt {2}\right ) x^{2}}{4}+\ln \left (x^{2}+\sqrt {2}\right ) \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Mupad [B]
time = 0.06, size = 22, normalized size = 0.79 \begin {gather*} \ln \left (x^2+\sqrt {2}\right )-\frac {\sqrt {2}\,x^2}{2}+\frac {x^4}{4} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________