Optimal. Leaf size=174 \[ -\frac {1}{6} \log \left (\sqrt [3]{x^3-1}-x\right )-\frac {1}{2} \log \left (\sqrt [3]{x^3-1}+x\right )-\frac {1}{2} \sqrt {3} \tan ^{-1}\left (\frac {\sqrt {3} x}{2 \sqrt [3]{x^3-1}-x}\right )+\frac {\tan ^{-1}\left (\frac {\sqrt {3} x}{2 \sqrt [3]{x^3-1}+x}\right )}{2 \sqrt {3}}-\frac {\left (x^3-1\right )^{2/3}}{x^2}+\frac {1}{4} \log \left (-\sqrt [3]{x^3-1} x+\left (x^3-1\right )^{2/3}+x^2\right )+\frac {1}{12} \log \left (\sqrt [3]{x^3-1} x+\left (x^3-1\right )^{2/3}+x^2\right ) \]
________________________________________________________________________________________
Rubi [A] time = 0.10, antiderivative size = 143, normalized size of antiderivative = 0.82, number of steps used = 10, number of rules used = 10, integrand size = 27, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.370, Rules used = {580, 530, 239, 377, 200, 31, 634, 618, 204, 628} \begin {gather*} -\frac {1}{2} \log \left (\frac {x}{\sqrt [3]{x^3-1}}+1\right )-\frac {1}{4} \log \left (\sqrt [3]{x^3-1}-x\right )+\frac {1}{2} \sqrt {3} \tan ^{-1}\left (\frac {1-\frac {2 x}{\sqrt [3]{x^3-1}}}{\sqrt {3}}\right )+\frac {\tan ^{-1}\left (\frac {\frac {2 x}{\sqrt [3]{x^3-1}}+1}{\sqrt {3}}\right )}{2 \sqrt {3}}-\frac {\left (x^3-1\right )^{2/3}}{x^2}+\frac {1}{4} \log \left (-\frac {x}{\sqrt [3]{x^3-1}}+\frac {x^2}{\left (x^3-1\right )^{2/3}}+1\right ) \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
Rule 31
Rule 200
Rule 204
Rule 239
Rule 377
Rule 530
Rule 580
Rule 618
Rule 628
Rule 634
Rubi steps
\begin {align*} \int \frac {\left (-2+x^3\right ) \left (-1+x^3\right )^{2/3}}{x^3 \left (-1+2 x^3\right )} \, dx &=-\frac {\left (-1+x^3\right )^{2/3}}{x^2}-\frac {1}{2} \int \frac {-2-2 x^3}{\sqrt [3]{-1+x^3} \left (-1+2 x^3\right )} \, dx\\ &=-\frac {\left (-1+x^3\right )^{2/3}}{x^2}+\frac {1}{2} \int \frac {1}{\sqrt [3]{-1+x^3}} \, dx+\frac {3}{2} \int \frac {1}{\sqrt [3]{-1+x^3} \left (-1+2 x^3\right )} \, dx\\ &=-\frac {\left (-1+x^3\right )^{2/3}}{x^2}+\frac {\tan ^{-1}\left (\frac {1+\frac {2 x}{\sqrt [3]{-1+x^3}}}{\sqrt {3}}\right )}{2 \sqrt {3}}-\frac {1}{4} \log \left (-x+\sqrt [3]{-1+x^3}\right )+\frac {3}{2} \operatorname {Subst}\left (\int \frac {1}{-1-x^3} \, dx,x,\frac {x}{\sqrt [3]{-1+x^3}}\right )\\ &=-\frac {\left (-1+x^3\right )^{2/3}}{x^2}+\frac {\tan ^{-1}\left (\frac {1+\frac {2 x}{\sqrt [3]{-1+x^3}}}{\sqrt {3}}\right )}{2 \sqrt {3}}-\frac {1}{4} \log \left (-x+\sqrt [3]{-1+x^3}\right )+\frac {1}{2} \operatorname {Subst}\left (\int \frac {1}{-1-x} \, dx,x,\frac {x}{\sqrt [3]{-1+x^3}}\right )+\frac {1}{2} \operatorname {Subst}\left (\int \frac {-2+x}{1-x+x^2} \, dx,x,\frac {x}{\sqrt [3]{-1+x^3}}\right )\\ &=-\frac {\left (-1+x^3\right )^{2/3}}{x^2}+\frac {\tan ^{-1}\left (\frac {1+\frac {2 x}{\sqrt [3]{-1+x^3}}}{\sqrt {3}}\right )}{2 \sqrt {3}}-\frac {1}{2} \log \left (1+\frac {x}{\sqrt [3]{-1+x^3}}\right )-\frac {1}{4} \log \left (-x+\sqrt [3]{-1+x^3}\right )+\frac {1}{4} \operatorname {Subst}\left (\int \frac {-1+2 x}{1-x+x^2} \, dx,x,\frac {x}{\sqrt [3]{-1+x^3}}\right )-\frac {3}{4} \operatorname {Subst}\left (\int \frac {1}{1-x+x^2} \, dx,x,\frac {x}{\sqrt [3]{-1+x^3}}\right )\\ &=-\frac {\left (-1+x^3\right )^{2/3}}{x^2}+\frac {\tan ^{-1}\left (\frac {1+\frac {2 x}{\sqrt [3]{-1+x^3}}}{\sqrt {3}}\right )}{2 \sqrt {3}}+\frac {1}{4} \log \left (1+\frac {x^2}{\left (-1+x^3\right )^{2/3}}-\frac {x}{\sqrt [3]{-1+x^3}}\right )-\frac {1}{2} \log \left (1+\frac {x}{\sqrt [3]{-1+x^3}}\right )-\frac {1}{4} \log \left (-x+\sqrt [3]{-1+x^3}\right )+\frac {3}{2} \operatorname {Subst}\left (\int \frac {1}{-3-x^2} \, dx,x,-1+\frac {2 x}{\sqrt [3]{-1+x^3}}\right )\\ &=-\frac {\left (-1+x^3\right )^{2/3}}{x^2}+\frac {1}{2} \sqrt {3} \tan ^{-1}\left (\frac {1-\frac {2 x}{\sqrt [3]{-1+x^3}}}{\sqrt {3}}\right )+\frac {\tan ^{-1}\left (\frac {1+\frac {2 x}{\sqrt [3]{-1+x^3}}}{\sqrt {3}}\right )}{2 \sqrt {3}}+\frac {1}{4} \log \left (1+\frac {x^2}{\left (-1+x^3\right )^{2/3}}-\frac {x}{\sqrt [3]{-1+x^3}}\right )-\frac {1}{2} \log \left (1+\frac {x}{\sqrt [3]{-1+x^3}}\right )-\frac {1}{4} \log \left (-x+\sqrt [3]{-1+x^3}\right )\\ \end {align*}
________________________________________________________________________________________
Mathematica [C] time = 0.24, size = 146, normalized size = 0.84 \begin {gather*} \frac {1}{6} \left (-2 \log \left (\frac {x}{\sqrt [3]{1-x^3}}+1\right )-2 \sqrt {3} \tan ^{-1}\left (\frac {\frac {2 x}{\sqrt [3]{1-x^3}}-1}{\sqrt {3}}\right )-\frac {6 \left (x^3-1\right )^{2/3}}{x^2}+\log \left (-\frac {x}{\sqrt [3]{1-x^3}}+\frac {x^2}{\left (1-x^3\right )^{2/3}}+1\right )\right )-\frac {x^4 \sqrt [3]{1-x^3} F_1\left (\frac {4}{3};\frac {1}{3},1;\frac {7}{3};x^3,2 x^3\right )}{4 \sqrt [3]{x^3-1}} \end {gather*}
Warning: Unable to verify antiderivative.
[In]
[Out]
________________________________________________________________________________________
IntegrateAlgebraic [A] time = 0.27, size = 174, normalized size = 1.00 \begin {gather*} -\frac {1}{6} \log \left (\sqrt [3]{x^3-1}-x\right )-\frac {1}{2} \log \left (\sqrt [3]{x^3-1}+x\right )-\frac {1}{2} \sqrt {3} \tan ^{-1}\left (\frac {\sqrt {3} x}{2 \sqrt [3]{x^3-1}-x}\right )+\frac {\tan ^{-1}\left (\frac {\sqrt {3} x}{2 \sqrt [3]{x^3-1}+x}\right )}{2 \sqrt {3}}-\frac {\left (x^3-1\right )^{2/3}}{x^2}+\frac {1}{4} \log \left (-\sqrt [3]{x^3-1} x+\left (x^3-1\right )^{2/3}+x^2\right )+\frac {1}{12} \log \left (\sqrt [3]{x^3-1} x+\left (x^3-1\right )^{2/3}+x^2\right ) \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
fricas [A] time = 6.68, size = 214, normalized size = 1.23 \begin {gather*} \frac {2 \, \sqrt {3} x^{2} \arctan \left (\frac {383838 \, \sqrt {3} {\left (x^{10} - 3 \, x^{4} - 2 \, x\right )} {\left (x^{3} - 1\right )}^{\frac {2}{3}} + 13468 \, \sqrt {3} {\left (x^{11} - 3 \, x^{8} + 4 \, x^{2}\right )} {\left (x^{3} - 1\right )}^{\frac {1}{3}} + \sqrt {3} {\left (198653 \, x^{12} + 393594 \, x^{9} + 5568 \, x^{6} - 400090 \, x^{3} - 198189\right )}}{3 \, {\left (185185 \, x^{12} + 370434 \, x^{9} - 96 \, x^{6} - 370322 \, x^{3} - 185193\right )}}\right ) - x^{2} \log \left (\frac {8 \, x^{9} - 12 \, x^{6} + 6 \, x^{3} - 3 \, {\left (x^{10} - 3 \, x^{4} - 2 \, x\right )} {\left (x^{3} - 1\right )}^{\frac {2}{3}} + 3 \, {\left (x^{11} - 3 \, x^{8} + 4 \, x^{2}\right )} {\left (x^{3} - 1\right )}^{\frac {1}{3}} - 1}{8 \, x^{9} - 12 \, x^{6} + 6 \, x^{3} - 1}\right ) - 12 \, {\left (x^{3} - 1\right )}^{\frac {2}{3}}}{12 \, 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^{3} - 1\right )}^{\frac {2}{3}} {\left (x^{3} - 2\right )}}{{\left (2 \, x^{3} - 1\right )} x^{3}}\,{d x} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
maple [C] time = 8.05, size = 801, normalized size = 4.60
result too large to display
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^{3} - 1\right )}^{\frac {2}{3}} {\left (x^{3} - 2\right )}}{{\left (2 \, x^{3} - 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^3-1\right )}^{2/3}\,\left (x^3-2\right )}{x^3\,\left (2\,x^3-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 (\left (x - 1\right ) \left (x^{2} + x + 1\right )\right )^{\frac {2}{3}} \left (x^{3} - 2\right )}{x^{3} \left (2 x^{3} - 1\right )}\, dx \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________