\(\int \frac {x}{\sqrt {-1+x^3} (8+x^3)} \, dx\) [75]

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

Optimal result

Integrand size = 18, antiderivative size = 74 \[ \int \frac {x}{\sqrt {-1+x^3} \left (8+x^3\right )} \, dx=\frac {1}{18} \arctan \left (\frac {(1-x)^2}{3 \sqrt {-1+x^3}}\right )+\frac {1}{18} \arctan \left (\frac {1}{3} \sqrt {-1+x^3}\right )-\frac {\text {arctanh}\left (\frac {\sqrt {3} (1-x)}{\sqrt {-1+x^3}}\right )}{6 \sqrt {3}} \] Output:

1/18*arctan(1/3*(1-x)^2/(x^3-1)^(1/2))+1/18*arctan(1/3*(x^3-1)^(1/2))-1/18 
*arctanh((1-x)*3^(1/2)/(x^3-1)^(1/2))*3^(1/2)
 

Mathematica [C] (warning: unable to verify)

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

Time = 10.02 (sec) , antiderivative size = 48, normalized size of antiderivative = 0.65 \[ \int \frac {x}{\sqrt {-1+x^3} \left (8+x^3\right )} \, dx=\frac {x^2 \sqrt {1-x^3} \operatorname {AppellF1}\left (\frac {2}{3},\frac {1}{2},1,\frac {5}{3},x^3,-\frac {x^3}{8}\right )}{16 \sqrt {-1+x^3}} \] Input:

Integrate[x/(Sqrt[-1 + x^3]*(8 + x^3)),x]
 

Output:

(x^2*Sqrt[1 - x^3]*AppellF1[2/3, 1/2, 1, 5/3, x^3, -1/8*x^3])/(16*Sqrt[-1 
+ x^3])
 

Rubi [A] (verified)

Time = 0.42 (sec) , antiderivative size = 74, normalized size of antiderivative = 1.00, number of steps used = 10, number of rules used = 9, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.500, Rules used = {988, 25, 946, 73, 216, 2563, 216, 2570, 220}

Below are the steps used by Rubi to obtain the solution. The rule number used for the transformation is given above next to the arrow. The rules definitions used are listed below.

\(\displaystyle \int \frac {x}{\sqrt {x^3-1} \left (x^3+8\right )} \, dx\)

\(\Big \downarrow \) 988

\(\displaystyle -\frac {1}{12} \int \frac {1-x}{(x+2) \sqrt {x^3-1}}dx-\frac {1}{12} \int -\frac {-x^2+2 x+2}{\left (x^2-2 x+4\right ) \sqrt {x^3-1}}dx-\frac {1}{4} \int -\frac {x^2}{\sqrt {x^3-1} \left (x^3+8\right )}dx\)

\(\Big \downarrow \) 25

\(\displaystyle -\frac {1}{12} \int \frac {1-x}{(x+2) \sqrt {x^3-1}}dx+\frac {1}{12} \int \frac {-x^2+2 x+2}{\left (x^2-2 x+4\right ) \sqrt {x^3-1}}dx+\frac {1}{4} \int \frac {x^2}{\sqrt {x^3-1} \left (x^3+8\right )}dx\)

\(\Big \downarrow \) 946

\(\displaystyle -\frac {1}{12} \int \frac {1-x}{(x+2) \sqrt {x^3-1}}dx+\frac {1}{12} \int \frac {1}{\sqrt {x^3-1} \left (x^3+8\right )}dx^3+\frac {1}{12} \int \frac {-x^2+2 x+2}{\left (x^2-2 x+4\right ) \sqrt {x^3-1}}dx\)

\(\Big \downarrow \) 73

\(\displaystyle -\frac {1}{12} \int \frac {1-x}{(x+2) \sqrt {x^3-1}}dx+\frac {1}{6} \int \frac {1}{x^6+9}d\sqrt {x^3-1}+\frac {1}{12} \int \frac {-x^2+2 x+2}{\left (x^2-2 x+4\right ) \sqrt {x^3-1}}dx\)

\(\Big \downarrow \) 216

\(\displaystyle -\frac {1}{12} \int \frac {1-x}{(x+2) \sqrt {x^3-1}}dx+\frac {1}{12} \int \frac {-x^2+2 x+2}{\left (x^2-2 x+4\right ) \sqrt {x^3-1}}dx+\frac {1}{18} \arctan \left (\frac {\sqrt {x^3-1}}{3}\right )\)

\(\Big \downarrow \) 2563

\(\displaystyle \frac {1}{6} \int \frac {1}{\frac {(1-x)^4}{x^3-1}+9}d\frac {(1-x)^2}{\sqrt {x^3-1}}+\frac {1}{12} \int \frac {-x^2+2 x+2}{\left (x^2-2 x+4\right ) \sqrt {x^3-1}}dx+\frac {1}{18} \arctan \left (\frac {\sqrt {x^3-1}}{3}\right )\)

\(\Big \downarrow \) 216

\(\displaystyle \frac {1}{12} \int \frac {-x^2+2 x+2}{\left (x^2-2 x+4\right ) \sqrt {x^3-1}}dx+\frac {1}{18} \arctan \left (\frac {(1-x)^2}{3 \sqrt {x^3-1}}\right )+\frac {1}{18} \arctan \left (\frac {\sqrt {x^3-1}}{3}\right )\)

\(\Big \downarrow \) 2570

\(\displaystyle \frac {1}{3} \int \frac {1}{\frac {6 (1-x)^2}{x^3-1}-2}d\frac {1-x}{\sqrt {x^3-1}}+\frac {1}{18} \arctan \left (\frac {(1-x)^2}{3 \sqrt {x^3-1}}\right )+\frac {1}{18} \arctan \left (\frac {\sqrt {x^3-1}}{3}\right )\)

\(\Big \downarrow \) 220

\(\displaystyle \frac {1}{18} \arctan \left (\frac {(1-x)^2}{3 \sqrt {x^3-1}}\right )+\frac {1}{18} \arctan \left (\frac {\sqrt {x^3-1}}{3}\right )-\frac {\text {arctanh}\left (\frac {\sqrt {3} (1-x)}{\sqrt {x^3-1}}\right )}{6 \sqrt {3}}\)

Input:

Int[x/(Sqrt[-1 + x^3]*(8 + x^3)),x]
 

Output:

ArcTan[(1 - x)^2/(3*Sqrt[-1 + x^3])]/18 + ArcTan[Sqrt[-1 + x^3]/3]/18 - Ar 
cTanh[(Sqrt[3]*(1 - x))/Sqrt[-1 + x^3]]/(6*Sqrt[3])
 

Defintions of rubi rules used

rule 25
Int[-(Fx_), x_Symbol] :> Simp[Identity[-1]   Int[Fx, x], x]
 

rule 73
Int[((a_.) + (b_.)*(x_))^(m_)*((c_.) + (d_.)*(x_))^(n_), x_Symbol] :> With[ 
{p = Denominator[m]}, Simp[p/b   Subst[Int[x^(p*(m + 1) - 1)*(c - a*(d/b) + 
 d*(x^p/b))^n, x], x, (a + b*x)^(1/p)], x]] /; FreeQ[{a, b, c, d}, x] && Lt 
Q[-1, m, 0] && LeQ[-1, n, 0] && LeQ[Denominator[n], Denominator[m]] && IntL 
inearQ[a, b, c, d, m, n, x]
 

rule 216
Int[((a_) + (b_.)*(x_)^2)^(-1), x_Symbol] :> Simp[(1/(Rt[a, 2]*Rt[b, 2]))*A 
rcTan[Rt[b, 2]*(x/Rt[a, 2])], x] /; FreeQ[{a, b}, x] && PosQ[a/b] && (GtQ[a 
, 0] || GtQ[b, 0])
 

rule 220
Int[((a_) + (b_.)*(x_)^2)^(-1), x_Symbol] :> Simp[(-(Rt[-a, 2]*Rt[b, 2])^(- 
1))*ArcTanh[Rt[b, 2]*(x/Rt[-a, 2])], x] /; FreeQ[{a, b}, x] && NegQ[a/b] && 
 (LtQ[a, 0] || GtQ[b, 0])
 

rule 946
Int[(x_)^(m_.)*((a_) + (b_.)*(x_)^(n_))^(p_.)*((c_) + (d_.)*(x_)^(n_))^(q_. 
), x_Symbol] :> Simp[1/n   Subst[Int[(a + b*x)^p*(c + d*x)^q, x], x, x^n], 
x] /; FreeQ[{a, b, c, d, m, n, p, q}, x] && NeQ[b*c - a*d, 0] && EqQ[m - n 
+ 1, 0]
 

rule 988
Int[(x_)/(((a_) + (b_.)*(x_)^3)*Sqrt[(c_) + (d_.)*(x_)^3]), x_Symbol] :> Wi 
th[{q = Rt[d/c, 3]}, Simp[d*(q/(4*b))   Int[x^2/((8*c - d*x^3)*Sqrt[c + d*x 
^3]), x], x] + (-Simp[q^2/(12*b)   Int[(1 + q*x)/((2 - q*x)*Sqrt[c + d*x^3] 
), x], x] + Simp[1/(12*b*c)   Int[(2*c*q^2 - 2*d*x - d*q*x^2)/((4 + 2*q*x + 
 q^2*x^2)*Sqrt[c + d*x^3]), x], x])] /; FreeQ[{a, b, c, d}, x] && NeQ[b*c - 
 a*d, 0] && EqQ[8*b*c + a*d, 0]
 

rule 2563
Int[((e_) + (f_.)*(x_))/(((c_) + (d_.)*(x_))*Sqrt[(a_) + (b_.)*(x_)^3]), x_ 
Symbol] :> Simp[-2*(e/d)   Subst[Int[1/(9 - a*x^2), x], x, (1 + f*(x/e))^2/ 
Sqrt[a + b*x^3]], x] /; FreeQ[{a, b, c, d, e, f}, x] && NeQ[d*e - c*f, 0] & 
& EqQ[b*c^3 + 8*a*d^3, 0] && EqQ[2*d*e + c*f, 0]
 

rule 2570
Int[((f_) + (g_.)*(x_) + (h_.)*(x_)^2)/(((c_) + (d_.)*(x_) + (e_.)*(x_)^2)* 
Sqrt[(a_) + (b_.)*(x_)^3]), x_Symbol] :> Simp[-2*g*h   Subst[Int[1/(2*e*h - 
 (b*d*f - 2*a*e*h)*x^2), x], x, (1 + 2*h*(x/g))/Sqrt[a + b*x^3]], x] /; Fre 
eQ[{a, b, c, d, e, f, g, h}, x] && NeQ[b*d*f - 2*a*e*h, 0] && EqQ[b*g^3 - 8 
*a*h^3, 0] && EqQ[g^2 + 2*f*h, 0] && EqQ[b*d*f + b*c*g - 4*a*e*h, 0]
 
Maple [C] (verified)

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

Time = 8.43 (sec) , antiderivative size = 421, normalized size of antiderivative = 5.69

method result size
default \(-\frac {\left (-\frac {3}{2}-\frac {i \sqrt {3}}{2}\right ) \sqrt {\frac {-1+x}{-\frac {3}{2}-\frac {i \sqrt {3}}{2}}}\, \sqrt {\frac {x +\frac {1}{2}-\frac {i \sqrt {3}}{2}}{\frac {3}{2}-\frac {i \sqrt {3}}{2}}}\, \sqrt {\frac {x +\frac {1}{2}+\frac {i \sqrt {3}}{2}}{\frac {3}{2}+\frac {i \sqrt {3}}{2}}}\, \operatorname {EllipticPi}\left (\sqrt {\frac {-1+x}{-\frac {3}{2}-\frac {i \sqrt {3}}{2}}}, \frac {i \sqrt {3}}{6}+\frac {1}{2}, \sqrt {\frac {\frac {3}{2}+\frac {i \sqrt {3}}{2}}{\frac {3}{2}-\frac {i \sqrt {3}}{2}}}\right )}{9 \sqrt {x^{3}-1}}+\frac {i \left (\frac {1}{2}-\frac {i \sqrt {3}}{2}\right ) \left (-\frac {3}{2}-\frac {i \sqrt {3}}{2}\right ) \sqrt {\frac {-1+x}{-\frac {3}{2}-\frac {i \sqrt {3}}{2}}}\, \sqrt {\frac {x +\frac {1}{2}-\frac {i \sqrt {3}}{2}}{\frac {3}{2}-\frac {i \sqrt {3}}{2}}}\, \sqrt {\frac {x +\frac {1}{2}+\frac {i \sqrt {3}}{2}}{\frac {3}{2}+\frac {i \sqrt {3}}{2}}}\, \sqrt {3}\, \operatorname {EllipticPi}\left (\sqrt {\frac {-1+x}{-\frac {3}{2}-\frac {i \sqrt {3}}{2}}}, \frac {i \left (1+i \sqrt {3}\right ) \sqrt {3}}{6}+\frac {i \sqrt {3}}{3}, \sqrt {\frac {\frac {3}{2}+\frac {i \sqrt {3}}{2}}{\frac {3}{2}-\frac {i \sqrt {3}}{2}}}\right )}{9 \sqrt {x^{3}-1}}-\frac {i \left (\frac {1}{2}+\frac {i \sqrt {3}}{2}\right ) \left (-\frac {3}{2}-\frac {i \sqrt {3}}{2}\right ) \sqrt {\frac {-1+x}{-\frac {3}{2}-\frac {i \sqrt {3}}{2}}}\, \sqrt {\frac {x +\frac {1}{2}-\frac {i \sqrt {3}}{2}}{\frac {3}{2}-\frac {i \sqrt {3}}{2}}}\, \sqrt {\frac {x +\frac {1}{2}+\frac {i \sqrt {3}}{2}}{\frac {3}{2}+\frac {i \sqrt {3}}{2}}}\, \sqrt {3}\, \operatorname {EllipticPi}\left (\sqrt {\frac {-1+x}{-\frac {3}{2}-\frac {i \sqrt {3}}{2}}}, \frac {i \left (1-i \sqrt {3}\right ) \sqrt {3}}{6}-\frac {2 i \sqrt {3}}{3}, \sqrt {\frac {\frac {3}{2}+\frac {i \sqrt {3}}{2}}{\frac {3}{2}-\frac {i \sqrt {3}}{2}}}\right )}{9 \sqrt {x^{3}-1}}\) \(421\)
trager \(\frac {\operatorname {RootOf}\left (\textit {\_Z}^{2}+1\right ) \ln \left (-\frac {-9 \operatorname {RootOf}\left (-18 \operatorname {RootOf}\left (\textit {\_Z}^{2}+1\right ) \textit {\_Z} +324 \textit {\_Z}^{2}-1\right ) \operatorname {RootOf}\left (\textit {\_Z}^{2}+1\right )^{2} x^{2}-162 {\operatorname {RootOf}\left (-18 \operatorname {RootOf}\left (\textit {\_Z}^{2}+1\right ) \textit {\_Z} +324 \textit {\_Z}^{2}-1\right )}^{2} \operatorname {RootOf}\left (\textit {\_Z}^{2}+1\right ) x^{2}+36 \operatorname {RootOf}\left (-18 \operatorname {RootOf}\left (\textit {\_Z}^{2}+1\right ) \textit {\_Z} +324 \textit {\_Z}^{2}-1\right ) \operatorname {RootOf}\left (\textit {\_Z}^{2}+1\right )^{2} x +648 x {\operatorname {RootOf}\left (-18 \operatorname {RootOf}\left (\textit {\_Z}^{2}+1\right ) \textit {\_Z} +324 \textit {\_Z}^{2}-1\right )}^{2} \operatorname {RootOf}\left (\textit {\_Z}^{2}+1\right )+54 \sqrt {x^{3}-1}\, \operatorname {RootOf}\left (\textit {\_Z}^{2}+1\right ) \operatorname {RootOf}\left (-18 \operatorname {RootOf}\left (\textit {\_Z}^{2}+1\right ) \textit {\_Z} +324 \textit {\_Z}^{2}-1\right )+2 \operatorname {RootOf}\left (\textit {\_Z}^{2}+1\right ) x +36 \operatorname {RootOf}\left (-18 \operatorname {RootOf}\left (\textit {\_Z}^{2}+1\right ) \textit {\_Z} +324 \textit {\_Z}^{2}-1\right ) x +3 \sqrt {x^{3}-1}+\operatorname {RootOf}\left (\textit {\_Z}^{2}+1\right )+18 \operatorname {RootOf}\left (-18 \operatorname {RootOf}\left (\textit {\_Z}^{2}+1\right ) \textit {\_Z} +324 \textit {\_Z}^{2}-1\right )}{\left (2+x \right ) \left (9 \operatorname {RootOf}\left (\textit {\_Z}^{2}+1\right ) \operatorname {RootOf}\left (-18 \operatorname {RootOf}\left (\textit {\_Z}^{2}+1\right ) \textit {\_Z} +324 \textit {\_Z}^{2}-1\right ) x +1\right )}\right )}{18}+\frac {\ln \left (\frac {\operatorname {RootOf}\left (\textit {\_Z}^{2}+1\right ) x^{2}-36 \operatorname {RootOf}\left (-18 \operatorname {RootOf}\left (\textit {\_Z}^{2}+1\right ) \textit {\_Z} +324 \textit {\_Z}^{2}-1\right ) x^{2}+4 \operatorname {RootOf}\left (\textit {\_Z}^{2}+1\right ) x -144 \operatorname {RootOf}\left (-18 \operatorname {RootOf}\left (\textit {\_Z}^{2}+1\right ) \textit {\_Z} +324 \textit {\_Z}^{2}-1\right ) x +6 \sqrt {x^{3}-1}-2 \operatorname {RootOf}\left (\textit {\_Z}^{2}+1\right )+72 \operatorname {RootOf}\left (-18 \operatorname {RootOf}\left (\textit {\_Z}^{2}+1\right ) \textit {\_Z} +324 \textit {\_Z}^{2}-1\right )}{x^{2}-2 x +4}\right ) \operatorname {RootOf}\left (\textit {\_Z}^{2}+1\right )}{18}-\ln \left (\frac {\operatorname {RootOf}\left (\textit {\_Z}^{2}+1\right ) x^{2}-36 \operatorname {RootOf}\left (-18 \operatorname {RootOf}\left (\textit {\_Z}^{2}+1\right ) \textit {\_Z} +324 \textit {\_Z}^{2}-1\right ) x^{2}+4 \operatorname {RootOf}\left (\textit {\_Z}^{2}+1\right ) x -144 \operatorname {RootOf}\left (-18 \operatorname {RootOf}\left (\textit {\_Z}^{2}+1\right ) \textit {\_Z} +324 \textit {\_Z}^{2}-1\right ) x +6 \sqrt {x^{3}-1}-2 \operatorname {RootOf}\left (\textit {\_Z}^{2}+1\right )+72 \operatorname {RootOf}\left (-18 \operatorname {RootOf}\left (\textit {\_Z}^{2}+1\right ) \textit {\_Z} +324 \textit {\_Z}^{2}-1\right )}{x^{2}-2 x +4}\right ) \operatorname {RootOf}\left (-18 \operatorname {RootOf}\left (\textit {\_Z}^{2}+1\right ) \textit {\_Z} +324 \textit {\_Z}^{2}-1\right )\) \(507\)
elliptic \(\text {Expression too large to display}\) \(889\)

Input:

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

Output:

-1/9*(-3/2-1/2*I*3^(1/2))*((-1+x)/(-3/2-1/2*I*3^(1/2)))^(1/2)*((x+1/2-1/2* 
I*3^(1/2))/(3/2-1/2*I*3^(1/2)))^(1/2)*((x+1/2+1/2*I*3^(1/2))/(3/2+1/2*I*3^ 
(1/2)))^(1/2)/(x^3-1)^(1/2)*EllipticPi(((-1+x)/(-3/2-1/2*I*3^(1/2)))^(1/2) 
,1/6*I*3^(1/2)+1/2,((3/2+1/2*I*3^(1/2))/(3/2-1/2*I*3^(1/2)))^(1/2))+1/9*I* 
(1/2-1/2*I*3^(1/2))*(-3/2-1/2*I*3^(1/2))*((-1+x)/(-3/2-1/2*I*3^(1/2)))^(1/ 
2)*((x+1/2-1/2*I*3^(1/2))/(3/2-1/2*I*3^(1/2)))^(1/2)*((x+1/2+1/2*I*3^(1/2) 
)/(3/2+1/2*I*3^(1/2)))^(1/2)/(x^3-1)^(1/2)*3^(1/2)*EllipticPi(((-1+x)/(-3/ 
2-1/2*I*3^(1/2)))^(1/2),1/6*I*(1+I*3^(1/2))*3^(1/2)+1/3*I*3^(1/2),((3/2+1/ 
2*I*3^(1/2))/(3/2-1/2*I*3^(1/2)))^(1/2))-1/9*I*(1/2+1/2*I*3^(1/2))*(-3/2-1 
/2*I*3^(1/2))*((-1+x)/(-3/2-1/2*I*3^(1/2)))^(1/2)*((x+1/2-1/2*I*3^(1/2))/( 
3/2-1/2*I*3^(1/2)))^(1/2)*((x+1/2+1/2*I*3^(1/2))/(3/2+1/2*I*3^(1/2)))^(1/2 
)/(x^3-1)^(1/2)*3^(1/2)*EllipticPi(((-1+x)/(-3/2-1/2*I*3^(1/2)))^(1/2),1/6 
*I*(1-I*3^(1/2))*3^(1/2)-2/3*I*3^(1/2),((3/2+1/2*I*3^(1/2))/(3/2-1/2*I*3^( 
1/2)))^(1/2))
 

Fricas [B] (verification not implemented)

Leaf count of result is larger than twice the leaf count of optimal. 261 vs. \(2 (51) = 102\).

Time = 0.13 (sec) , antiderivative size = 261, normalized size of antiderivative = 3.53 \[ \int \frac {x}{\sqrt {-1+x^3} \left (8+x^3\right )} \, dx=\frac {1}{216} \, \sqrt {3} \log \left (\frac {x^{6} + 48 \, x^{5} + 186 \, x^{4} - 56 \, x^{3} + 6 \, \sqrt {3} {\left (x^{4} + 12 \, x^{3} + 12 \, x^{2} - 16 \, x\right )} \sqrt {x^{3} - 1} - 120 \, x^{2} - 96 \, x + 64}{x^{6} - 6 \, x^{5} + 24 \, x^{4} - 56 \, x^{3} + 96 \, x^{2} - 96 \, x + 64}\right ) - \frac {1}{216} \, \sqrt {3} \log \left (\frac {x^{6} + 48 \, x^{5} + 186 \, x^{4} - 56 \, x^{3} - 6 \, \sqrt {3} {\left (x^{4} + 12 \, x^{3} + 12 \, x^{2} - 16 \, x\right )} \sqrt {x^{3} - 1} - 120 \, x^{2} - 96 \, x + 64}{x^{6} - 6 \, x^{5} + 24 \, x^{4} - 56 \, x^{3} + 96 \, x^{2} - 96 \, x + 64}\right ) + \frac {1}{54} \, \arctan \left (\frac {{\left (x^{3} - 12 \, x^{2} - 6 \, x - 10\right )} \sqrt {x^{3} - 1}}{6 \, {\left (x^{4} - x^{3} - x + 1\right )}}\right ) + \frac {1}{54} \, \arctan \left (\frac {\sqrt {x^{3} - 1} {\left (x^{2} - 8 \, x + 10\right )}}{3 \, {\left (x^{3} - 3 \, x^{2} + 2\right )}}\right ) \] Input:

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

Output:

1/216*sqrt(3)*log((x^6 + 48*x^5 + 186*x^4 - 56*x^3 + 6*sqrt(3)*(x^4 + 12*x 
^3 + 12*x^2 - 16*x)*sqrt(x^3 - 1) - 120*x^2 - 96*x + 64)/(x^6 - 6*x^5 + 24 
*x^4 - 56*x^3 + 96*x^2 - 96*x + 64)) - 1/216*sqrt(3)*log((x^6 + 48*x^5 + 1 
86*x^4 - 56*x^3 - 6*sqrt(3)*(x^4 + 12*x^3 + 12*x^2 - 16*x)*sqrt(x^3 - 1) - 
 120*x^2 - 96*x + 64)/(x^6 - 6*x^5 + 24*x^4 - 56*x^3 + 96*x^2 - 96*x + 64) 
) + 1/54*arctan(1/6*(x^3 - 12*x^2 - 6*x - 10)*sqrt(x^3 - 1)/(x^4 - x^3 - x 
 + 1)) + 1/54*arctan(1/3*sqrt(x^3 - 1)*(x^2 - 8*x + 10)/(x^3 - 3*x^2 + 2))
 

Sympy [F]

\[ \int \frac {x}{\sqrt {-1+x^3} \left (8+x^3\right )} \, dx=\int \frac {x}{\sqrt {\left (x - 1\right ) \left (x^{2} + x + 1\right )} \left (x + 2\right ) \left (x^{2} - 2 x + 4\right )}\, dx \] Input:

integrate(x/(x**3+8)/(x**3-1)**(1/2),x)
 

Output:

Integral(x/(sqrt((x - 1)*(x**2 + x + 1))*(x + 2)*(x**2 - 2*x + 4)), x)
 

Maxima [F]

\[ \int \frac {x}{\sqrt {-1+x^3} \left (8+x^3\right )} \, dx=\int { \frac {x}{{\left (x^{3} + 8\right )} \sqrt {x^{3} - 1}} \,d x } \] Input:

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

Output:

integrate(x/((x^3 + 8)*sqrt(x^3 - 1)), x)
 

Giac [F]

\[ \int \frac {x}{\sqrt {-1+x^3} \left (8+x^3\right )} \, dx=\int { \frac {x}{{\left (x^{3} + 8\right )} \sqrt {x^{3} - 1}} \,d x } \] Input:

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

Output:

integrate(x/((x^3 + 8)*sqrt(x^3 - 1)), x)
 

Mupad [B] (verification not implemented)

Time = 0.12 (sec) , antiderivative size = 533, normalized size of antiderivative = 7.20 \[ \int \frac {x}{\sqrt {-1+x^3} \left (8+x^3\right )} \, dx =\text {Too large to display} \] Input:

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

Output:

(((3^(1/2)*1i)/2 + 3/2)*(-(x - (3^(1/2)*1i)/2 + 1/2)/((3^(1/2)*1i)/2 - 3/2 
))^(1/2)*((x + (3^(1/2)*1i)/2 + 1/2)/((3^(1/2)*1i)/2 + 3/2))^(1/2)*(-(x - 
1)/((3^(1/2)*1i)/2 + 3/2))^(1/2)*ellipticPi((3^(1/2)*1i)/6 + 1/2, asin((-( 
x - 1)/((3^(1/2)*1i)/2 + 3/2))^(1/2)), -((3^(1/2)*1i)/2 + 3/2)/((3^(1/2)*1 
i)/2 - 3/2)))/(9*(((3^(1/2)*1i)/2 - 1/2)*((3^(1/2)*1i)/2 + 1/2) - x*(((3^( 
1/2)*1i)/2 - 1/2)*((3^(1/2)*1i)/2 + 1/2) + 1) + x^3)^(1/2)) - (3^(1/2)*((3 
^(1/2)*1i)/2 + 3/2)*(-(x - (3^(1/2)*1i)/2 + 1/2)/((3^(1/2)*1i)/2 - 3/2))^( 
1/2)*((x + (3^(1/2)*1i)/2 + 1/2)/((3^(1/2)*1i)/2 + 3/2))^(1/2)*(-(x - 1)/( 
(3^(1/2)*1i)/2 + 3/2))^(1/2)*ellipticPi(-(3^(1/2)*((3^(1/2)*1i)/2 + 3/2)*1 
i)/3, asin((-(x - 1)/((3^(1/2)*1i)/2 + 3/2))^(1/2)), -((3^(1/2)*1i)/2 + 3/ 
2)/((3^(1/2)*1i)/2 - 3/2))*2i)/(9*(3^(1/2)*1i - 1)*(((3^(1/2)*1i)/2 - 1/2) 
*((3^(1/2)*1i)/2 + 1/2) - x*(((3^(1/2)*1i)/2 - 1/2)*((3^(1/2)*1i)/2 + 1/2) 
 + 1) + x^3)^(1/2)) - (3^(1/2)*((3^(1/2)*1i)/2 + 3/2)*(-(x - (3^(1/2)*1i)/ 
2 + 1/2)/((3^(1/2)*1i)/2 - 3/2))^(1/2)*((x + (3^(1/2)*1i)/2 + 1/2)/((3^(1/ 
2)*1i)/2 + 3/2))^(1/2)*(-(x - 1)/((3^(1/2)*1i)/2 + 3/2))^(1/2)*ellipticPi( 
(3^(1/2)*((3^(1/2)*1i)/2 + 3/2)*1i)/3, asin((-(x - 1)/((3^(1/2)*1i)/2 + 3/ 
2))^(1/2)), -((3^(1/2)*1i)/2 + 3/2)/((3^(1/2)*1i)/2 - 3/2))*2i)/(9*(3^(1/2 
)*1i + 1)*(((3^(1/2)*1i)/2 - 1/2)*((3^(1/2)*1i)/2 + 1/2) - x*(((3^(1/2)*1i 
)/2 - 1/2)*((3^(1/2)*1i)/2 + 1/2) + 1) + x^3)^(1/2))
 

Reduce [F]

\[ \int \frac {x}{\sqrt {-1+x^3} \left (8+x^3\right )} \, dx=\int \frac {\sqrt {x^{3}-1}\, x}{x^{6}+7 x^{3}-8}d x \] Input:

int(x/(x^3+8)/(x^3-1)^(1/2),x)
 

Output:

int((sqrt(x**3 - 1)*x)/(x**6 + 7*x**3 - 8),x)