Optimal. Leaf size=119 \[ \frac {1}{3} \log \left (\sqrt [3]{x^6-x^3-1}+x\right )+\frac {\tan ^{-1}\left (\frac {\sqrt {3} x}{2 \sqrt [3]{x^6-x^3-1}-x}\right )}{\sqrt {3}}+\frac {\left (x^6-x^3-1\right )^{2/3}}{2 x^2}-\frac {1}{6} \log \left (x^2-\sqrt [3]{x^6-x^3-1} x+\left (x^6-x^3-1\right )^{2/3}\right ) \]
________________________________________________________________________________________
Rubi [F] time = 1.54, 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}}{x^3 \left (-1+x^6\right )} \, 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}}{x^3 \left (-1+x^6\right )} \, dx &=\int \left (-\frac {\left (-1-x^3+x^6\right )^{2/3}}{x^3}+\frac {2 x \left (-1-x^3+x^6\right )^{2/3}}{3 \left (-1+x^2\right )}+\frac {(2-x) \left (-1-x^3+x^6\right )^{2/3}}{3 \left (1-x+x^2\right )}+\frac {(-2-x) \left (-1-x^3+x^6\right )^{2/3}}{3 \left (1+x+x^2\right )}\right ) \, dx\\ &=\frac {1}{3} \int \frac {(2-x) \left (-1-x^3+x^6\right )^{2/3}}{1-x+x^2} \, dx+\frac {1}{3} \int \frac {(-2-x) \left (-1-x^3+x^6\right )^{2/3}}{1+x+x^2} \, dx+\frac {2}{3} \int \frac {x \left (-1-x^3+x^6\right )^{2/3}}{-1+x^2} \, dx-\int \frac {\left (-1-x^3+x^6\right )^{2/3}}{x^3} \, dx\\ &=\frac {1}{3} \int \left (\frac {\left (-1-i \sqrt {3}\right ) \left (-1-x^3+x^6\right )^{2/3}}{-1-i \sqrt {3}+2 x}+\frac {\left (-1+i \sqrt {3}\right ) \left (-1-x^3+x^6\right )^{2/3}}{-1+i \sqrt {3}+2 x}\right ) \, dx+\frac {1}{3} \int \left (\frac {\left (-1+i \sqrt {3}\right ) \left (-1-x^3+x^6\right )^{2/3}}{1-i \sqrt {3}+2 x}+\frac {\left (-1-i \sqrt {3}\right ) \left (-1-x^3+x^6\right )^{2/3}}{1+i \sqrt {3}+2 x}\right ) \, dx+\frac {2}{3} \int \left (\frac {\left (-1-x^3+x^6\right )^{2/3}}{2 (-1+x)}+\frac {\left (-1-x^3+x^6\right )^{2/3}}{2 (1+x)}\right ) \, dx-\frac {\left (-1-x^3+x^6\right )^{2/3} \int \frac {\left (1+\frac {2 x^3}{-1-\sqrt {5}}\right )^{2/3} \left (1+\frac {2 x^3}{-1+\sqrt {5}}\right )^{2/3}}{x^3} \, dx}{\left (1+\frac {2 x^3}{-1-\sqrt {5}}\right )^{2/3} \left (1+\frac {2 x^3}{-1+\sqrt {5}}\right )^{2/3}}\\ &=\frac {\left (-1-x^3+x^6\right )^{2/3} F_1\left (-\frac {2}{3};-\frac {2}{3},-\frac {2}{3};\frac {1}{3};\frac {2 x^3}{1+\sqrt {5}},\frac {2 x^3}{1-\sqrt {5}}\right )}{2 x^2 \left (1-\frac {2 x^3}{1-\sqrt {5}}\right )^{2/3} \left (1-\frac {2 x^3}{1+\sqrt {5}}\right )^{2/3}}+\frac {1}{3} \int \frac {\left (-1-x^3+x^6\right )^{2/3}}{-1+x} \, dx+\frac {1}{3} \int \frac {\left (-1-x^3+x^6\right )^{2/3}}{1+x} \, dx+\frac {1}{3} \left (-1-i \sqrt {3}\right ) \int \frac {\left (-1-x^3+x^6\right )^{2/3}}{-1-i \sqrt {3}+2 x} \, dx+\frac {1}{3} \left (-1-i \sqrt {3}\right ) \int \frac {\left (-1-x^3+x^6\right )^{2/3}}{1+i \sqrt {3}+2 x} \, dx+\frac {1}{3} \left (-1+i \sqrt {3}\right ) \int \frac {\left (-1-x^3+x^6\right )^{2/3}}{1-i \sqrt {3}+2 x} \, dx+\frac {1}{3} \left (-1+i \sqrt {3}\right ) \int \frac {\left (-1-x^3+x^6\right )^{2/3}}{-1+i \sqrt {3}+2 x} \, dx\\ \end {align*}
________________________________________________________________________________________
Mathematica [F] time = 0.56, size = 0, normalized size = 0.00 \begin {gather*} \int \frac {\left (1+x^6\right ) \left (-1-x^3+x^6\right )^{2/3}}{x^3 \left (-1+x^6\right )} \, dx \end {gather*}
Verification is not applicable to the result.
[In]
[Out]
________________________________________________________________________________________
IntegrateAlgebraic [A] time = 0.33, size = 119, normalized size = 1.00 \begin {gather*} \frac {\left (-1-x^3+x^6\right )^{2/3}}{2 x^2}+\frac {\tan ^{-1}\left (\frac {\sqrt {3} x}{-x+2 \sqrt [3]{-1-x^3+x^6}}\right )}{\sqrt {3}}+\frac {1}{3} \log \left (x+\sqrt [3]{-1-x^3+x^6}\right )-\frac {1}{6} \log \left (x^2-x \sqrt [3]{-1-x^3+x^6}+\left (-1-x^3+x^6\right )^{2/3}\right ) \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
fricas [A] time = 14.97, size = 149, normalized size = 1.25 \begin {gather*} \frac {2 \, \sqrt {3} x^{2} \arctan \left (\frac {37791663946489640698390389259748112672665344841760398436632573406805797258440392514 \, \sqrt {3} {\left (x^{6} - x^{3} - 1\right )}^{\frac {1}{3}} x^{2} + 42616282523552719904247910491772924807300791980535303720609605641285532900565158554 \, \sqrt {3} {\left (x^{6} - x^{3} - 1\right )}^{\frac {2}{3}} x + \sqrt {3} {\left (18323047168343312092760155949313307647509257018220563551640555707801529868232673857 \, x^{6} + 2412309288531539602928760616012406067317723569387452641988516117239867821062383020 \, x^{3} - 18323047168343312092760155949313307647509257018220563551640555707801529868232673857\right )}}{71058247355948940593342690344230822422479089551095495524443013398313353987294270891 \, x^{6} - 120611919705063540903957449627281556219949205233443553235863268572136995238508326602 \, x^{3} - 71058247355948940593342690344230822422479089551095495524443013398313353987294270891}\right ) + x^{2} \log \left (\frac {x^{6} + 3 \, {\left (x^{6} - x^{3} - 1\right )}^{\frac {1}{3}} x^{2} + 3 \, {\left (x^{6} - x^{3} - 1\right )}^{\frac {2}{3}} x - 1}{x^{6} - 1}\right ) + 3 \, {\left (x^{6} - x^{3} - 1\right )}^{\frac {2}{3}}}{6 \, x^{2}} \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 )}}{{\left (x^{6} - 1\right )} x^{3}}\,{d x} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
maple [C] time = 19.67, size = 554, normalized size = 4.66
method | result | size |
risch | \(\frac {\left (x^{6}-x^{3}-1\right )^{\frac {2}{3}}}{2 x^{2}}-\frac {\ln \left (-\frac {-3 \RootOf \left (9 \textit {\_Z}^{2}+3 \textit {\_Z} +1\right ) x^{6}-x^{6}-9 \RootOf \left (9 \textit {\_Z}^{2}+3 \textit {\_Z} +1\right )^{2} x^{3}+3 \left (x^{6}-x^{3}-1\right )^{\frac {2}{3}} \RootOf \left (9 \textit {\_Z}^{2}+3 \textit {\_Z} +1\right ) x -3 \RootOf \left (9 \textit {\_Z}^{2}+3 \textit {\_Z} +1\right ) \left (x^{6}-x^{3}-1\right )^{\frac {1}{3}} x^{2}+2 \left (x^{6}-x^{3}-1\right )^{\frac {2}{3}} x -2 \left (x^{6}-x^{3}-1\right )^{\frac {1}{3}} x^{2}+x^{3}+3 \RootOf \left (9 \textit {\_Z}^{2}+3 \textit {\_Z} +1\right )+1}{\left (-1+x \right ) \left (x^{2}+x +1\right ) \left (1+x \right ) \left (x^{2}-x +1\right )}\right )}{3}-\ln \left (-\frac {-3 \RootOf \left (9 \textit {\_Z}^{2}+3 \textit {\_Z} +1\right ) x^{6}-x^{6}-9 \RootOf \left (9 \textit {\_Z}^{2}+3 \textit {\_Z} +1\right )^{2} x^{3}+3 \left (x^{6}-x^{3}-1\right )^{\frac {2}{3}} \RootOf \left (9 \textit {\_Z}^{2}+3 \textit {\_Z} +1\right ) x -3 \RootOf \left (9 \textit {\_Z}^{2}+3 \textit {\_Z} +1\right ) \left (x^{6}-x^{3}-1\right )^{\frac {1}{3}} x^{2}+2 \left (x^{6}-x^{3}-1\right )^{\frac {2}{3}} x -2 \left (x^{6}-x^{3}-1\right )^{\frac {1}{3}} x^{2}+x^{3}+3 \RootOf \left (9 \textit {\_Z}^{2}+3 \textit {\_Z} +1\right )+1}{\left (-1+x \right ) \left (x^{2}+x +1\right ) \left (1+x \right ) \left (x^{2}-x +1\right )}\right ) \RootOf \left (9 \textit {\_Z}^{2}+3 \textit {\_Z} +1\right )+\RootOf \left (9 \textit {\_Z}^{2}+3 \textit {\_Z} +1\right ) \ln \left (-\frac {-6 \RootOf \left (9 \textit {\_Z}^{2}+3 \textit {\_Z} +1\right ) x^{6}-x^{6}+18 \RootOf \left (9 \textit {\_Z}^{2}+3 \textit {\_Z} +1\right )^{2} x^{3}+9 \left (x^{6}-x^{3}-1\right )^{\frac {2}{3}} \RootOf \left (9 \textit {\_Z}^{2}+3 \textit {\_Z} +1\right ) x -9 \RootOf \left (9 \textit {\_Z}^{2}+3 \textit {\_Z} +1\right ) \left (x^{6}-x^{3}-1\right )^{\frac {1}{3}} x^{2}+15 \RootOf \left (9 \textit {\_Z}^{2}+3 \textit {\_Z} +1\right ) x^{3}+2 x^{3}+6 \RootOf \left (9 \textit {\_Z}^{2}+3 \textit {\_Z} +1\right )+1}{\left (-1+x \right ) \left (x^{2}+x +1\right ) \left (1+x \right ) \left (x^{2}-x +1\right )}\right )\) | \(554\) |
trager | \(\frac {\left (x^{6}-x^{3}-1\right )^{\frac {2}{3}}}{2 x^{2}}+\frac {\ln \left (\frac {-52381306816671365032443820416 \RootOf \left (144 \textit {\_Z}^{2}+12 \textit {\_Z} +1\right )^{2} x^{6}+6321152051824005595778093916 \RootOf \left (144 \textit {\_Z}^{2}+12 \textit {\_Z} +1\right ) x^{6}+9460641135004029091636028597 x^{6}+412502791181286999630495085776 \RootOf \left (144 \textit {\_Z}^{2}+12 \textit {\_Z} +1\right )^{2} x^{3}+128579063474650915534151073816 \RootOf \left (144 \textit {\_Z}^{2}+12 \textit {\_Z} +1\right ) \left (x^{6}-x^{3}-1\right )^{\frac {2}{3}} x +225099344089661973022856910780 \left (x^{6}-x^{3}-1\right )^{\frac {1}{3}} \RootOf \left (144 \textit {\_Z}^{2}+12 \textit {\_Z} +1\right ) x^{2}+130895513213451640791247094112 \RootOf \left (144 \textit {\_Z}^{2}+12 \textit {\_Z} +1\right ) x^{3}+18758278674138497751904742565 \left (x^{6}-x^{3}-1\right )^{\frac {2}{3}} x +8043356717917588124058819747 \left (x^{6}-x^{3}-1\right )^{\frac {1}{3}} x^{2}-7850319239684194352634151389 x^{3}+52381306816671365032443820416 \RootOf \left (144 \textit {\_Z}^{2}+12 \textit {\_Z} +1\right )^{2}-6321152051824005595778093916 \RootOf \left (144 \textit {\_Z}^{2}+12 \textit {\_Z} +1\right )-9460641135004029091636028597}{\left (-1+x \right ) \left (x^{2}+x +1\right ) \left (1+x \right ) \left (x^{2}-x +1\right )}\right )}{3}-\frac {\ln \left (-\frac {179505046109384837383826497536 \RootOf \left (144 \textit {\_Z}^{2}+12 \textit {\_Z} +1\right )^{2} x^{6}+122165295410673079952506457376 \RootOf \left (144 \textit {\_Z}^{2}+12 \textit {\_Z} +1\right ) x^{6}+11070963030323863830637905805 x^{6}-1413602238111405594397633668096 \RootOf \left (144 \textit {\_Z}^{2}+12 \textit {\_Z} +1\right )^{2} x^{3}+128579063474650915534151073816 \RootOf \left (144 \textit {\_Z}^{2}+12 \textit {\_Z} +1\right ) \left (x^{6}-x^{3}-1\right )^{\frac {2}{3}} x -96520280615011057488705836964 \left (x^{6}-x^{3}-1\right )^{\frac {1}{3}} \RootOf \left (144 \textit {\_Z}^{2}+12 \textit {\_Z} +1\right ) x^{2}-342899530598945772555993049788 \RootOf \left (144 \textit {\_Z}^{2}+12 \textit {\_Z} +1\right ) x^{3}-8043356717917588124058819747 \left (x^{6}-x^{3}-1\right )^{\frac {2}{3}} x -18758278674138497751904742565 \left (x^{6}-x^{3}-1\right )^{\frac {1}{3}} x^{2}-20531604165327892922273934402 x^{3}-179505046109384837383826497536 \RootOf \left (144 \textit {\_Z}^{2}+12 \textit {\_Z} +1\right )^{2}-122165295410673079952506457376 \RootOf \left (144 \textit {\_Z}^{2}+12 \textit {\_Z} +1\right )-11070963030323863830637905805}{\left (-1+x \right ) \left (x^{2}+x +1\right ) \left (1+x \right ) \left (x^{2}-x +1\right )}\right )}{3}-4 \ln \left (-\frac {179505046109384837383826497536 \RootOf \left (144 \textit {\_Z}^{2}+12 \textit {\_Z} +1\right )^{2} x^{6}+122165295410673079952506457376 \RootOf \left (144 \textit {\_Z}^{2}+12 \textit {\_Z} +1\right ) x^{6}+11070963030323863830637905805 x^{6}-1413602238111405594397633668096 \RootOf \left (144 \textit {\_Z}^{2}+12 \textit {\_Z} +1\right )^{2} x^{3}+128579063474650915534151073816 \RootOf \left (144 \textit {\_Z}^{2}+12 \textit {\_Z} +1\right ) \left (x^{6}-x^{3}-1\right )^{\frac {2}{3}} x -96520280615011057488705836964 \left (x^{6}-x^{3}-1\right )^{\frac {1}{3}} \RootOf \left (144 \textit {\_Z}^{2}+12 \textit {\_Z} +1\right ) x^{2}-342899530598945772555993049788 \RootOf \left (144 \textit {\_Z}^{2}+12 \textit {\_Z} +1\right ) x^{3}-8043356717917588124058819747 \left (x^{6}-x^{3}-1\right )^{\frac {2}{3}} x -18758278674138497751904742565 \left (x^{6}-x^{3}-1\right )^{\frac {1}{3}} x^{2}-20531604165327892922273934402 x^{3}-179505046109384837383826497536 \RootOf \left (144 \textit {\_Z}^{2}+12 \textit {\_Z} +1\right )^{2}-122165295410673079952506457376 \RootOf \left (144 \textit {\_Z}^{2}+12 \textit {\_Z} +1\right )-11070963030323863830637905805}{\left (-1+x \right ) \left (x^{2}+x +1\right ) \left (1+x \right ) \left (x^{2}-x +1\right )}\right ) \RootOf \left (144 \textit {\_Z}^{2}+12 \textit {\_Z} +1\right )\) | \(710\) |
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 )}}{{\left (x^{6} - 1\right )} x^{3}}\,{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.01 \begin {gather*} \int \frac {\left (x^6+1\right )\,{\left (x^6-x^3-1\right )}^{2/3}}{x^3\,\left (x^6-1\right )} \,d x \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 {\left (x^{2} + 1\right ) \left (x^{4} - x^{2} + 1\right ) \left (x^{6} - x^{3} - 1\right )^{\frac {2}{3}}}{x^{3} \left (x - 1\right ) \left (x + 1\right ) \left (x^{2} - x + 1\right ) \left (x^{2} + x + 1\right )}\, dx \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________