Optimal. Leaf size=63 \[ \sqrt {\frac {2}{3}} \tanh ^{-1}\left (\sqrt {\frac {2}{3}}+\frac {x^6}{\sqrt {6}}+\frac {x^3 \sqrt {-1+x^6}}{\sqrt {6}}\right )+\frac {1}{3} \log \left (x^3+\sqrt {-1+x^6}\right ) \]
[Out]
________________________________________________________________________________________
Rubi [A]
time = 0.04, antiderivative size = 49, normalized size of antiderivative = 0.78, number of steps
used = 6, number of rules used = 5, integrand size = 25, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.200, Rules used = {589, 537, 223,
212, 385} \begin {gather*} \frac {1}{3} \tanh ^{-1}\left (\frac {x^3}{\sqrt {x^6-1}}\right )-\sqrt {\frac {2}{3}} \tanh ^{-1}\left (\frac {\sqrt {\frac {3}{2}} x^3}{\sqrt {x^6-1}}\right ) \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
Rule 212
Rule 223
Rule 385
Rule 537
Rule 589
Rubi steps
\begin {align*} \int \frac {x^2 \left (-4+x^6\right )}{\sqrt {-1+x^6} \left (2+x^6\right )} \, dx &=\frac {1}{3} \text {Subst}\left (\int \frac {-4+x^2}{\sqrt {-1+x^2} \left (2+x^2\right )} \, dx,x,x^3\right )\\ &=\frac {1}{3} \text {Subst}\left (\int \frac {1}{\sqrt {-1+x^2}} \, dx,x,x^3\right )-2 \text {Subst}\left (\int \frac {1}{\sqrt {-1+x^2} \left (2+x^2\right )} \, dx,x,x^3\right )\\ &=\frac {1}{3} \text {Subst}\left (\int \frac {1}{1-x^2} \, dx,x,\frac {x^3}{\sqrt {-1+x^6}}\right )-2 \text {Subst}\left (\int \frac {1}{2-3 x^2} \, dx,x,\frac {x^3}{\sqrt {-1+x^6}}\right )\\ &=\frac {1}{3} \tanh ^{-1}\left (\frac {x^3}{\sqrt {-1+x^6}}\right )-\sqrt {\frac {2}{3}} \tanh ^{-1}\left (\frac {\sqrt {\frac {3}{2}} x^3}{\sqrt {-1+x^6}}\right )\\ \end {align*}
________________________________________________________________________________________
Mathematica [A]
time = 0.11, size = 52, normalized size = 0.83 \begin {gather*} \frac {1}{3} \left (\tanh ^{-1}\left (\frac {x^3}{\sqrt {-1+x^6}}\right )-\sqrt {6} \tanh ^{-1}\left (\frac {2+x^6-x^3 \sqrt {-1+x^6}}{\sqrt {6}}\right )\right ) \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [C] Result contains higher order function than in optimal. Order 9 vs. order
3.
time = 0.74, size = 65, normalized size = 1.03
method | result | size |
trager | \(\frac {\ln \left (x^{3}+\sqrt {x^{6}-1}\right )}{3}-\frac {\RootOf \left (\textit {\_Z}^{2}-6\right ) \ln \left (\frac {5 \RootOf \left (\textit {\_Z}^{2}-6\right ) x^{6}+12 x^{3} \sqrt {x^{6}-1}-2 \RootOf \left (\textit {\_Z}^{2}-6\right )}{x^{6}+2}\right )}{6}\) | \(65\) |
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [F]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {Failed to integrate} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [A]
time = 0.35, size = 82, normalized size = 1.30 \begin {gather*} \frac {1}{6} \, \sqrt {3} \sqrt {2} \log \left (\frac {25 \, x^{6} - 2 \, \sqrt {3} \sqrt {2} {\left (5 \, x^{6} - 2\right )} - 2 \, \sqrt {x^{6} - 1} {\left (5 \, \sqrt {3} \sqrt {2} x^{3} - 12 \, x^{3}\right )} - 10}{x^{6} + 2}\right ) - \frac {1}{3} \, \log \left (-x^{3} + \sqrt {x^{6} - 1}\right ) \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [F]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \int \frac {x^{2} \left (x^{3} - 2\right ) \left (x^{3} + 2\right )}{\sqrt {\left (x - 1\right ) \left (x + 1\right ) \left (x^{2} - x + 1\right ) \left (x^{2} + x + 1\right )} \left (x^{6} + 2\right )}\, dx \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [A]
time = 0.39, size = 72, normalized size = 1.14 \begin {gather*} \frac {1}{6} \, \sqrt {6} \log \left (\frac {{\left (x^{3} - \sqrt {x^{6} - 1}\right )}^{2} - 2 \, \sqrt {6} + 5}{{\left (x^{3} - \sqrt {x^{6} - 1}\right )}^{2} + 2 \, \sqrt {6} + 5}\right ) - \frac {1}{6} \, \log \left ({\left (x^{3} - \sqrt {x^{6} - 1}\right )}^{2}\right ) \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Mupad [F]
time = 0.00, size = -1, normalized size = -0.02 \begin {gather*} \int \frac {x^2\,\left (x^6-4\right )}{\sqrt {x^6-1}\,\left (x^6+2\right )} \,d x \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________