Optimal. Leaf size=46 \[ -\frac {4}{27} \sqrt [4]{-1+3 x^3}-\frac {4}{33} \left (-1+3 x^3\right )^{11/12}+\frac {4}{243} \left (-1+3 x^3\right )^{9/4} \]
[Out]
________________________________________________________________________________________
Rubi [A]
time = 0.13, antiderivative size = 46, normalized size of antiderivative = 1.00, number of steps
used = 9, number of rules used = 4, integrand size = 39, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.103, Rules used = {6874, 272, 45,
267} \begin {gather*} \frac {4}{243} \left (3 x^3-1\right )^{9/4}-\frac {4}{33} \left (3 x^3-1\right )^{11/12}-\frac {4}{27} \sqrt [4]{3 x^3-1} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
Rule 45
Rule 267
Rule 272
Rule 6874
Rubi steps
\begin {align*} \int \frac {-2 x^5+3 x^8-x^2 \left (-1+3 x^3\right )^{2/3}}{\left (-1+3 x^3\right )^{3/4}} \, dx &=\int \left (-\frac {2 x^5}{\left (-1+3 x^3\right )^{3/4}}+\frac {3 x^8}{\left (-1+3 x^3\right )^{3/4}}-\frac {x^2}{\sqrt [12]{-1+3 x^3}}\right ) \, dx\\ &=-\left (2 \int \frac {x^5}{\left (-1+3 x^3\right )^{3/4}} \, dx\right )+3 \int \frac {x^8}{\left (-1+3 x^3\right )^{3/4}} \, dx-\int \frac {x^2}{\sqrt [12]{-1+3 x^3}} \, dx\\ &=-\frac {4}{33} \left (-1+3 x^3\right )^{11/12}-\frac {2}{3} \text {Subst}\left (\int \frac {x}{(-1+3 x)^{3/4}} \, dx,x,x^3\right )+\text {Subst}\left (\int \frac {x^2}{(-1+3 x)^{3/4}} \, dx,x,x^3\right )\\ &=-\frac {4}{33} \left (-1+3 x^3\right )^{11/12}-\frac {2}{3} \text {Subst}\left (\int \left (\frac {1}{3 (-1+3 x)^{3/4}}+\frac {1}{3} \sqrt [4]{-1+3 x}\right ) \, dx,x,x^3\right )+\text {Subst}\left (\int \left (\frac {1}{9 (-1+3 x)^{3/4}}+\frac {2}{9} \sqrt [4]{-1+3 x}+\frac {1}{9} (-1+3 x)^{5/4}\right ) \, dx,x,x^3\right )\\ &=-\frac {4}{27} \sqrt [4]{-1+3 x^3}-\frac {4}{33} \left (-1+3 x^3\right )^{11/12}+\frac {4}{243} \left (-1+3 x^3\right )^{9/4}\\ \end {align*}
________________________________________________________________________________________
Mathematica [A]
time = 0.04, size = 40, normalized size = 0.87 \begin {gather*} -\frac {4 \sqrt [4]{-1+3 x^3} \left (88+66 x^3-99 x^6+81 \left (-1+3 x^3\right )^{2/3}\right )}{2673} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [C] Result contains higher order function than in optimal. Order 9 vs. order
2.
time = 0.10, size = 116, normalized size = 2.52
method | result | size |
meijerg | \(-\frac {\left (-\mathrm {signum}\left (3 x^{3}-1\right )\right )^{\frac {3}{4}} x^{6} \hypergeom \left (\left [\frac {3}{4}, 2\right ], \left [3\right ], 3 x^{3}\right )}{3 \mathrm {signum}\left (3 x^{3}-1\right )^{\frac {3}{4}}}+\frac {\left (-\mathrm {signum}\left (3 x^{3}-1\right )\right )^{\frac {3}{4}} x^{9} \hypergeom \left (\left [\frac {3}{4}, 3\right ], \left [4\right ], 3 x^{3}\right )}{3 \mathrm {signum}\left (3 x^{3}-1\right )^{\frac {3}{4}}}-\frac {\left (-\mathrm {signum}\left (3 x^{3}-1\right )\right )^{\frac {1}{12}} x^{3} \hypergeom \left (\left [\frac {1}{12}, 1\right ], \left [2\right ], 3 x^{3}\right )}{3 \mathrm {signum}\left (3 x^{3}-1\right )^{\frac {1}{12}}}\) | \(116\) |
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [A]
time = 1.75, size = 34, normalized size = 0.74 \begin {gather*} \frac {4}{243} \, {\left (3 \, x^{3} - 1\right )}^{\frac {9}{4}} - \frac {4}{33} \, {\left (3 \, x^{3} - 1\right )}^{\frac {11}{12}} - \frac {4}{27} \, {\left (3 \, x^{3} - 1\right )}^{\frac {1}{4}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [A]
time = 0.73, size = 35, normalized size = 0.76 \begin {gather*} \frac {4}{243} \, {\left (9 \, x^{6} - 6 \, x^{3} - 8\right )} {\left (3 \, x^{3} - 1\right )}^{\frac {1}{4}} - \frac {4}{33} \, {\left (3 \, x^{3} - 1\right )}^{\frac {11}{12}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [C] Result contains complex when optimal does not.
time = 5.85, size = 221, normalized size = 4.80 \begin {gather*} - \frac {4 \left (3 x^{3} - 1\right )^{\frac {11}{12}}}{33} - 2 \left (\begin {cases} \frac {4 x^{3} \sqrt [4]{3 x^{3} - 1}}{45} + \frac {16 \sqrt [4]{3 x^{3} - 1}}{135} & \text {for}\: \left |{x^{3}}\right | > \frac {1}{3} \\- \frac {4 x^{3} \sqrt [4]{1 - 3 x^{3}} e^{- \frac {3 i \pi }{4}}}{45} - \frac {16 \sqrt [4]{1 - 3 x^{3}} e^{- \frac {3 i \pi }{4}}}{135} & \text {otherwise} \end {cases}\right ) + 3 \left (\begin {cases} \frac {4 x^{6} \sqrt [4]{3 x^{3} - 1}}{81} + \frac {32 x^{3} \sqrt [4]{3 x^{3} - 1}}{1215} + \frac {128 \sqrt [4]{3 x^{3} - 1}}{3645} & \text {for}\: \left |{x^{3}}\right | > \frac {1}{3} \\\frac {4 x^{6} \sqrt [4]{1 - 3 x^{3}} e^{\frac {i \pi }{4}}}{81} + \frac {32 x^{3} \sqrt [4]{1 - 3 x^{3}} e^{\frac {i \pi }{4}}}{1215} + \frac {128 \sqrt [4]{1 - 3 x^{3}} e^{\frac {i \pi }{4}}}{3645} & \text {otherwise} \end {cases}\right ) \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [A]
time = 0.89, size = 34, normalized size = 0.74 \begin {gather*} \frac {4}{243} \, {\left (3 \, x^{3} - 1\right )}^{\frac {9}{4}} - \frac {4}{33} \, {\left (3 \, x^{3} - 1\right )}^{\frac {11}{12}} - \frac {4}{27} \, {\left (3 \, x^{3} - 1\right )}^{\frac {1}{4}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Mupad [B]
time = 0.37, size = 34, normalized size = 0.74 \begin {gather*} -{\left (3\,x^3-1\right )}^{1/4}\,\left (\frac {8\,x^3}{81}-\frac {4\,x^6}{27}+\frac {4\,{\left (3\,x^3-1\right )}^{2/3}}{33}+\frac {32}{243}\right ) \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________