\(\int \frac {x^3}{\sqrt [3]{-x^2+x^3} (-1+x^6)} \, dx\) [2752]

   Optimal result
   Rubi [C] (warning: unable to verify)
   Mathematica [A] (verified)
   Maple [N/A] (verified)
   Fricas [C] (verification not implemented)
   Sympy [N/A]
   Maxima [N/A]
   Giac [F(-2)]
   Mupad [N/A]

Optimal result

Integrand size = 24, antiderivative size = 257 \[ \int \frac {x^3}{\sqrt [3]{-x^2+x^3} \left (-1+x^6\right )} \, dx=-\frac {\left (-x^2+x^3\right )^{2/3}}{2 (-1+x) x}+\frac {\arctan \left (\frac {\sqrt {3} x}{x+2^{2/3} \sqrt [3]{-x^2+x^3}}\right )}{2 \sqrt [3]{2} \sqrt {3}}-\frac {\log \left (-2 x+2^{2/3} \sqrt [3]{-x^2+x^3}\right )}{6 \sqrt [3]{2}}+\frac {\log \left (2 x^2+2^{2/3} x \sqrt [3]{-x^2+x^3}+\sqrt [3]{2} \left (-x^2+x^3\right )^{2/3}\right )}{12 \sqrt [3]{2}}+\frac {1}{6} \text {RootSum}\left [3-3 \text {$\#$1}^3+\text {$\#$1}^6\&,\frac {-\log (x)+\log \left (\sqrt [3]{-x^2+x^3}-x \text {$\#$1}\right )}{\text {$\#$1}}\&\right ]-\frac {1}{6} \text {RootSum}\left [1-\text {$\#$1}^3+\text {$\#$1}^6\&,\frac {-\log (x)+\log \left (\sqrt [3]{-x^2+x^3}-x \text {$\#$1}\right )}{\text {$\#$1}}\&\right ] \]

[Out]

Unintegrable

Rubi [C] (warning: unable to verify)

Result contains complex when optimal does not.

Time = 3.10 (sec) , antiderivative size = 1933, normalized size of antiderivative = 7.52, number of steps used = 42, number of rules used = 12, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.500, Rules used = {2081, 6857, 21, 49, 52, 61, 129, 490, 596, 544, 245, 384} \[ \int \frac {x^3}{\sqrt [3]{-x^2+x^3} \left (-1+x^6\right )} \, dx=-\frac {x^3}{2 \sqrt [3]{x^3-x^2}}-\frac {(1-x) x^2}{2 \sqrt [3]{x^3-x^2}}-\frac {(-1)^{2/3} \left (2+3 (-1)^{2/3}\right ) (1-x) x}{18 \sqrt [3]{x^3-x^2}}+\frac {(-1)^{2/3} \left (2-3 (-1)^{2/3}\right ) (1-x) x}{18 \sqrt [3]{x^3-x^2}}-\frac {\sqrt [3]{-1} \left (2+3 \sqrt [3]{-1}\right ) (1-x) x}{18 \sqrt [3]{x^3-x^2}}+\frac {\sqrt [3]{-1} \left (2-3 \sqrt [3]{-1}\right ) (1-x) x}{18 \sqrt [3]{x^3-x^2}}-\frac {5 (1-x) x}{6 \sqrt [3]{x^3-x^2}}-\frac {7 \sqrt [3]{x-1} \arctan \left (\frac {2 \sqrt [3]{x-1}}{\sqrt {3} \sqrt [3]{x}}+\frac {1}{\sqrt {3}}\right ) x^{2/3}}{9 \sqrt {3} \sqrt [3]{x^3-x^2}}-\frac {\left (15 i+19 \sqrt {3}\right ) \sqrt [3]{x-1} \arctan \left (\frac {\frac {2 \sqrt [3]{x}}{\sqrt [3]{x-1}}+1}{\sqrt {3}}\right ) x^{2/3}}{108 \sqrt [3]{x^3-x^2}}+\frac {\left (3 i+13 \sqrt {3}\right ) \sqrt [3]{x-1} \arctan \left (\frac {\frac {2 \sqrt [3]{x}}{\sqrt [3]{x-1}}+1}{\sqrt {3}}\right ) x^{2/3}}{108 \sqrt [3]{x^3-x^2}}-\frac {\left (3 i-13 \sqrt {3}\right ) \sqrt [3]{x-1} \arctan \left (\frac {\frac {2 \sqrt [3]{x}}{\sqrt [3]{x-1}}+1}{\sqrt {3}}\right ) x^{2/3}}{108 \sqrt [3]{x^3-x^2}}+\frac {\left (15 i-19 \sqrt {3}\right ) \sqrt [3]{x-1} \arctan \left (\frac {\frac {2 \sqrt [3]{x}}{\sqrt [3]{x-1}}+1}{\sqrt {3}}\right ) x^{2/3}}{108 \sqrt [3]{x^3-x^2}}-\frac {4 \sqrt [3]{x-1} \arctan \left (\frac {\frac {2 \sqrt [3]{x}}{\sqrt [3]{x-1}}+1}{\sqrt {3}}\right ) x^{2/3}}{9 \sqrt {3} \sqrt [3]{x^3-x^2}}+\frac {\sqrt [3]{x-1} \arctan \left (\frac {\frac {2 \sqrt [3]{2} \sqrt [3]{x}}{\sqrt [3]{x-1}}+1}{\sqrt {3}}\right ) x^{2/3}}{2 \sqrt [3]{2} \sqrt {3} \sqrt [3]{x^3-x^2}}-\frac {(-1)^{2/3} \left (-1+\sqrt [3]{-1}\right )^{2/3} \sqrt [3]{x-1} \arctan \left (\frac {\frac {2 \sqrt [3]{1-\sqrt [3]{-1}} \sqrt [3]{x}}{\sqrt [3]{x-1}}+1}{\sqrt {3}}\right ) x^{2/3}}{2 \sqrt {3} \sqrt [3]{x^3-x^2}}+\frac {(-1)^{2/3} \sqrt [3]{-\frac {1}{1+\sqrt [3]{-1}}} \sqrt [3]{x-1} \arctan \left (\frac {\frac {2 \sqrt [3]{1+\sqrt [3]{-1}} \sqrt [3]{x}}{\sqrt [3]{x-1}}+1}{\sqrt {3}}\right ) x^{2/3}}{2 \sqrt {3} \sqrt [3]{x^3-x^2}}-\frac {\sqrt [3]{x-1} \arctan \left (\frac {\frac {2 \sqrt [3]{1-(-1)^{2/3}} \sqrt [3]{x}}{\sqrt [3]{x-1}}+1}{\sqrt {3}}\right ) x^{2/3}}{2 \sqrt {3} \sqrt [3]{1-(-1)^{2/3}} \sqrt [3]{x^3-x^2}}-\frac {(-1)^{8/9} \sqrt [3]{x-1} \arctan \left (\frac {\frac {2 \sqrt [3]{1+(-1)^{2/3}} \sqrt [3]{x}}{\sqrt [3]{x-1}}+1}{\sqrt {3}}\right ) x^{2/3}}{2 \sqrt {3} \sqrt [3]{x^3-x^2}}-\frac {7 \sqrt [3]{x-1} \log \left (\frac {\sqrt [3]{x-1}}{\sqrt [3]{x}}-1\right ) x^{2/3}}{18 \sqrt [3]{x^3-x^2}}-\frac {(-1)^{2/3} \left (1+6 i \sqrt {3}\right ) \sqrt [3]{x-1} \log \left (\sqrt [3]{x-1}-\sqrt [3]{x}\right ) x^{2/3}}{36 \sqrt [3]{x^3-x^2}}+\frac {\sqrt [3]{-1} \left (1-6 i \sqrt {3}\right ) \sqrt [3]{x-1} \log \left (\sqrt [3]{x-1}-\sqrt [3]{x}\right ) x^{2/3}}{36 \sqrt [3]{x^3-x^2}}+\frac {(-1)^{2/3} \left (4+3 i \sqrt {3}\right ) \sqrt [3]{x-1} \log \left (\sqrt [3]{x-1}-\sqrt [3]{x}\right ) x^{2/3}}{36 \sqrt [3]{x^3-x^2}}-\frac {\sqrt [3]{-1} \left (4-3 i \sqrt {3}\right ) \sqrt [3]{x-1} \log \left (\sqrt [3]{x-1}-\sqrt [3]{x}\right ) x^{2/3}}{36 \sqrt [3]{x^3-x^2}}+\frac {2 \sqrt [3]{x-1} \log \left (\sqrt [3]{x-1}-\sqrt [3]{x}\right ) x^{2/3}}{9 \sqrt [3]{x^3-x^2}}-\frac {\sqrt [3]{x-1} \log \left (\sqrt [3]{x-1}-\sqrt [3]{2} \sqrt [3]{x}\right ) x^{2/3}}{4 \sqrt [3]{2} \sqrt [3]{x^3-x^2}}+\frac {(-1)^{2/3} \left (-1+\sqrt [3]{-1}\right )^{2/3} \sqrt [3]{x-1} \log \left (\sqrt [3]{x-1}-\sqrt [3]{1-\sqrt [3]{-1}} \sqrt [3]{x}\right ) x^{2/3}}{4 \sqrt [3]{x^3-x^2}}-\frac {(-1)^{2/3} \sqrt [3]{-\frac {1}{1+\sqrt [3]{-1}}} \sqrt [3]{x-1} \log \left (\sqrt [3]{x-1}-\sqrt [3]{1+\sqrt [3]{-1}} \sqrt [3]{x}\right ) x^{2/3}}{4 \sqrt [3]{x^3-x^2}}+\frac {\sqrt [3]{x-1} \log \left (\sqrt [3]{x-1}-\sqrt [3]{1-(-1)^{2/3}} \sqrt [3]{x}\right ) x^{2/3}}{4 \sqrt [3]{1-(-1)^{2/3}} \sqrt [3]{x^3-x^2}}+\frac {(-1)^{8/9} \sqrt [3]{x-1} \log \left (\sqrt [3]{x-1}-\sqrt [3]{1+(-1)^{2/3}} \sqrt [3]{x}\right ) x^{2/3}}{4 \sqrt [3]{x^3-x^2}}-\frac {(-1)^{8/9} \sqrt [3]{x-1} \log \left (\sqrt [3]{-1}-x\right ) x^{2/3}}{12 \sqrt [3]{x^3-x^2}}-\frac {(-1)^{2/3} \left (-1+\sqrt [3]{-1}\right )^{2/3} \sqrt [3]{x-1} \log \left (-x-(-1)^{2/3}\right ) x^{2/3}}{12 \sqrt [3]{x^3-x^2}}-\frac {7 \sqrt [3]{x-1} \log (x) x^{2/3}}{54 \sqrt [3]{x^3-x^2}}+\frac {\sqrt [3]{x-1} \log (x+1) x^{2/3}}{12 \sqrt [3]{2} \sqrt [3]{x^3-x^2}}-\frac {\sqrt [3]{x-1} \log \left (x+\sqrt [3]{-1}\right ) x^{2/3}}{12 \sqrt [3]{1-(-1)^{2/3}} \sqrt [3]{x^3-x^2}}+\frac {(-1)^{2/3} \sqrt [3]{-\frac {1}{1+\sqrt [3]{-1}}} \sqrt [3]{x-1} \log \left (x-(-1)^{2/3}\right ) x^{2/3}}{12 \sqrt [3]{x^3-x^2}} \]

[In]

Int[x^3/((-x^2 + x^3)^(1/3)*(-1 + x^6)),x]

[Out]

(-5*(1 - x)*x)/(6*(-x^2 + x^3)^(1/3)) + ((-1)^(1/3)*(2 - 3*(-1)^(1/3))*(1 - x)*x)/(18*(-x^2 + x^3)^(1/3)) - ((
-1)^(1/3)*(2 + 3*(-1)^(1/3))*(1 - x)*x)/(18*(-x^2 + x^3)^(1/3)) + ((-1)^(2/3)*(2 - 3*(-1)^(2/3))*(1 - x)*x)/(1
8*(-x^2 + x^3)^(1/3)) - ((-1)^(2/3)*(2 + 3*(-1)^(2/3))*(1 - x)*x)/(18*(-x^2 + x^3)^(1/3)) - ((1 - x)*x^2)/(2*(
-x^2 + x^3)^(1/3)) - x^3/(2*(-x^2 + x^3)^(1/3)) - (7*(-1 + x)^(1/3)*x^(2/3)*ArcTan[1/Sqrt[3] + (2*(-1 + x)^(1/
3))/(Sqrt[3]*x^(1/3))])/(9*Sqrt[3]*(-x^2 + x^3)^(1/3)) - (4*(-1 + x)^(1/3)*x^(2/3)*ArcTan[(1 + (2*x^(1/3))/(-1
 + x)^(1/3))/Sqrt[3]])/(9*Sqrt[3]*(-x^2 + x^3)^(1/3)) + ((15*I - 19*Sqrt[3])*(-1 + x)^(1/3)*x^(2/3)*ArcTan[(1
+ (2*x^(1/3))/(-1 + x)^(1/3))/Sqrt[3]])/(108*(-x^2 + x^3)^(1/3)) - ((3*I - 13*Sqrt[3])*(-1 + x)^(1/3)*x^(2/3)*
ArcTan[(1 + (2*x^(1/3))/(-1 + x)^(1/3))/Sqrt[3]])/(108*(-x^2 + x^3)^(1/3)) + ((3*I + 13*Sqrt[3])*(-1 + x)^(1/3
)*x^(2/3)*ArcTan[(1 + (2*x^(1/3))/(-1 + x)^(1/3))/Sqrt[3]])/(108*(-x^2 + x^3)^(1/3)) - ((15*I + 19*Sqrt[3])*(-
1 + x)^(1/3)*x^(2/3)*ArcTan[(1 + (2*x^(1/3))/(-1 + x)^(1/3))/Sqrt[3]])/(108*(-x^2 + x^3)^(1/3)) + ((-1 + x)^(1
/3)*x^(2/3)*ArcTan[(1 + (2*2^(1/3)*x^(1/3))/(-1 + x)^(1/3))/Sqrt[3]])/(2*2^(1/3)*Sqrt[3]*(-x^2 + x^3)^(1/3)) -
 ((-1)^(2/3)*(-1 + (-1)^(1/3))^(2/3)*(-1 + x)^(1/3)*x^(2/3)*ArcTan[(1 + (2*(1 - (-1)^(1/3))^(1/3)*x^(1/3))/(-1
 + x)^(1/3))/Sqrt[3]])/(2*Sqrt[3]*(-x^2 + x^3)^(1/3)) + ((-1)^(2/3)*(-(1 + (-1)^(1/3))^(-1))^(1/3)*(-1 + x)^(1
/3)*x^(2/3)*ArcTan[(1 + (2*(1 + (-1)^(1/3))^(1/3)*x^(1/3))/(-1 + x)^(1/3))/Sqrt[3]])/(2*Sqrt[3]*(-x^2 + x^3)^(
1/3)) - ((-1 + x)^(1/3)*x^(2/3)*ArcTan[(1 + (2*(1 - (-1)^(2/3))^(1/3)*x^(1/3))/(-1 + x)^(1/3))/Sqrt[3]])/(2*Sq
rt[3]*(1 - (-1)^(2/3))^(1/3)*(-x^2 + x^3)^(1/3)) - ((-1)^(8/9)*(-1 + x)^(1/3)*x^(2/3)*ArcTan[(1 + (2*(1 + (-1)
^(2/3))^(1/3)*x^(1/3))/(-1 + x)^(1/3))/Sqrt[3]])/(2*Sqrt[3]*(-x^2 + x^3)^(1/3)) - (7*(-1 + x)^(1/3)*x^(2/3)*Lo
g[-1 + (-1 + x)^(1/3)/x^(1/3)])/(18*(-x^2 + x^3)^(1/3)) + (2*(-1 + x)^(1/3)*x^(2/3)*Log[(-1 + x)^(1/3) - x^(1/
3)])/(9*(-x^2 + x^3)^(1/3)) - ((-1)^(1/3)*(4 - (3*I)*Sqrt[3])*(-1 + x)^(1/3)*x^(2/3)*Log[(-1 + x)^(1/3) - x^(1
/3)])/(36*(-x^2 + x^3)^(1/3)) + ((-1)^(2/3)*(4 + (3*I)*Sqrt[3])*(-1 + x)^(1/3)*x^(2/3)*Log[(-1 + x)^(1/3) - x^
(1/3)])/(36*(-x^2 + x^3)^(1/3)) + ((-1)^(1/3)*(1 - (6*I)*Sqrt[3])*(-1 + x)^(1/3)*x^(2/3)*Log[(-1 + x)^(1/3) -
x^(1/3)])/(36*(-x^2 + x^3)^(1/3)) - ((-1)^(2/3)*(1 + (6*I)*Sqrt[3])*(-1 + x)^(1/3)*x^(2/3)*Log[(-1 + x)^(1/3)
- x^(1/3)])/(36*(-x^2 + x^3)^(1/3)) - ((-1 + x)^(1/3)*x^(2/3)*Log[(-1 + x)^(1/3) - 2^(1/3)*x^(1/3)])/(4*2^(1/3
)*(-x^2 + x^3)^(1/3)) + ((-1)^(2/3)*(-1 + (-1)^(1/3))^(2/3)*(-1 + x)^(1/3)*x^(2/3)*Log[(-1 + x)^(1/3) - (1 - (
-1)^(1/3))^(1/3)*x^(1/3)])/(4*(-x^2 + x^3)^(1/3)) - ((-1)^(2/3)*(-(1 + (-1)^(1/3))^(-1))^(1/3)*(-1 + x)^(1/3)*
x^(2/3)*Log[(-1 + x)^(1/3) - (1 + (-1)^(1/3))^(1/3)*x^(1/3)])/(4*(-x^2 + x^3)^(1/3)) + ((-1 + x)^(1/3)*x^(2/3)
*Log[(-1 + x)^(1/3) - (1 - (-1)^(2/3))^(1/3)*x^(1/3)])/(4*(1 - (-1)^(2/3))^(1/3)*(-x^2 + x^3)^(1/3)) + ((-1)^(
8/9)*(-1 + x)^(1/3)*x^(2/3)*Log[(-1 + x)^(1/3) - (1 + (-1)^(2/3))^(1/3)*x^(1/3)])/(4*(-x^2 + x^3)^(1/3)) - ((-
1)^(8/9)*(-1 + x)^(1/3)*x^(2/3)*Log[(-1)^(1/3) - x])/(12*(-x^2 + x^3)^(1/3)) - ((-1)^(2/3)*(-1 + (-1)^(1/3))^(
2/3)*(-1 + x)^(1/3)*x^(2/3)*Log[-(-1)^(2/3) - x])/(12*(-x^2 + x^3)^(1/3)) - (7*(-1 + x)^(1/3)*x^(2/3)*Log[x])/
(54*(-x^2 + x^3)^(1/3)) + ((-1 + x)^(1/3)*x^(2/3)*Log[1 + x])/(12*2^(1/3)*(-x^2 + x^3)^(1/3)) - ((-1 + x)^(1/3
)*x^(2/3)*Log[(-1)^(1/3) + x])/(12*(1 - (-1)^(2/3))^(1/3)*(-x^2 + x^3)^(1/3)) + ((-1)^(2/3)*(-(1 + (-1)^(1/3))
^(-1))^(1/3)*(-1 + x)^(1/3)*x^(2/3)*Log[-(-1)^(2/3) + x])/(12*(-x^2 + x^3)^(1/3))

Rule 21

Int[(u_.)*((a_) + (b_.)*(v_))^(m_.)*((c_) + (d_.)*(v_))^(n_.), x_Symbol] :> Dist[(b/d)^m, Int[u*(c + d*v)^(m +
 n), x], x] /; FreeQ[{a, b, c, d, n}, x] && EqQ[b*c - a*d, 0] && IntegerQ[m] && ( !IntegerQ[n] || SimplerQ[c +
 d*x, a + b*x])

Rule 49

Int[((a_.) + (b_.)*(x_))^(m_)*((c_.) + (d_.)*(x_))^(n_), x_Symbol] :> Simp[(a + b*x)^(m + 1)*((c + d*x)^n/(b*(
m + 1))), x] - Dist[d*(n/(b*(m + 1))), Int[(a + b*x)^(m + 1)*(c + d*x)^(n - 1), x], x] /; FreeQ[{a, b, c, d},
x] && NeQ[b*c - a*d, 0] && GtQ[n, 0] && LtQ[m, -1] &&  !(IntegerQ[n] &&  !IntegerQ[m]) &&  !(ILeQ[m + n + 2, 0
] && (FractionQ[m] || GeQ[2*n + m + 1, 0])) && IntLinearQ[a, b, c, d, m, n, x]

Rule 52

Int[((a_.) + (b_.)*(x_))^(m_)*((c_.) + (d_.)*(x_))^(n_), x_Symbol] :> Simp[(a + b*x)^(m + 1)*((c + d*x)^n/(b*(
m + n + 1))), x] + Dist[n*((b*c - a*d)/(b*(m + n + 1))), Int[(a + b*x)^m*(c + d*x)^(n - 1), x], x] /; FreeQ[{a
, b, c, d}, x] && NeQ[b*c - a*d, 0] && GtQ[n, 0] && NeQ[m + n + 1, 0] &&  !(IGtQ[m, 0] && ( !IntegerQ[n] || (G
tQ[m, 0] && LtQ[m - n, 0]))) &&  !ILtQ[m + n + 2, 0] && IntLinearQ[a, b, c, d, m, n, x]

Rule 61

Int[1/(((a_.) + (b_.)*(x_))^(1/3)*((c_.) + (d_.)*(x_))^(2/3)), x_Symbol] :> With[{q = Rt[d/b, 3]}, Simp[(-Sqrt
[3])*(q/d)*ArcTan[2*q*((a + b*x)^(1/3)/(Sqrt[3]*(c + d*x)^(1/3))) + 1/Sqrt[3]], x] + (-Simp[3*(q/(2*d))*Log[q*
((a + b*x)^(1/3)/(c + d*x)^(1/3)) - 1], x] - Simp[(q/(2*d))*Log[c + d*x], x])] /; FreeQ[{a, b, c, d}, x] && Ne
Q[b*c - a*d, 0] && PosQ[d/b]

Rule 129

Int[((e_.)*(x_))^(p_)*((a_) + (b_.)*(x_))^(m_)*((c_) + (d_.)*(x_))^(n_), x_Symbol] :> With[{k = Denominator[p]
}, Dist[k/e, Subst[Int[x^(k*(p + 1) - 1)*(a + b*(x^k/e))^m*(c + d*(x^k/e))^n, x], x, (e*x)^(1/k)], x]] /; Free
Q[{a, b, c, d, e, m, n}, x] && NeQ[b*c - a*d, 0] && FractionQ[p] && IntegerQ[m]

Rule 245

Int[((a_) + (b_.)*(x_)^3)^(-1/3), x_Symbol] :> Simp[ArcTan[(1 + 2*Rt[b, 3]*(x/(a + b*x^3)^(1/3)))/Sqrt[3]]/(Sq
rt[3]*Rt[b, 3]), x] - Simp[Log[(a + b*x^3)^(1/3) - Rt[b, 3]*x]/(2*Rt[b, 3]), x] /; FreeQ[{a, b}, x]

Rule 384

Int[1/(((a_) + (b_.)*(x_)^3)^(1/3)*((c_) + (d_.)*(x_)^3)), x_Symbol] :> With[{q = Rt[(b*c - a*d)/c, 3]}, Simp[
ArcTan[(1 + (2*q*x)/(a + b*x^3)^(1/3))/Sqrt[3]]/(Sqrt[3]*c*q), x] + (-Simp[Log[q*x - (a + b*x^3)^(1/3)]/(2*c*q
), x] + Simp[Log[c + d*x^3]/(6*c*q), x])] /; FreeQ[{a, b, c, d}, x] && NeQ[b*c - a*d, 0]

Rule 490

Int[((e_.)*(x_))^(m_.)*((a_) + (b_.)*(x_)^(n_))^(p_)*((c_) + (d_.)*(x_)^(n_))^(q_), x_Symbol] :> Simp[e^(2*n -
 1)*(e*x)^(m - 2*n + 1)*(a + b*x^n)^(p + 1)*((c + d*x^n)^(q + 1)/(b*d*(m + n*(p + q) + 1))), x] - Dist[e^(2*n)
/(b*d*(m + n*(p + q) + 1)), Int[(e*x)^(m - 2*n)*(a + b*x^n)^p*(c + d*x^n)^q*Simp[a*c*(m - 2*n + 1) + (a*d*(m +
 n*(q - 1) + 1) + b*c*(m + n*(p - 1) + 1))*x^n, x], x], x] /; FreeQ[{a, b, c, d, e, p, q}, x] && NeQ[b*c - a*d
, 0] && IGtQ[n, 0] && GtQ[m - n + 1, n] && IntBinomialQ[a, b, c, d, e, m, n, p, q, x]

Rule 544

Int[(((a_) + (b_.)*(x_)^(n_))^(p_)*((e_) + (f_.)*(x_)^(n_)))/((c_) + (d_.)*(x_)^(n_)), x_Symbol] :> Dist[f/d,
Int[(a + b*x^n)^p, x], x] + Dist[(d*e - c*f)/d, Int[(a + b*x^n)^p/(c + d*x^n), x], x] /; FreeQ[{a, b, c, d, e,
 f, p, n}, x]

Rule 596

Int[((g_.)*(x_))^(m_.)*((a_) + (b_.)*(x_)^(n_))^(p_.)*((c_) + (d_.)*(x_)^(n_))^(q_.)*((e_) + (f_.)*(x_)^(n_)),
 x_Symbol] :> Simp[f*g^(n - 1)*(g*x)^(m - n + 1)*(a + b*x^n)^(p + 1)*((c + d*x^n)^(q + 1)/(b*d*(m + n*(p + q +
 1) + 1))), x] - Dist[g^n/(b*d*(m + n*(p + q + 1) + 1)), Int[(g*x)^(m - n)*(a + b*x^n)^p*(c + d*x^n)^q*Simp[a*
f*c*(m - n + 1) + (a*f*d*(m + n*q + 1) + b*(f*c*(m + n*p + 1) - e*d*(m + n*(p + q + 1) + 1)))*x^n, x], x], x]
/; FreeQ[{a, b, c, d, e, f, g, p, q}, x] && IGtQ[n, 0] && GtQ[m, n - 1]

Rule 2081

Int[(u_.)*(P_)^(p_.), x_Symbol] :> With[{m = MinimumMonomialExponent[P, x]}, Dist[P^FracPart[p]/(x^(m*FracPart
[p])*Distrib[1/x^m, P]^FracPart[p]), Int[u*x^(m*p)*Distrib[1/x^m, P]^p, x], x]] /; FreeQ[p, x] &&  !IntegerQ[p
] && SumQ[P] && EveryQ[BinomialQ[#1, x] & , P] &&  !PolyQ[P, x, 2]

Rule 6857

Int[(u_)/((a_) + (b_.)*(x_)^(n_)), x_Symbol] :> With[{v = RationalFunctionExpand[u/(a + b*x^n), x]}, Int[v, x]
 /; SumQ[v]] /; FreeQ[{a, b}, x] && IGtQ[n, 0]

Rubi steps \begin{align*} \text {integral}& = \frac {\left (\sqrt [3]{-1+x} x^{2/3}\right ) \int \frac {x^{7/3}}{\sqrt [3]{-1+x} \left (-1+x^6\right )} \, dx}{\sqrt [3]{-x^2+x^3}} \\ & = \frac {\left (\sqrt [3]{-1+x} x^{2/3}\right ) \int \left (-\frac {x^{7/3}}{2 \sqrt [3]{-1+x} \left (1-x^3\right )}-\frac {x^{7/3}}{2 \sqrt [3]{-1+x} \left (1+x^3\right )}\right ) \, dx}{\sqrt [3]{-x^2+x^3}} \\ & = -\frac {\left (\sqrt [3]{-1+x} x^{2/3}\right ) \int \frac {x^{7/3}}{\sqrt [3]{-1+x} \left (1-x^3\right )} \, dx}{2 \sqrt [3]{-x^2+x^3}}-\frac {\left (\sqrt [3]{-1+x} x^{2/3}\right ) \int \frac {x^{7/3}}{\sqrt [3]{-1+x} \left (1+x^3\right )} \, dx}{2 \sqrt [3]{-x^2+x^3}} \\ & = -\frac {\left (\sqrt [3]{-1+x} x^{2/3}\right ) \int \left (-\frac {x^{7/3}}{3 (-1-x) \sqrt [3]{-1+x}}-\frac {x^{7/3}}{3 \sqrt [3]{-1+x} \left (-1+\sqrt [3]{-1} x\right )}-\frac {x^{7/3}}{3 \sqrt [3]{-1+x} \left (-1-(-1)^{2/3} x\right )}\right ) \, dx}{2 \sqrt [3]{-x^2+x^3}}-\frac {\left (\sqrt [3]{-1+x} x^{2/3}\right ) \int \left (\frac {x^{7/3}}{3 (1-x) \sqrt [3]{-1+x}}+\frac {x^{7/3}}{3 \sqrt [3]{-1+x} \left (1+\sqrt [3]{-1} x\right )}+\frac {x^{7/3}}{3 \sqrt [3]{-1+x} \left (1-(-1)^{2/3} x\right )}\right ) \, dx}{2 \sqrt [3]{-x^2+x^3}} \\ & = \frac {\left (\sqrt [3]{-1+x} x^{2/3}\right ) \int \frac {x^{7/3}}{(-1-x) \sqrt [3]{-1+x}} \, dx}{6 \sqrt [3]{-x^2+x^3}}-\frac {\left (\sqrt [3]{-1+x} x^{2/3}\right ) \int \frac {x^{7/3}}{(1-x) \sqrt [3]{-1+x}} \, dx}{6 \sqrt [3]{-x^2+x^3}}+\frac {\left (\sqrt [3]{-1+x} x^{2/3}\right ) \int \frac {x^{7/3}}{\sqrt [3]{-1+x} \left (-1+\sqrt [3]{-1} x\right )} \, dx}{6 \sqrt [3]{-x^2+x^3}}-\frac {\left (\sqrt [3]{-1+x} x^{2/3}\right ) \int \frac {x^{7/3}}{\sqrt [3]{-1+x} \left (1+\sqrt [3]{-1} x\right )} \, dx}{6 \sqrt [3]{-x^2+x^3}}+\frac {\left (\sqrt [3]{-1+x} x^{2/3}\right ) \int \frac {x^{7/3}}{\sqrt [3]{-1+x} \left (-1-(-1)^{2/3} x\right )} \, dx}{6 \sqrt [3]{-x^2+x^3}}-\frac {\left (\sqrt [3]{-1+x} x^{2/3}\right ) \int \frac {x^{7/3}}{\sqrt [3]{-1+x} \left (1-(-1)^{2/3} x\right )} \, dx}{6 \sqrt [3]{-x^2+x^3}} \\ & = \frac {\left (\sqrt [3]{-1+x} x^{2/3}\right ) \int \frac {x^{7/3}}{(-1+x)^{4/3}} \, dx}{6 \sqrt [3]{-x^2+x^3}}+\frac {\left (\sqrt [3]{-1+x} x^{2/3}\right ) \text {Subst}\left (\int \frac {x^9}{\left (-1-x^3\right ) \sqrt [3]{-1+x^3}} \, dx,x,\sqrt [3]{x}\right )}{2 \sqrt [3]{-x^2+x^3}}+\frac {\left (\sqrt [3]{-1+x} x^{2/3}\right ) \text {Subst}\left (\int \frac {x^9}{\sqrt [3]{-1+x^3} \left (-1+\sqrt [3]{-1} x^3\right )} \, dx,x,\sqrt [3]{x}\right )}{2 \sqrt [3]{-x^2+x^3}}-\frac {\left (\sqrt [3]{-1+x} x^{2/3}\right ) \text {Subst}\left (\int \frac {x^9}{\sqrt [3]{-1+x^3} \left (1+\sqrt [3]{-1} x^3\right )} \, dx,x,\sqrt [3]{x}\right )}{2 \sqrt [3]{-x^2+x^3}}+\frac {\left (\sqrt [3]{-1+x} x^{2/3}\right ) \text {Subst}\left (\int \frac {x^9}{\sqrt [3]{-1+x^3} \left (-1-(-1)^{2/3} x^3\right )} \, dx,x,\sqrt [3]{x}\right )}{2 \sqrt [3]{-x^2+x^3}}-\frac {\left (\sqrt [3]{-1+x} x^{2/3}\right ) \text {Subst}\left (\int \frac {x^9}{\sqrt [3]{-1+x^3} \left (1-(-1)^{2/3} x^3\right )} \, dx,x,\sqrt [3]{x}\right )}{2 \sqrt [3]{-x^2+x^3}} \\ & = \frac {(1-x) x^2}{12 \sqrt [3]{-x^2+x^3}}-\frac {x^3}{2 \sqrt [3]{-x^2+x^3}}+\frac {\left (\sqrt [3]{-1+x} x^{2/3}\right ) \text {Subst}\left (\int \frac {x^3 \left (4-2 x^3\right )}{\left (-1-x^3\right ) \sqrt [3]{-1+x^3}} \, dx,x,\sqrt [3]{x}\right )}{12 \sqrt [3]{-x^2+x^3}}+\frac {\left (7 \sqrt [3]{-1+x} x^{2/3}\right ) \int \frac {x^{4/3}}{\sqrt [3]{-1+x}} \, dx}{6 \sqrt [3]{-x^2+x^3}}-\frac {\left (\sqrt [3]{-1} \sqrt [3]{-1+x} x^{2/3}\right ) \text {Subst}\left (\int \frac {x^3 \left (4-2 \left (3-2 (-1)^{2/3}\right ) x^3\right )}{\sqrt [3]{-1+x^3} \left (-1-(-1)^{2/3} x^3\right )} \, dx,x,\sqrt [3]{x}\right )}{12 \sqrt [3]{-x^2+x^3}}+\frac {\left (\sqrt [3]{-1} \sqrt [3]{-1+x} x^{2/3}\right ) \text {Subst}\left (\int \frac {x^3 \left (-4+2 \left (3+2 (-1)^{2/3}\right ) x^3\right )}{\sqrt [3]{-1+x^3} \left (1-(-1)^{2/3} x^3\right )} \, dx,x,\sqrt [3]{x}\right )}{12 \sqrt [3]{-x^2+x^3}}-\frac {\left ((-1)^{2/3} \sqrt [3]{-1+x} x^{2/3}\right ) \text {Subst}\left (\int \frac {x^3 \left (-4+2 \left (3-2 \sqrt [3]{-1}\right ) x^3\right )}{\sqrt [3]{-1+x^3} \left (1+\sqrt [3]{-1} x^3\right )} \, dx,x,\sqrt [3]{x}\right )}{12 \sqrt [3]{-x^2+x^3}}+\frac {\left ((-1)^{2/3} \sqrt [3]{-1+x} x^{2/3}\right ) \text {Subst}\left (\int \frac {x^3 \left (4-2 \left (3+2 \sqrt [3]{-1}\right ) x^3\right )}{\sqrt [3]{-1+x^3} \left (-1+\sqrt [3]{-1} x^3\right )} \, dx,x,\sqrt [3]{x}\right )}{12 \sqrt [3]{-x^2+x^3}} \\ & = -\frac {(1-x) x}{18 \sqrt [3]{-x^2+x^3}}+\frac {\sqrt [3]{-1} \left (2-3 \sqrt [3]{-1}\right ) (1-x) x}{18 \sqrt [3]{-x^2+x^3}}-\frac {\sqrt [3]{-1} \left (2+3 \sqrt [3]{-1}\right ) (1-x) x}{18 \sqrt [3]{-x^2+x^3}}+\frac {(-1)^{2/3} \left (2-3 (-1)^{2/3}\right ) (1-x) x}{18 \sqrt [3]{-x^2+x^3}}-\frac {(-1)^{2/3} \left (2+3 (-1)^{2/3}\right ) (1-x) x}{18 \sqrt [3]{-x^2+x^3}}-\frac {(1-x) x^2}{2 \sqrt [3]{-x^2+x^3}}-\frac {x^3}{2 \sqrt [3]{-x^2+x^3}}+\frac {\left (\sqrt [3]{-1+x} x^{2/3}\right ) \text {Subst}\left (\int \frac {-2+16 x^3}{\left (-1-x^3\right ) \sqrt [3]{-1+x^3}} \, dx,x,\sqrt [3]{x}\right )}{36 \sqrt [3]{-x^2+x^3}}+\frac {\left (7 \sqrt [3]{-1+x} x^{2/3}\right ) \int \frac {\sqrt [3]{x}}{\sqrt [3]{-1+x}} \, dx}{9 \sqrt [3]{-x^2+x^3}}+\frac {\left (\sqrt [3]{-1} \sqrt [3]{-1+x} x^{2/3}\right ) \text {Subst}\left (\int \frac {-2 \left (3-2 \sqrt [3]{-1}\right )+\left (13-i \sqrt {3}\right ) x^3}{\sqrt [3]{-1+x^3} \left (1+\sqrt [3]{-1} x^3\right )} \, dx,x,\sqrt [3]{x}\right )}{36 \sqrt [3]{-x^2+x^3}}-\frac {\left (\sqrt [3]{-1} \sqrt [3]{-1+x} x^{2/3}\right ) \text {Subst}\left (\int \frac {-2 \left (3+2 \sqrt [3]{-1}\right )+\left (19+5 i \sqrt {3}\right ) x^3}{\sqrt [3]{-1+x^3} \left (-1+\sqrt [3]{-1} x^3\right )} \, dx,x,\sqrt [3]{x}\right )}{36 \sqrt [3]{-x^2+x^3}}-\frac {\left ((-1)^{2/3} \sqrt [3]{-1+x} x^{2/3}\right ) \text {Subst}\left (\int \frac {-2 \left (3+2 (-1)^{2/3}\right )+\left (13+i \sqrt {3}\right ) x^3}{\sqrt [3]{-1+x^3} \left (1-(-1)^{2/3} x^3\right )} \, dx,x,\sqrt [3]{x}\right )}{36 \sqrt [3]{-x^2+x^3}}+\frac {\left ((-1)^{2/3} \sqrt [3]{-1+x} x^{2/3}\right ) \text {Subst}\left (\int \frac {-2 \left (3-2 (-1)^{2/3}\right )+\left (19-5 i \sqrt {3}\right ) x^3}{\sqrt [3]{-1+x^3} \left (-1-(-1)^{2/3} x^3\right )} \, dx,x,\sqrt [3]{x}\right )}{36 \sqrt [3]{-x^2+x^3}} \\ & = -\frac {5 (1-x) x}{6 \sqrt [3]{-x^2+x^3}}+\frac {\sqrt [3]{-1} \left (2-3 \sqrt [3]{-1}\right ) (1-x) x}{18 \sqrt [3]{-x^2+x^3}}-\frac {\sqrt [3]{-1} \left (2+3 \sqrt [3]{-1}\right ) (1-x) x}{18 \sqrt [3]{-x^2+x^3}}+\frac {(-1)^{2/3} \left (2-3 (-1)^{2/3}\right ) (1-x) x}{18 \sqrt [3]{-x^2+x^3}}-\frac {(-1)^{2/3} \left (2+3 (-1)^{2/3}\right ) (1-x) x}{18 \sqrt [3]{-x^2+x^3}}-\frac {(1-x) x^2}{2 \sqrt [3]{-x^2+x^3}}-\frac {x^3}{2 \sqrt [3]{-x^2+x^3}}+\frac {\left (7 \sqrt [3]{-1+x} x^{2/3}\right ) \int \frac {1}{\sqrt [3]{-1+x} x^{2/3}} \, dx}{27 \sqrt [3]{-x^2+x^3}}-\frac {\left (4 \sqrt [3]{-1+x} x^{2/3}\right ) \text {Subst}\left (\int \frac {1}{\sqrt [3]{-1+x^3}} \, dx,x,\sqrt [3]{x}\right )}{9 \sqrt [3]{-x^2+x^3}}-\frac {\left (\sqrt [3]{-1+x} x^{2/3}\right ) \text {Subst}\left (\int \frac {1}{\left (-1-x^3\right ) \sqrt [3]{-1+x^3}} \, dx,x,\sqrt [3]{x}\right )}{2 \sqrt [3]{-x^2+x^3}}-\frac {\left (\sqrt [3]{-1+x} x^{2/3}\right ) \text {Subst}\left (\int \frac {1}{\sqrt [3]{-1+x^3} \left (-1+\sqrt [3]{-1} x^3\right )} \, dx,x,\sqrt [3]{x}\right )}{2 \sqrt [3]{-x^2+x^3}}-\frac {\left (\sqrt [3]{-1+x} x^{2/3}\right ) \text {Subst}\left (\int \frac {1}{\sqrt [3]{-1+x^3} \left (1+\sqrt [3]{-1} x^3\right )} \, dx,x,\sqrt [3]{x}\right )}{2 \sqrt [3]{-x^2+x^3}}-\frac {\left (\sqrt [3]{-1+x} x^{2/3}\right ) \text {Subst}\left (\int \frac {1}{\sqrt [3]{-1+x^3} \left (-1-(-1)^{2/3} x^3\right )} \, dx,x,\sqrt [3]{x}\right )}{2 \sqrt [3]{-x^2+x^3}}-\frac {\left (\sqrt [3]{-1+x} x^{2/3}\right ) \text {Subst}\left (\int \frac {1}{\sqrt [3]{-1+x^3} \left (1-(-1)^{2/3} x^3\right )} \, dx,x,\sqrt [3]{x}\right )}{2 \sqrt [3]{-x^2+x^3}}+\frac {\left (\sqrt [3]{-1} \left (-17+7 i \sqrt {3}\right ) \sqrt [3]{-1+x} x^{2/3}\right ) \text {Subst}\left (\int \frac {1}{\sqrt [3]{-1+x^3}} \, dx,x,\sqrt [3]{x}\right )}{36 \sqrt [3]{-x^2+x^3}}-\frac {\left (\sqrt [3]{-1} \left (-5+7 i \sqrt {3}\right ) \sqrt [3]{-1+x} x^{2/3}\right ) \text {Subst}\left (\int \frac {1}{\sqrt [3]{-1+x^3}} \, dx,x,\sqrt [3]{x}\right )}{36 \sqrt [3]{-x^2+x^3}}-\frac {\left ((-1)^{2/3} \left (5+7 i \sqrt {3}\right ) \sqrt [3]{-1+x} x^{2/3}\right ) \text {Subst}\left (\int \frac {1}{\sqrt [3]{-1+x^3}} \, dx,x,\sqrt [3]{x}\right )}{36 \sqrt [3]{-x^2+x^3}}+\frac {\left ((-1)^{2/3} \left (17+7 i \sqrt {3}\right ) \sqrt [3]{-1+x} x^{2/3}\right ) \text {Subst}\left (\int \frac {1}{\sqrt [3]{-1+x^3}} \, dx,x,\sqrt [3]{x}\right )}{36 \sqrt [3]{-x^2+x^3}} \\ & = \text {Too large to display} \\ \end{align*}

Mathematica [A] (verified)

Time = 0.47 (sec) , antiderivative size = 281, normalized size of antiderivative = 1.09 \[ \int \frac {x^3}{\sqrt [3]{-x^2+x^3} \left (-1+x^6\right )} \, dx=\frac {x^{2/3} \left (-12 \sqrt [3]{x}+2\ 2^{2/3} \sqrt {3} \sqrt [3]{-1+x} \arctan \left (\frac {\sqrt {3} \sqrt [3]{x}}{2^{2/3} \sqrt [3]{-1+x}+\sqrt [3]{x}}\right )-2\ 2^{2/3} \sqrt [3]{-1+x} \log \left (2^{2/3} \sqrt [3]{-1+x}-2 \sqrt [3]{x}\right )+2^{2/3} \sqrt [3]{-1+x} \log \left (\sqrt [3]{2} (-1+x)^{2/3}+2^{2/3} \sqrt [3]{-1+x} \sqrt [3]{x}+2 x^{2/3}\right )+4 \sqrt [3]{-1+x} \text {RootSum}\left [3-3 \text {$\#$1}^3+\text {$\#$1}^6\&,\frac {-\log \left (\sqrt [3]{x}\right )+\log \left (\sqrt [3]{-1+x}-\sqrt [3]{x} \text {$\#$1}\right )}{\text {$\#$1}}\&\right ]-4 \sqrt [3]{-1+x} \text {RootSum}\left [1-\text {$\#$1}^3+\text {$\#$1}^6\&,\frac {-\log \left (\sqrt [3]{x}\right )+\log \left (\sqrt [3]{-1+x}-\sqrt [3]{x} \text {$\#$1}\right )}{\text {$\#$1}}\&\right ]\right )}{24 \sqrt [3]{(-1+x) x^2}} \]

[In]

Integrate[x^3/((-x^2 + x^3)^(1/3)*(-1 + x^6)),x]

[Out]

(x^(2/3)*(-12*x^(1/3) + 2*2^(2/3)*Sqrt[3]*(-1 + x)^(1/3)*ArcTan[(Sqrt[3]*x^(1/3))/(2^(2/3)*(-1 + x)^(1/3) + x^
(1/3))] - 2*2^(2/3)*(-1 + x)^(1/3)*Log[2^(2/3)*(-1 + x)^(1/3) - 2*x^(1/3)] + 2^(2/3)*(-1 + x)^(1/3)*Log[2^(1/3
)*(-1 + x)^(2/3) + 2^(2/3)*(-1 + x)^(1/3)*x^(1/3) + 2*x^(2/3)] + 4*(-1 + x)^(1/3)*RootSum[3 - 3*#1^3 + #1^6 &
, (-Log[x^(1/3)] + Log[(-1 + x)^(1/3) - x^(1/3)*#1])/#1 & ] - 4*(-1 + x)^(1/3)*RootSum[1 - #1^3 + #1^6 & , (-L
og[x^(1/3)] + Log[(-1 + x)^(1/3) - x^(1/3)*#1])/#1 & ]))/(24*((-1 + x)*x^2)^(1/3))

Maple [N/A] (verified)

Time = 0.72 (sec) , antiderivative size = 237, normalized size of antiderivative = 0.92

method result size
pseudoelliptic \(\frac {-2 \sqrt {3}\, 2^{\frac {2}{3}} \arctan \left (\frac {\sqrt {3}\, \left (2^{\frac {2}{3}} \left (\left (-1+x \right ) x^{2}\right )^{\frac {1}{3}}+x \right )}{3 x}\right ) \left (\left (-1+x \right ) x^{2}\right )^{\frac {1}{3}}-2 \,2^{\frac {2}{3}} \ln \left (\frac {-2^{\frac {1}{3}} x +\left (\left (-1+x \right ) x^{2}\right )^{\frac {1}{3}}}{x}\right ) \left (\left (-1+x \right ) x^{2}\right )^{\frac {1}{3}}+2^{\frac {2}{3}} \ln \left (\frac {2^{\frac {2}{3}} x^{2}+2^{\frac {1}{3}} \left (\left (-1+x \right ) x^{2}\right )^{\frac {1}{3}} x +\left (\left (-1+x \right ) x^{2}\right )^{\frac {2}{3}}}{x^{2}}\right ) \left (\left (-1+x \right ) x^{2}\right )^{\frac {1}{3}}-4 \left (\munderset {\textit {\_R} =\operatorname {RootOf}\left (\textit {\_Z}^{6}-\textit {\_Z}^{3}+1\right )}{\sum }\frac {\ln \left (\frac {-\textit {\_R} x +\left (\left (-1+x \right ) x^{2}\right )^{\frac {1}{3}}}{x}\right )}{\textit {\_R}}\right ) \left (\left (-1+x \right ) x^{2}\right )^{\frac {1}{3}}+4 \left (\munderset {\textit {\_R} =\operatorname {RootOf}\left (\textit {\_Z}^{6}-3 \textit {\_Z}^{3}+3\right )}{\sum }\frac {\ln \left (\frac {-\textit {\_R} x +\left (\left (-1+x \right ) x^{2}\right )^{\frac {1}{3}}}{x}\right )}{\textit {\_R}}\right ) \left (\left (-1+x \right ) x^{2}\right )^{\frac {1}{3}}-12 x}{24 \left (\left (-1+x \right ) x^{2}\right )^{\frac {1}{3}}}\) \(237\)

[In]

int(x^3/(x^3-x^2)^(1/3)/(x^6-1),x,method=_RETURNVERBOSE)

[Out]

1/24*(-2*3^(1/2)*2^(2/3)*arctan(1/3*3^(1/2)*(2^(2/3)*((-1+x)*x^2)^(1/3)+x)/x)*((-1+x)*x^2)^(1/3)-2*2^(2/3)*ln(
(-2^(1/3)*x+((-1+x)*x^2)^(1/3))/x)*((-1+x)*x^2)^(1/3)+2^(2/3)*ln((2^(2/3)*x^2+2^(1/3)*((-1+x)*x^2)^(1/3)*x+((-
1+x)*x^2)^(2/3))/x^2)*((-1+x)*x^2)^(1/3)-4*sum(ln((-_R*x+((-1+x)*x^2)^(1/3))/x)/_R,_R=RootOf(_Z^6-_Z^3+1))*((-
1+x)*x^2)^(1/3)+4*sum(ln((-_R*x+((-1+x)*x^2)^(1/3))/x)/_R,_R=RootOf(_Z^6-3*_Z^3+3))*((-1+x)*x^2)^(1/3)-12*x)/(
(-1+x)*x^2)^(1/3)

Fricas [C] (verification not implemented)

Result contains higher order function than in optimal. Order 3 vs. order 1.

Time = 0.33 (sec) , antiderivative size = 1164, normalized size of antiderivative = 4.53 \[ \int \frac {x^3}{\sqrt [3]{-x^2+x^3} \left (-1+x^6\right )} \, dx=\text {Too large to display} \]

[In]

integrate(x^3/(x^3-x^2)^(1/3)/(x^6-1),x, algorithm="fricas")

[Out]

-1/72*(6*sqrt(6)*2^(1/6)*(-1)^(1/3)*(x^2 - x)*arctan(-1/6*2^(1/6)*(sqrt(6)*2^(1/3)*x - 2*sqrt(6)*(-1)^(1/3)*(x
^3 - x^2)^(1/3))/x) - 6*2^(2/3)*(-1)^(1/3)*(x^2 - x)*log(-(2^(1/3)*(-1)^(2/3)*x - (x^3 - x^2)^(1/3))/x) + 6^(2
/3)*(x^2 + sqrt(-3)*(x^2 - x) - x)*(I*sqrt(3) + 3)^(1/3)*log((6^(1/3)*(sqrt(3)*(I*sqrt(-3)*x - I*x) - 3*sqrt(-
3)*x + 3*x)*(I*sqrt(3) + 3)^(2/3) + 24*(x^3 - x^2)^(1/3))/x) + 6^(2/3)*(x^2 - sqrt(-3)*(x^2 - x) - x)*(I*sqrt(
3) + 3)^(1/3)*log((6^(1/3)*(sqrt(3)*(-I*sqrt(-3)*x - I*x) + 3*sqrt(-3)*x + 3*x)*(I*sqrt(3) + 3)^(2/3) + 24*(x^
3 - x^2)^(1/3))/x) - 2*6^(2/3)*(x^2 - x)*(I*sqrt(3) + 3)^(1/3)*log((6^(1/3)*(I*sqrt(3)*x - 3*x)*(I*sqrt(3) + 3
)^(2/3) + 12*(x^3 - x^2)^(1/3))/x) + 6^(2/3)*(x^2 - sqrt(-3)*(x^2 - x) - x)*(-I*sqrt(3) + 3)^(1/3)*log((6^(1/3
)*(sqrt(3)*(I*sqrt(-3)*x + I*x) + 3*sqrt(-3)*x + 3*x)*(-I*sqrt(3) + 3)^(2/3) + 24*(x^3 - x^2)^(1/3))/x) + 6^(2
/3)*(x^2 + sqrt(-3)*(x^2 - x) - x)*(-I*sqrt(3) + 3)^(1/3)*log((6^(1/3)*(sqrt(3)*(-I*sqrt(-3)*x + I*x) - 3*sqrt
(-3)*x + 3*x)*(-I*sqrt(3) + 3)^(2/3) + 24*(x^3 - x^2)^(1/3))/x) - 2*6^(2/3)*(x^2 - x)*(-I*sqrt(3) + 3)^(1/3)*l
og((6^(1/3)*(-I*sqrt(3)*x - 3*x)*(-I*sqrt(3) + 3)^(2/3) + 12*(x^3 - x^2)^(1/3))/x) + 3*2^(2/3)*(x^2 - sqrt(-3)
*(x^2 - x) - x)*(I*sqrt(3) - 1)^(1/3)*log(((sqrt(3)*2^(1/3)*(I*sqrt(-3)*x + I*x) + 2^(1/3)*(sqrt(-3)*x + x))*(
I*sqrt(3) - 1)^(2/3) + 8*(x^3 - x^2)^(1/3))/x) + 3*2^(2/3)*(x^2 + sqrt(-3)*(x^2 - x) - x)*(I*sqrt(3) - 1)^(1/3
)*log(((sqrt(3)*2^(1/3)*(-I*sqrt(-3)*x + I*x) - 2^(1/3)*(sqrt(-3)*x - x))*(I*sqrt(3) - 1)^(2/3) + 8*(x^3 - x^2
)^(1/3))/x) - 6*2^(2/3)*(x^2 - x)*(I*sqrt(3) - 1)^(1/3)*log(((-I*sqrt(3)*2^(1/3)*x - 2^(1/3)*x)*(I*sqrt(3) - 1
)^(2/3) + 4*(x^3 - x^2)^(1/3))/x) + 3*2^(2/3)*(x^2 + sqrt(-3)*(x^2 - x) - x)*(-I*sqrt(3) - 1)^(1/3)*log(((sqrt
(3)*2^(1/3)*(I*sqrt(-3)*x - I*x) - 2^(1/3)*(sqrt(-3)*x - x))*(-I*sqrt(3) - 1)^(2/3) + 8*(x^3 - x^2)^(1/3))/x)
+ 3*2^(2/3)*(x^2 - sqrt(-3)*(x^2 - x) - x)*(-I*sqrt(3) - 1)^(1/3)*log(((sqrt(3)*2^(1/3)*(-I*sqrt(-3)*x - I*x)
+ 2^(1/3)*(sqrt(-3)*x + x))*(-I*sqrt(3) - 1)^(2/3) + 8*(x^3 - x^2)^(1/3))/x) - 6*2^(2/3)*(x^2 - x)*(-I*sqrt(3)
 - 1)^(1/3)*log(((I*sqrt(3)*2^(1/3)*x - 2^(1/3)*x)*(-I*sqrt(3) - 1)^(2/3) + 4*(x^3 - x^2)^(1/3))/x) + 3*2^(2/3
)*(-1)^(1/3)*(x^2 - x)*log(-(2^(2/3)*(-1)^(1/3)*x^2 - 2^(1/3)*(-1)^(2/3)*(x^3 - x^2)^(1/3)*x - (x^3 - x^2)^(2/
3))/x^2) + 36*(x^3 - x^2)^(2/3))/(x^2 - x)

Sympy [N/A]

Not integrable

Time = 0.76 (sec) , antiderivative size = 34, normalized size of antiderivative = 0.13 \[ \int \frac {x^3}{\sqrt [3]{-x^2+x^3} \left (-1+x^6\right )} \, dx=\int \frac {x^{3}}{\sqrt [3]{x^{2} \left (x - 1\right )} \left (x - 1\right ) \left (x + 1\right ) \left (x^{2} - x + 1\right ) \left (x^{2} + x + 1\right )}\, dx \]

[In]

integrate(x**3/(x**3-x**2)**(1/3)/(x**6-1),x)

[Out]

Integral(x**3/((x**2*(x - 1))**(1/3)*(x - 1)*(x + 1)*(x**2 - x + 1)*(x**2 + x + 1)), x)

Maxima [N/A]

Not integrable

Time = 0.30 (sec) , antiderivative size = 24, normalized size of antiderivative = 0.09 \[ \int \frac {x^3}{\sqrt [3]{-x^2+x^3} \left (-1+x^6\right )} \, dx=\int { \frac {x^{3}}{{\left (x^{6} - 1\right )} {\left (x^{3} - x^{2}\right )}^{\frac {1}{3}}} \,d x } \]

[In]

integrate(x^3/(x^3-x^2)^(1/3)/(x^6-1),x, algorithm="maxima")

[Out]

integrate(x^3/((x^6 - 1)*(x^3 - x^2)^(1/3)), x)

Giac [F(-2)]

Exception generated. \[ \int \frac {x^3}{\sqrt [3]{-x^2+x^3} \left (-1+x^6\right )} \, dx=\text {Exception raised: TypeError} \]

[In]

integrate(x^3/(x^3-x^2)^(1/3)/(x^6-1),x, algorithm="giac")

[Out]

Exception raised: TypeError >> an error occurred running a Giac command:INPUT:sage2:=int(sage0,sageVARx):;OUTP
UT:proot error [1,0,0,1,0,0,1]proot error [1,0,0,-1,0,0,1]Invalid _EXT in replace_ext Error: Bad Argument Valu
eproot erro

Mupad [N/A]

Not integrable

Time = 6.58 (sec) , antiderivative size = 24, normalized size of antiderivative = 0.09 \[ \int \frac {x^3}{\sqrt [3]{-x^2+x^3} \left (-1+x^6\right )} \, dx=\int \frac {x^3}{\left (x^6-1\right )\,{\left (x^3-x^2\right )}^{1/3}} \,d x \]

[In]

int(x^3/((x^6 - 1)*(x^3 - x^2)^(1/3)),x)

[Out]

int(x^3/((x^6 - 1)*(x^3 - x^2)^(1/3)), x)