Optimal. Leaf size=174 \[ -\frac {\left (-1+x^3\right )^{2/3}}{x^2}-\frac {1}{2} \sqrt {3} \text {ArcTan}\left (\frac {\sqrt {3} x}{-x+2 \sqrt [3]{-1+x^3}}\right )+\frac {\text {ArcTan}\left (\frac {\sqrt {3} x}{x+2 \sqrt [3]{-1+x^3}}\right )}{2 \sqrt {3}}-\frac {1}{6} \log \left (-x+\sqrt [3]{-1+x^3}\right )-\frac {1}{2} \log \left (x+\sqrt [3]{-1+x^3}\right )+\frac {1}{4} \log \left (x^2-x \sqrt [3]{-1+x^3}+\left (-1+x^3\right )^{2/3}\right )+\frac {1}{12} \log \left (x^2+x \sqrt [3]{-1+x^3}+\left (-1+x^3\right )^{2/3}\right ) \]
[Out]
________________________________________________________________________________________
Rubi [A]
time = 0.04, antiderivative size = 125, normalized size of antiderivative = 0.72, number of steps
used = 4, number of rules used = 4, integrand size = 27, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.148, Rules used = {594, 544, 245,
384} \begin {gather*} \frac {1}{2} \sqrt {3} \text {ArcTan}\left (\frac {1-\frac {2 x}{\sqrt [3]{x^3-1}}}{\sqrt {3}}\right )+\frac {\text {ArcTan}\left (\frac {\frac {2 x}{\sqrt [3]{x^3-1}}+1}{\sqrt {3}}\right )}{2 \sqrt {3}}+\frac {1}{4} \log \left (2 x^3-1\right )-\frac {3}{4} \log \left (-\sqrt [3]{x^3-1}-x\right )-\frac {1}{4} \log \left (\sqrt [3]{x^3-1}-x\right )-\frac {\left (x^3-1\right )^{2/3}}{x^2} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
Rule 245
Rule 384
Rule 544
Rule 594
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} \text {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} \text {Subst}\left (\int \frac {1}{-1-x} \, dx,x,\frac {x}{\sqrt [3]{-1+x^3}}\right )+\frac {1}{2} \text {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} \text {Subst}\left (\int \frac {-1+2 x}{1-x+x^2} \, dx,x,\frac {x}{\sqrt [3]{-1+x^3}}\right )-\frac {3}{4} \text {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} \text {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 [A]
time = 0.21, size = 162, normalized size = 0.93 \begin {gather*} \frac {1}{12} \left (-\frac {12 \left (-1+x^3\right )^{2/3}}{x^2}+6 \sqrt {3} \text {ArcTan}\left (\frac {\sqrt {3} x}{x-2 \sqrt [3]{-1+x^3}}\right )+2 \sqrt {3} \text {ArcTan}\left (\frac {\sqrt {3} x}{x+2 \sqrt [3]{-1+x^3}}\right )-2 \log \left (-x+\sqrt [3]{-1+x^3}\right )-6 \log \left (x+\sqrt [3]{-1+x^3}\right )+3 \log \left (x^2-x \sqrt [3]{-1+x^3}+\left (-1+x^3\right )^{2/3}\right )+\log \left (x^2+x \sqrt [3]{-1+x^3}+\left (-1+x^3\right )^{2/3}\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 = 14.42, size = 836, normalized size = 4.80
method | result | size |
trager | \(\text {Expression too large to display}\) | \(836\) |
risch | \(\text {Expression too large to display}\) | \(1199\) |
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 = 3.29, 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]
________________________________________________________________________________________
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} \cdot \left (2 x^{3} - 1\right )}\, dx \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*} \text {could not integrate} \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]
________________________________________________________________________________________