Optimal. Leaf size=61 \[ \frac {1}{6} \text {RootSum}\left [\text {$\#$1}^6-2 \text {$\#$1}^3+2\& ,\frac {\text {$\#$1}^2 \log \left (\sqrt [3]{x^6+x^3-1}-\text {$\#$1} x\right )-\text {$\#$1}^2 \log (x)}{\text {$\#$1}^3-1}\& \right ] \]
________________________________________________________________________________________
Rubi [F] time = 0.41, antiderivative size = 0, normalized size of antiderivative = 0.00, number of steps used = 0, number of rules used = 0, integrand size = 0, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.000, Rules used = {} \begin {gather*} \int \frac {\left (1+x^6\right ) \left (-1+x^3+x^6\right )^{2/3}}{1-x^6+x^{12}} \, dx \end {gather*}
Verification is not applicable to the result.
[In]
[Out]
Rubi steps
\begin {align*} \int \frac {\left (1+x^6\right ) \left (-1+x^3+x^6\right )^{2/3}}{1-x^6+x^{12}} \, dx &=\int \left (\frac {\left (1-i \sqrt {3}\right ) \left (-1+x^3+x^6\right )^{2/3}}{-1-i \sqrt {3}+2 x^6}+\frac {\left (1+i \sqrt {3}\right ) \left (-1+x^3+x^6\right )^{2/3}}{-1+i \sqrt {3}+2 x^6}\right ) \, dx\\ &=\left (1-i \sqrt {3}\right ) \int \frac {\left (-1+x^3+x^6\right )^{2/3}}{-1-i \sqrt {3}+2 x^6} \, dx+\left (1+i \sqrt {3}\right ) \int \frac {\left (-1+x^3+x^6\right )^{2/3}}{-1+i \sqrt {3}+2 x^6} \, dx\\ &=\left (1-i \sqrt {3}\right ) \int \left (\frac {\sqrt {1+i \sqrt {3}} \left (-1+x^3+x^6\right )^{2/3}}{2 \left (-1-i \sqrt {3}\right ) \left (\sqrt {1+i \sqrt {3}}-\sqrt {2} x^3\right )}+\frac {\sqrt {1+i \sqrt {3}} \left (-1+x^3+x^6\right )^{2/3}}{2 \left (-1-i \sqrt {3}\right ) \left (\sqrt {1+i \sqrt {3}}+\sqrt {2} x^3\right )}\right ) \, dx+\left (1+i \sqrt {3}\right ) \int \left (\frac {\sqrt {1-i \sqrt {3}} \left (-1+x^3+x^6\right )^{2/3}}{2 \left (-1+i \sqrt {3}\right ) \left (\sqrt {1-i \sqrt {3}}-\sqrt {2} x^3\right )}+\frac {\sqrt {1-i \sqrt {3}} \left (-1+x^3+x^6\right )^{2/3}}{2 \left (-1+i \sqrt {3}\right ) \left (\sqrt {1-i \sqrt {3}}+\sqrt {2} x^3\right )}\right ) \, dx\\ &=-\frac {\left (1-i \sqrt {3}\right ) \int \frac {\left (-1+x^3+x^6\right )^{2/3}}{\sqrt {1+i \sqrt {3}}-\sqrt {2} x^3} \, dx}{2 \sqrt {1+i \sqrt {3}}}-\frac {\left (1-i \sqrt {3}\right ) \int \frac {\left (-1+x^3+x^6\right )^{2/3}}{\sqrt {1+i \sqrt {3}}+\sqrt {2} x^3} \, dx}{2 \sqrt {1+i \sqrt {3}}}-\frac {\left (1+i \sqrt {3}\right ) \int \frac {\left (-1+x^3+x^6\right )^{2/3}}{\sqrt {1-i \sqrt {3}}-\sqrt {2} x^3} \, dx}{2 \sqrt {1-i \sqrt {3}}}-\frac {\left (1+i \sqrt {3}\right ) \int \frac {\left (-1+x^3+x^6\right )^{2/3}}{\sqrt {1-i \sqrt {3}}+\sqrt {2} x^3} \, dx}{2 \sqrt {1-i \sqrt {3}}}\\ \end {align*}
________________________________________________________________________________________
Mathematica [F] time = 0.49, size = 0, normalized size = 0.00 \begin {gather*} \int \frac {\left (1+x^6\right ) \left (-1+x^3+x^6\right )^{2/3}}{1-x^6+x^{12}} \, dx \end {gather*}
Verification is not applicable to the result.
[In]
[Out]
________________________________________________________________________________________
IntegrateAlgebraic [A] time = 0.00, size = 61, normalized size = 1.00 \begin {gather*} \frac {1}{6} \text {RootSum}\left [2-2 \text {$\#$1}^3+\text {$\#$1}^6\&,\frac {-\log (x) \text {$\#$1}^2+\log \left (\sqrt [3]{-1+x^3+x^6}-x \text {$\#$1}\right ) \text {$\#$1}^2}{-1+\text {$\#$1}^3}\&\right ] \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
fricas [B] time = 33.07, size = 583, normalized size = 9.56 \begin {gather*} \frac {1}{18} \cdot 4^{\frac {1}{6}} \sqrt {3} \left (-1\right )^{\frac {1}{3}} \arctan \left (\frac {4^{\frac {1}{6}} {\left (6 \cdot 4^{\frac {2}{3}} \sqrt {3} \left (-1\right )^{\frac {2}{3}} {\left (x^{31} - 14 \, x^{28} - 75 \, x^{25} + 82 \, x^{22} + 293 \, x^{19} - 132 \, x^{16} - 293 \, x^{13} + 82 \, x^{10} + 75 \, x^{7} - 14 \, x^{4} - x\right )} {\left (x^{6} + x^{3} - 1\right )}^{\frac {2}{3}} - 12 \, \sqrt {3} \left (-1\right )^{\frac {1}{3}} {\left (3 \, x^{32} + 49 \, x^{29} - 51 \, x^{26} - 344 \, x^{23} + 99 \, x^{20} + 609 \, x^{17} - 99 \, x^{14} - 344 \, x^{11} + 51 \, x^{8} + 49 \, x^{5} - 3 \, x^{2}\right )} {\left (x^{6} + x^{3} - 1\right )}^{\frac {1}{3}} + 4^{\frac {1}{3}} \sqrt {3} {\left (x^{36} + 54 \, x^{33} - 129 \, x^{30} - 846 \, x^{27} + 258 \, x^{24} + 2502 \, x^{21} - 169 \, x^{18} - 2502 \, x^{15} + 258 \, x^{12} + 846 \, x^{9} - 129 \, x^{6} - 54 \, x^{3} + 1\right )}\right )}}{6 \, {\left (x^{36} - 54 \, x^{33} - 489 \, x^{30} + 270 \, x^{27} + 2922 \, x^{24} - 54 \, x^{21} - 4921 \, x^{18} + 54 \, x^{15} + 2922 \, x^{12} - 270 \, x^{9} - 489 \, x^{6} + 54 \, x^{3} + 1\right )}}\right ) + \frac {1}{36} \cdot 4^{\frac {2}{3}} \left (-1\right )^{\frac {1}{3}} \log \left (\frac {3 \cdot 4^{\frac {2}{3}} \left (-1\right )^{\frac {1}{3}} {\left (x^{7} + 4 \, x^{4} - x\right )} {\left (x^{6} + x^{3} - 1\right )}^{\frac {2}{3}} - 4^{\frac {1}{3}} \left (-1\right )^{\frac {2}{3}} {\left (x^{12} + 18 \, x^{9} + 17 \, x^{6} - 18 \, x^{3} + 1\right )} - 6 \, {\left (3 \, x^{8} + 5 \, x^{5} - 3 \, x^{2}\right )} {\left (x^{6} + x^{3} - 1\right )}^{\frac {1}{3}}}{x^{12} - x^{6} + 1}\right ) - \frac {1}{72} \cdot 4^{\frac {2}{3}} \left (-1\right )^{\frac {1}{3}} \log \left (\frac {6 \cdot 4^{\frac {1}{3}} \left (-1\right )^{\frac {2}{3}} {\left (3 \, x^{20} - 5 \, x^{17} - 12 \, x^{14} + 11 \, x^{11} + 12 \, x^{8} - 5 \, x^{5} - 3 \, x^{2}\right )} {\left (x^{6} + x^{3} - 1\right )}^{\frac {1}{3}} - 4^{\frac {2}{3}} \left (-1\right )^{\frac {1}{3}} {\left (x^{24} - 18 \, x^{21} - 2 \, x^{18} + 72 \, x^{15} + 3 \, x^{12} - 72 \, x^{9} - 2 \, x^{6} + 18 \, x^{3} + 1\right )} - 12 \, {\left (x^{19} - 5 \, x^{16} - 2 \, x^{13} + 11 \, x^{10} + 2 \, x^{7} - 5 \, x^{4} - x\right )} {\left (x^{6} + x^{3} - 1\right )}^{\frac {2}{3}}}{x^{24} - 2 \, x^{18} + 3 \, x^{12} - 2 \, x^{6} + 1}\right ) \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
giac [F] time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \int \frac {{\left (x^{6} + x^{3} - 1\right )}^{\frac {2}{3}} {\left (x^{6} + 1\right )}}{x^{12} - x^{6} + 1}\,{d x} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
maple [B] time = 21.16, size = 1958, normalized size = 32.10
method | result | size |
trager | \(\text {Expression too large to display}\) | \(1958\) |
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*} \int \frac {{\left (x^{6} + x^{3} - 1\right )}^{\frac {2}{3}} {\left (x^{6} + 1\right )}}{x^{12} - x^{6} + 1}\,{d x} \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 {\left (x^6+1\right )\,{\left (x^6+x^3-1\right )}^{2/3}}{x^{12}-x^6+1} \,d x \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
sympy [F(-1)] time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {Timed out} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________