Optimal. Leaf size=206 \[ \frac {\log \left (3^{2/3} \sqrt [3]{81 x^4-135 x^3+54 x^2+12 x-8}-9 x+6\right )}{3 \sqrt [3]{3}}-\frac {\log \left (27 x^2+\sqrt [3]{3} \left (81 x^4-135 x^3+54 x^2+12 x-8\right )^{2/3}+\left (3\ 3^{2/3} x-2\ 3^{2/3}\right ) \sqrt [3]{81 x^4-135 x^3+54 x^2+12 x-8}-36 x+12\right )}{6 \sqrt [3]{3}}-\frac {\tan ^{-1}\left (\frac {3\ 3^{5/6} x-2\ 3^{5/6}}{2 \sqrt [3]{81 x^4-135 x^3+54 x^2+12 x-8}+3 \sqrt [3]{3} x-2 \sqrt [3]{3}}\right )}{3^{5/6}} \]
________________________________________________________________________________________
Rubi [A] time = 0.07, antiderivative size = 170, normalized size of antiderivative = 0.83, number of steps used = 6, number of rules used = 6, integrand size = 24, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.250, Rules used = {6688, 6719, 55, 617, 204, 31} \begin {gather*} \frac {(2-3 x) \sqrt [3]{3 x+1} \log (2-3 x)}{6 \sqrt [3]{3} \sqrt [3]{-(2-3 x)^3 (3 x+1)}}-\frac {(2-3 x) \sqrt [3]{3 x+1} \log \left (\sqrt [3]{3}-\sqrt [3]{3 x+1}\right )}{2 \sqrt [3]{3} \sqrt [3]{-(2-3 x)^3 (3 x+1)}}-\frac {(2-3 x) \sqrt [3]{3 x+1} \tan ^{-1}\left (\frac {2 \sqrt [3]{3 x+1}+\sqrt [3]{3}}{3^{5/6}}\right )}{3^{5/6} \sqrt [3]{-(2-3 x)^3 (3 x+1)}} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
Rule 31
Rule 55
Rule 204
Rule 617
Rule 6688
Rule 6719
Rubi steps
\begin {align*} \int \frac {1}{\sqrt [3]{-8+12 x+54 x^2-135 x^3+81 x^4}} \, dx &=\int \frac {1}{\sqrt [3]{(-2+3 x)^3 (1+3 x)}} \, dx\\ &=\frac {\left ((-2+3 x) \sqrt [3]{1+3 x}\right ) \int \frac {1}{(-2+3 x) \sqrt [3]{1+3 x}} \, dx}{\sqrt [3]{(-2+3 x)^3 (1+3 x)}}\\ &=\frac {(2-3 x) \sqrt [3]{1+3 x} \log (2-3 x)}{6 \sqrt [3]{3} \sqrt [3]{-(2-3 x)^3 (1+3 x)}}+\frac {\left ((-2+3 x) \sqrt [3]{1+3 x}\right ) \operatorname {Subst}\left (\int \frac {1}{3^{2/3}+\sqrt [3]{3} x+x^2} \, dx,x,\sqrt [3]{1+3 x}\right )}{2 \sqrt [3]{(-2+3 x)^3 (1+3 x)}}-\frac {\left ((-2+3 x) \sqrt [3]{1+3 x}\right ) \operatorname {Subst}\left (\int \frac {1}{\sqrt [3]{3}-x} \, dx,x,\sqrt [3]{1+3 x}\right )}{2 \sqrt [3]{3} \sqrt [3]{(-2+3 x)^3 (1+3 x)}}\\ &=\frac {(2-3 x) \sqrt [3]{1+3 x} \log (2-3 x)}{6 \sqrt [3]{3} \sqrt [3]{-(2-3 x)^3 (1+3 x)}}-\frac {(2-3 x) \sqrt [3]{1+3 x} \log \left (\sqrt [3]{3}-\sqrt [3]{1+3 x}\right )}{2 \sqrt [3]{3} \sqrt [3]{-(2-3 x)^3 (1+3 x)}}-\frac {\left ((-2+3 x) \sqrt [3]{1+3 x}\right ) \operatorname {Subst}\left (\int \frac {1}{-3-x^2} \, dx,x,1+2 \sqrt [3]{\frac {1}{3}+x}\right )}{\sqrt [3]{3} \sqrt [3]{(-2+3 x)^3 (1+3 x)}}\\ &=-\frac {(2-3 x) \sqrt [3]{1+3 x} \tan ^{-1}\left (\frac {1}{3} \left (\sqrt {3}+2 \sqrt [6]{3} \sqrt [3]{1+3 x}\right )\right )}{3^{5/6} \sqrt [3]{-(2-3 x)^3 (1+3 x)}}+\frac {(2-3 x) \sqrt [3]{1+3 x} \log (2-3 x)}{6 \sqrt [3]{3} \sqrt [3]{-(2-3 x)^3 (1+3 x)}}-\frac {(2-3 x) \sqrt [3]{1+3 x} \log \left (\sqrt [3]{3}-\sqrt [3]{1+3 x}\right )}{2 \sqrt [3]{3} \sqrt [3]{-(2-3 x)^3 (1+3 x)}}\\ \end {align*}
________________________________________________________________________________________
Mathematica [A] time = 0.09, size = 100, normalized size = 0.49 \begin {gather*} -\frac {(3 x-2) \sqrt [3]{3 x+1} \left (\sqrt {3} \left (\log (2-3 x)-3 \log \left (\sqrt [3]{3}-\sqrt [3]{3 x+1}\right )\right )-6 \tan ^{-1}\left (\frac {2 \sqrt [3]{3 x+1}+\sqrt [3]{3}}{3^{5/6}}\right )\right )}{6\ 3^{5/6} \sqrt [3]{(3 x-2)^3 (3 x+1)}} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
IntegrateAlgebraic [A] time = 0.27, size = 206, normalized size = 1.00 \begin {gather*} -\frac {\tan ^{-1}\left (\frac {-2 3^{5/6}+3\ 3^{5/6} x}{-2 \sqrt [3]{3}+3 \sqrt [3]{3} x+2 \sqrt [3]{-8+12 x+54 x^2-135 x^3+81 x^4}}\right )}{3^{5/6}}+\frac {\log \left (6-9 x+3^{2/3} \sqrt [3]{-8+12 x+54 x^2-135 x^3+81 x^4}\right )}{3 \sqrt [3]{3}}-\frac {\log \left (12-36 x+27 x^2+\left (-2 3^{2/3}+3\ 3^{2/3} x\right ) \sqrt [3]{-8+12 x+54 x^2-135 x^3+81 x^4}+\sqrt [3]{3} \left (-8+12 x+54 x^2-135 x^3+81 x^4\right )^{2/3}\right )}{6 \sqrt [3]{3}} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
fricas [A] time = 0.58, size = 189, normalized size = 0.92 \begin {gather*} -\frac {1}{18} \cdot 3^{\frac {2}{3}} \log \left (\frac {3^{\frac {2}{3}} {\left (9 \, x^{2} - 12 \, x + 4\right )} + 3^{\frac {1}{3}} {\left (81 \, x^{4} - 135 \, x^{3} + 54 \, x^{2} + 12 \, x - 8\right )}^{\frac {1}{3}} {\left (3 \, x - 2\right )} + {\left (81 \, x^{4} - 135 \, x^{3} + 54 \, x^{2} + 12 \, x - 8\right )}^{\frac {2}{3}}}{9 \, x^{2} - 12 \, x + 4}\right ) + \frac {1}{9} \cdot 3^{\frac {2}{3}} \log \left (-\frac {3^{\frac {1}{3}} {\left (3 \, x - 2\right )} - {\left (81 \, x^{4} - 135 \, x^{3} + 54 \, x^{2} + 12 \, x - 8\right )}^{\frac {1}{3}}}{3 \, x - 2}\right ) + \frac {1}{3} \cdot 3^{\frac {1}{6}} \arctan \left (\frac {3^{\frac {1}{6}} {\left (3^{\frac {1}{3}} {\left (3 \, x - 2\right )} + 2 \, {\left (81 \, x^{4} - 135 \, x^{3} + 54 \, x^{2} + 12 \, x - 8\right )}^{\frac {1}{3}}\right )}}{3 \, {\left (3 \, x - 2\right )}}\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 {1}{{\left (81 \, x^{4} - 135 \, x^{3} + 54 \, x^{2} + 12 \, x - 8\right )}^{\frac {1}{3}}}\,{d x} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
maple [C] time = 2.85, size = 1368, normalized size = 6.64
method | result | size |
trager | \(\text {Expression too large to display}\) | \(1368\) |
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 {1}{{\left (81 \, x^{4} - 135 \, x^{3} + 54 \, x^{2} + 12 \, x - 8\right )}^{\frac {1}{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.00 \begin {gather*} \int \frac {1}{{\left (81\,x^4-135\,x^3+54\,x^2+12\,x-8\right )}^{1/3}} \,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 {1}{\sqrt [3]{81 x^{4} - 135 x^{3} + 54 x^{2} + 12 x - 8}}\, dx \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________