3.29.97 \(\int \frac {1}{(-b+a x) \sqrt [3]{-b^2 x^2+a^3 x^3}} \, dx\) [2897]

3.29.97.1 Optimal result
3.29.97.2 Mathematica [A] (verified)
3.29.97.3 Rubi [A] (verified)
3.29.97.4 Maple [A] (verified)
3.29.97.5 Fricas [A] (verification not implemented)
3.29.97.6 Sympy [F]
3.29.97.7 Maxima [F]
3.29.97.8 Giac [A] (verification not implemented)
3.29.97.9 Mupad [F(-1)]

3.29.97.1 Optimal result

Integrand size = 30, antiderivative size = 319 \[ \int \frac {1}{(-b+a x) \sqrt [3]{-b^2 x^2+a^3 x^3}} \, dx=\frac {\sqrt {-3+3 i \sqrt {3}} \arctan \left (\frac {\sqrt {3} \sqrt [3]{a} \sqrt [3]{a^2-b} x}{\sqrt [3]{a} \sqrt [3]{a^2-b} x-2 \sqrt [3]{-1} \sqrt [3]{-b^2 x^2+a^3 x^3}}\right )}{\sqrt {2} \sqrt [3]{a} \sqrt [3]{a^2-b} b}-\frac {i \left (-i+\sqrt {3}\right ) \log \left (\sqrt [3]{a} \sqrt [3]{a^2-b} x+\sqrt [3]{-1} \sqrt [3]{-b^2 x^2+a^3 x^3}\right )}{2 \sqrt [3]{a} \sqrt [3]{a^2-b} b}+\frac {\left (1+i \sqrt {3}\right ) \log \left (a^{2/3} \left (a^2-b\right )^{2/3} x^2-\sqrt [3]{-1} \sqrt [3]{a} \sqrt [3]{a^2-b} x \sqrt [3]{-b^2 x^2+a^3 x^3}+(-1)^{2/3} \left (-b^2 x^2+a^3 x^3\right )^{2/3}\right )}{4 \sqrt [3]{a} \sqrt [3]{a^2-b} b} \]

output
1/2*(-3+3*I*3^(1/2))^(1/2)*arctan(3^(1/2)*a^(1/3)*(a^2-b)^(1/3)*x/(a^(1/3) 
*(a^2-b)^(1/3)*x-2*(-1)^(1/3)*(a^3*x^3-b^2*x^2)^(1/3)))*2^(1/2)/a^(1/3)/(a 
^2-b)^(1/3)/b-1/2*I*(-I+3^(1/2))*ln(a^(1/3)*(a^2-b)^(1/3)*x+(-1)^(1/3)*(a^ 
3*x^3-b^2*x^2)^(1/3))/a^(1/3)/(a^2-b)^(1/3)/b+1/4*(1+I*3^(1/2))*ln(a^(2/3) 
*(a^2-b)^(2/3)*x^2-(-1)^(1/3)*a^(1/3)*(a^2-b)^(1/3)*x*(a^3*x^3-b^2*x^2)^(1 
/3)+(-1)^(2/3)*(a^3*x^3-b^2*x^2)^(2/3))/a^(1/3)/(a^2-b)^(1/3)/b
 
3.29.97.2 Mathematica [A] (verified)

Time = 1.45 (sec) , antiderivative size = 329, normalized size of antiderivative = 1.03 \[ \int \frac {1}{(-b+a x) \sqrt [3]{-b^2 x^2+a^3 x^3}} \, dx=\frac {x^{2/3} \sqrt [3]{-b^2+a^3 x} \left (2 \sqrt {-6+6 i \sqrt {3}} \arctan \left (\frac {3 \sqrt [3]{a} \sqrt [3]{a^2-b} \sqrt [3]{x}}{\sqrt {3} \sqrt [3]{a} \sqrt [3]{a^2-b} \sqrt [3]{x}-\left (3 i+\sqrt {3}\right ) \sqrt [3]{-b^2+a^3 x}}\right )-i \left (-i+\sqrt {3}\right ) \left (2 \log \left (2 \sqrt [3]{a} \sqrt [3]{a^2-b} \sqrt [3]{x}+\left (1+i \sqrt {3}\right ) \sqrt [3]{-b^2+a^3 x}\right )-\log \left (-2 i a^{2/3} \left (a^2-b\right )^{2/3} x^{2/3}-\left (-i+\sqrt {3}\right ) \sqrt [3]{a} \sqrt [3]{a^2-b} \sqrt [3]{x} \sqrt [3]{-b^2+a^3 x}+\left (i+\sqrt {3}\right ) \left (-b^2+a^3 x\right )^{2/3}\right )\right )\right )}{4 \sqrt [3]{a} \sqrt [3]{a^2-b} b \sqrt [3]{x^2 \left (-b^2+a^3 x\right )}} \]

input
Integrate[1/((-b + a*x)*(-(b^2*x^2) + a^3*x^3)^(1/3)),x]
 
output
(x^(2/3)*(-b^2 + a^3*x)^(1/3)*(2*Sqrt[-6 + (6*I)*Sqrt[3]]*ArcTan[(3*a^(1/3 
)*(a^2 - b)^(1/3)*x^(1/3))/(Sqrt[3]*a^(1/3)*(a^2 - b)^(1/3)*x^(1/3) - (3*I 
 + Sqrt[3])*(-b^2 + a^3*x)^(1/3))] - I*(-I + Sqrt[3])*(2*Log[2*a^(1/3)*(a^ 
2 - b)^(1/3)*x^(1/3) + (1 + I*Sqrt[3])*(-b^2 + a^3*x)^(1/3)] - Log[(-2*I)* 
a^(2/3)*(a^2 - b)^(2/3)*x^(2/3) - (-I + Sqrt[3])*a^(1/3)*(a^2 - b)^(1/3)*x 
^(1/3)*(-b^2 + a^3*x)^(1/3) + (I + Sqrt[3])*(-b^2 + a^3*x)^(2/3)])))/(4*a^ 
(1/3)*(a^2 - b)^(1/3)*b*(x^2*(-b^2 + a^3*x))^(1/3))
 
3.29.97.3 Rubi [A] (verified)

Time = 0.31 (sec) , antiderivative size = 213, normalized size of antiderivative = 0.67, number of steps used = 3, number of rules used = 3, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.100, Rules used = {2467, 25, 102}

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 {1}{(a x-b) \sqrt [3]{a^3 x^3-b^2 x^2}} \, dx\)

\(\Big \downarrow \) 2467

\(\displaystyle \frac {x^{2/3} \sqrt [3]{a^3 x-b^2} \int -\frac {1}{x^{2/3} (b-a x) \sqrt [3]{a^3 x-b^2}}dx}{\sqrt [3]{a^3 x^3-b^2 x^2}}\)

\(\Big \downarrow \) 25

\(\displaystyle -\frac {x^{2/3} \sqrt [3]{a^3 x-b^2} \int \frac {1}{x^{2/3} (b-a x) \sqrt [3]{a^3 x-b^2}}dx}{\sqrt [3]{a^3 x^3-b^2 x^2}}\)

\(\Big \downarrow \) 102

\(\displaystyle -\frac {x^{2/3} \sqrt [3]{a^3 x-b^2} \left (\frac {\log (b-a x)}{2 \sqrt [3]{a} b \sqrt [3]{a^2-b}}-\frac {\sqrt {3} \arctan \left (\frac {2 \sqrt [3]{a^3 x-b^2}}{\sqrt {3} \sqrt [3]{a} \sqrt [3]{x} \sqrt [3]{a^2-b}}+\frac {1}{\sqrt {3}}\right )}{\sqrt [3]{a} b \sqrt [3]{a^2-b}}-\frac {3 \log \left (\frac {\sqrt [3]{a^3 x-b^2}}{\sqrt [3]{a} \sqrt [3]{a^2-b}}-\sqrt [3]{x}\right )}{2 \sqrt [3]{a} b \sqrt [3]{a^2-b}}\right )}{\sqrt [3]{a^3 x^3-b^2 x^2}}\)

input
Int[1/((-b + a*x)*(-(b^2*x^2) + a^3*x^3)^(1/3)),x]
 
output
-((x^(2/3)*(-b^2 + a^3*x)^(1/3)*(-((Sqrt[3]*ArcTan[1/Sqrt[3] + (2*(-b^2 + 
a^3*x)^(1/3))/(Sqrt[3]*a^(1/3)*(a^2 - b)^(1/3)*x^(1/3))])/(a^(1/3)*(a^2 - 
b)^(1/3)*b)) + Log[b - a*x]/(2*a^(1/3)*(a^2 - b)^(1/3)*b) - (3*Log[-x^(1/3 
) + (-b^2 + a^3*x)^(1/3)/(a^(1/3)*(a^2 - b)^(1/3))])/(2*a^(1/3)*(a^2 - b)^ 
(1/3)*b)))/(-(b^2*x^2) + a^3*x^3)^(1/3))
 

3.29.97.3.1 Defintions of rubi rules used

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

rule 102
Int[1/(((a_.) + (b_.)*(x_))^(1/3)*((c_.) + (d_.)*(x_))^(2/3)*((e_.) + (f_.) 
*(x_))), x_] :> With[{q = Rt[(d*e - c*f)/(b*e - a*f), 3]}, Simp[(-Sqrt[3])* 
q*(ArcTan[1/Sqrt[3] + 2*q*((a + b*x)^(1/3)/(Sqrt[3]*(c + d*x)^(1/3)))]/(d*e 
 - c*f)), x] + (Simp[q*(Log[e + f*x]/(2*(d*e - c*f))), x] - Simp[3*q*(Log[q 
*(a + b*x)^(1/3) - (c + d*x)^(1/3)]/(2*(d*e - c*f))), x])] /; FreeQ[{a, b, 
c, d, e, f}, x]
 

rule 2467
Int[(Fx_.)*(Px_)^(p_), x_Symbol] :> With[{r = Expon[Px, x, Min]}, Simp[Px^F 
racPart[p]/(x^(r*FracPart[p])*ExpandToSum[Px/x^r, x]^FracPart[p])   Int[x^( 
p*r)*ExpandToSum[Px/x^r, x]^p*Fx, x], x] /; IGtQ[r, 0]] /; FreeQ[p, x] && P 
olyQ[Px, x] &&  !IntegerQ[p] &&  !MonomialQ[Px, x] &&  !PolyQ[Fx, x]
 
3.29.97.4 Maple [A] (verified)

Time = 0.75 (sec) , antiderivative size = 185, normalized size of antiderivative = 0.58

method result size
pseudoelliptic \(\frac {2 \sqrt {3}\, \arctan \left (\frac {\sqrt {3}\, \left ({\left (a \left (a^{2}-b \right )\right )}^{\frac {1}{3}} x +2 \left (x^{2} \left (a^{3} x -b^{2}\right )\right )^{\frac {1}{3}}\right )}{3 {\left (a \left (a^{2}-b \right )\right )}^{\frac {1}{3}} x}\right )+2 \ln \left (\frac {-{\left (a \left (a^{2}-b \right )\right )}^{\frac {1}{3}} x +\left (x^{2} \left (a^{3} x -b^{2}\right )\right )^{\frac {1}{3}}}{x}\right )-\ln \left (\frac {{\left (a \left (a^{2}-b \right )\right )}^{\frac {2}{3}} x^{2}+{\left (a \left (a^{2}-b \right )\right )}^{\frac {1}{3}} \left (x^{2} \left (a^{3} x -b^{2}\right )\right )^{\frac {1}{3}} x +\left (x^{2} \left (a^{3} x -b^{2}\right )\right )^{\frac {2}{3}}}{x^{2}}\right )}{2 {\left (a \left (a^{2}-b \right )\right )}^{\frac {1}{3}} b}\) \(185\)

input
int(1/(a*x-b)/(a^3*x^3-b^2*x^2)^(1/3),x,method=_RETURNVERBOSE)
 
output
1/2*(2*3^(1/2)*arctan(1/3*3^(1/2)*((a*(a^2-b))^(1/3)*x+2*(x^2*(a^3*x-b^2)) 
^(1/3))/(a*(a^2-b))^(1/3)/x)+2*ln((-(a*(a^2-b))^(1/3)*x+(x^2*(a^3*x-b^2))^ 
(1/3))/x)-ln(((a*(a^2-b))^(2/3)*x^2+(a*(a^2-b))^(1/3)*(x^2*(a^3*x-b^2))^(1 
/3)*x+(x^2*(a^3*x-b^2))^(2/3))/x^2))/(a*(a^2-b))^(1/3)/b
 
3.29.97.5 Fricas [A] (verification not implemented)

Time = 0.26 (sec) , antiderivative size = 549, normalized size of antiderivative = 1.72 \[ \int \frac {1}{(-b+a x) \sqrt [3]{-b^2 x^2+a^3 x^3}} \, dx=\left [\frac {\sqrt {3} {\left (a^{3} - a b\right )} \sqrt {-\frac {1}{{\left (a^{3} - a b\right )}^{\frac {2}{3}}}} \log \left (-\frac {2 \, b^{2} x - {\left (3 \, a^{3} - a b\right )} x^{2} + 3 \, {\left (a^{3} x^{3} - b^{2} x^{2}\right )}^{\frac {1}{3}} {\left (a^{3} - a b\right )}^{\frac {2}{3}} x + \sqrt {3} {\left ({\left (a^{3} - a b\right )}^{\frac {4}{3}} x^{2} + {\left (a^{3} x^{3} - b^{2} x^{2}\right )}^{\frac {1}{3}} {\left (a^{3} - a b\right )} x - 2 \, {\left (a^{3} x^{3} - b^{2} x^{2}\right )}^{\frac {2}{3}} {\left (a^{3} - a b\right )}^{\frac {2}{3}}\right )} \sqrt {-\frac {1}{{\left (a^{3} - a b\right )}^{\frac {2}{3}}}}}{a x^{2} - b x}\right ) + 2 \, {\left (a^{3} - a b\right )}^{\frac {2}{3}} \log \left (-\frac {{\left (a^{3} - a b\right )}^{\frac {1}{3}} x - {\left (a^{3} x^{3} - b^{2} x^{2}\right )}^{\frac {1}{3}}}{x}\right ) - {\left (a^{3} - a b\right )}^{\frac {2}{3}} \log \left (\frac {{\left (a^{3} - a b\right )}^{\frac {2}{3}} x^{2} + {\left (a^{3} x^{3} - b^{2} x^{2}\right )}^{\frac {1}{3}} {\left (a^{3} - a b\right )}^{\frac {1}{3}} x + {\left (a^{3} x^{3} - b^{2} x^{2}\right )}^{\frac {2}{3}}}{x^{2}}\right )}{2 \, {\left (a^{3} b - a b^{2}\right )}}, \frac {2 \, \sqrt {3} {\left (a^{3} - a b\right )}^{\frac {2}{3}} \arctan \left (\frac {\sqrt {3} {\left ({\left (a^{3} - a b\right )}^{\frac {1}{3}} x + 2 \, {\left (a^{3} x^{3} - b^{2} x^{2}\right )}^{\frac {1}{3}}\right )}}{3 \, {\left (a^{3} - a b\right )}^{\frac {1}{3}} x}\right ) + 2 \, {\left (a^{3} - a b\right )}^{\frac {2}{3}} \log \left (-\frac {{\left (a^{3} - a b\right )}^{\frac {1}{3}} x - {\left (a^{3} x^{3} - b^{2} x^{2}\right )}^{\frac {1}{3}}}{x}\right ) - {\left (a^{3} - a b\right )}^{\frac {2}{3}} \log \left (\frac {{\left (a^{3} - a b\right )}^{\frac {2}{3}} x^{2} + {\left (a^{3} x^{3} - b^{2} x^{2}\right )}^{\frac {1}{3}} {\left (a^{3} - a b\right )}^{\frac {1}{3}} x + {\left (a^{3} x^{3} - b^{2} x^{2}\right )}^{\frac {2}{3}}}{x^{2}}\right )}{2 \, {\left (a^{3} b - a b^{2}\right )}}\right ] \]

input
integrate(1/(a*x-b)/(a^3*x^3-b^2*x^2)^(1/3),x, algorithm="fricas")
 
output
[1/2*(sqrt(3)*(a^3 - a*b)*sqrt(-1/(a^3 - a*b)^(2/3))*log(-(2*b^2*x - (3*a^ 
3 - a*b)*x^2 + 3*(a^3*x^3 - b^2*x^2)^(1/3)*(a^3 - a*b)^(2/3)*x + sqrt(3)*( 
(a^3 - a*b)^(4/3)*x^2 + (a^3*x^3 - b^2*x^2)^(1/3)*(a^3 - a*b)*x - 2*(a^3*x 
^3 - b^2*x^2)^(2/3)*(a^3 - a*b)^(2/3))*sqrt(-1/(a^3 - a*b)^(2/3)))/(a*x^2 
- b*x)) + 2*(a^3 - a*b)^(2/3)*log(-((a^3 - a*b)^(1/3)*x - (a^3*x^3 - b^2*x 
^2)^(1/3))/x) - (a^3 - a*b)^(2/3)*log(((a^3 - a*b)^(2/3)*x^2 + (a^3*x^3 - 
b^2*x^2)^(1/3)*(a^3 - a*b)^(1/3)*x + (a^3*x^3 - b^2*x^2)^(2/3))/x^2))/(a^3 
*b - a*b^2), 1/2*(2*sqrt(3)*(a^3 - a*b)^(2/3)*arctan(1/3*sqrt(3)*((a^3 - a 
*b)^(1/3)*x + 2*(a^3*x^3 - b^2*x^2)^(1/3))/((a^3 - a*b)^(1/3)*x)) + 2*(a^3 
 - a*b)^(2/3)*log(-((a^3 - a*b)^(1/3)*x - (a^3*x^3 - b^2*x^2)^(1/3))/x) - 
(a^3 - a*b)^(2/3)*log(((a^3 - a*b)^(2/3)*x^2 + (a^3*x^3 - b^2*x^2)^(1/3)*( 
a^3 - a*b)^(1/3)*x + (a^3*x^3 - b^2*x^2)^(2/3))/x^2))/(a^3*b - a*b^2)]
 
3.29.97.6 Sympy [F]

\[ \int \frac {1}{(-b+a x) \sqrt [3]{-b^2 x^2+a^3 x^3}} \, dx=\int \frac {1}{\sqrt [3]{x^{2} \left (a^{3} x - b^{2}\right )} \left (a x - b\right )}\, dx \]

input
integrate(1/(a*x-b)/(a**3*x**3-b**2*x**2)**(1/3),x)
 
output
Integral(1/((x**2*(a**3*x - b**2))**(1/3)*(a*x - b)), x)
 
3.29.97.7 Maxima [F]

\[ \int \frac {1}{(-b+a x) \sqrt [3]{-b^2 x^2+a^3 x^3}} \, dx=\int { \frac {1}{{\left (a^{3} x^{3} - b^{2} x^{2}\right )}^{\frac {1}{3}} {\left (a x - b\right )}} \,d x } \]

input
integrate(1/(a*x-b)/(a^3*x^3-b^2*x^2)^(1/3),x, algorithm="maxima")
 
output
integrate(1/((a^3*x^3 - b^2*x^2)^(1/3)*(a*x - b)), x)
 
3.29.97.8 Giac [A] (verification not implemented)

Time = 19.94 (sec) , antiderivative size = 207, normalized size of antiderivative = 0.65 \[ \int \frac {1}{(-b+a x) \sqrt [3]{-b^2 x^2+a^3 x^3}} \, dx=\frac {3 \, {\left (a^{3} - a b\right )}^{\frac {2}{3}} \arctan \left (\frac {\sqrt {3} {\left ({\left (a^{3} - a b\right )}^{\frac {1}{3}} + 2 \, {\left (a^{3} - \frac {b^{2}}{x}\right )}^{\frac {1}{3}}\right )}}{3 \, {\left (a^{3} - a b\right )}^{\frac {1}{3}}}\right )}{\sqrt {3} a^{3} b - \sqrt {3} a b^{2}} - \frac {{\left (a^{3} - a b\right )}^{\frac {2}{3}} \log \left ({\left (a^{3} - a b\right )}^{\frac {2}{3}} + {\left (a^{3} - a b\right )}^{\frac {1}{3}} {\left (a^{3} - \frac {b^{2}}{x}\right )}^{\frac {1}{3}} + {\left (a^{3} - \frac {b^{2}}{x}\right )}^{\frac {2}{3}}\right )}{2 \, {\left (a^{3} b - a b^{2}\right )}} + \frac {{\left (a^{3} - a b\right )}^{\frac {2}{3}} \log \left ({\left | -{\left (a^{3} - a b\right )}^{\frac {1}{3}} + {\left (a^{3} - \frac {b^{2}}{x}\right )}^{\frac {1}{3}} \right |}\right )}{a^{3} b - a b^{2}} \]

input
integrate(1/(a*x-b)/(a^3*x^3-b^2*x^2)^(1/3),x, algorithm="giac")
 
output
3*(a^3 - a*b)^(2/3)*arctan(1/3*sqrt(3)*((a^3 - a*b)^(1/3) + 2*(a^3 - b^2/x 
)^(1/3))/(a^3 - a*b)^(1/3))/(sqrt(3)*a^3*b - sqrt(3)*a*b^2) - 1/2*(a^3 - a 
*b)^(2/3)*log((a^3 - a*b)^(2/3) + (a^3 - a*b)^(1/3)*(a^3 - b^2/x)^(1/3) + 
(a^3 - b^2/x)^(2/3))/(a^3*b - a*b^2) + (a^3 - a*b)^(2/3)*log(abs(-(a^3 - a 
*b)^(1/3) + (a^3 - b^2/x)^(1/3)))/(a^3*b - a*b^2)
 
3.29.97.9 Mupad [F(-1)]

Timed out. \[ \int \frac {1}{(-b+a x) \sqrt [3]{-b^2 x^2+a^3 x^3}} \, dx=-\int \frac {1}{{\left (a^3\,x^3-b^2\,x^2\right )}^{1/3}\,\left (b-a\,x\right )} \,d x \]

input
int(-1/((a^3*x^3 - b^2*x^2)^(1/3)*(b - a*x)),x)
 
output
-int(1/((a^3*x^3 - b^2*x^2)^(1/3)*(b - a*x)), x)