3.26.40 \(\int \frac {1}{(c+d x) \sqrt {b+a^2 x^2} \sqrt {a x-\sqrt {b+a^2 x^2}}} \, dx\) [2540]

3.26.40.1 Optimal result
3.26.40.2 Mathematica [A] (verified)
3.26.40.3 Rubi [F]
3.26.40.4 Maple [F]
3.26.40.5 Fricas [B] (verification not implemented)
3.26.40.6 Sympy [F]
3.26.40.7 Maxima [F]
3.26.40.8 Giac [F]
3.26.40.9 Mupad [F(-1)]

3.26.40.1 Optimal result

Integrand size = 44, antiderivative size = 213 \[ \int \frac {1}{(c+d x) \sqrt {b+a^2 x^2} \sqrt {a x-\sqrt {b+a^2 x^2}}} \, dx=-\frac {2 \sqrt {d} \arctan \left (\frac {\sqrt {d} \sqrt {a x-\sqrt {b+a^2 x^2}}}{\sqrt {a c-\sqrt {a^2 c^2+b d^2}}}\right )}{\sqrt {a^2 c^2+b d^2} \sqrt {a c-\sqrt {a^2 c^2+b d^2}}}+\frac {2 \sqrt {d} \arctan \left (\frac {\sqrt {d} \sqrt {a x-\sqrt {b+a^2 x^2}}}{\sqrt {a c+\sqrt {a^2 c^2+b d^2}}}\right )}{\sqrt {a^2 c^2+b d^2} \sqrt {a c+\sqrt {a^2 c^2+b d^2}}} \]

output
-2*d^(1/2)*arctan(d^(1/2)*(a*x-(a^2*x^2+b)^(1/2))^(1/2)/(a*c-(a^2*c^2+b*d^ 
2)^(1/2))^(1/2))/(a^2*c^2+b*d^2)^(1/2)/(a*c-(a^2*c^2+b*d^2)^(1/2))^(1/2)+2 
*d^(1/2)*arctan(d^(1/2)*(a*x-(a^2*x^2+b)^(1/2))^(1/2)/(a*c+(a^2*c^2+b*d^2) 
^(1/2))^(1/2))/(a^2*c^2+b*d^2)^(1/2)/(a*c+(a^2*c^2+b*d^2)^(1/2))^(1/2)
 
3.26.40.2 Mathematica [A] (verified)

Time = 0.41 (sec) , antiderivative size = 192, normalized size of antiderivative = 0.90 \[ \int \frac {1}{(c+d x) \sqrt {b+a^2 x^2} \sqrt {a x-\sqrt {b+a^2 x^2}}} \, dx=\frac {2 \sqrt {d} \left (-\frac {\arctan \left (\frac {\sqrt {d} \sqrt {a x-\sqrt {b+a^2 x^2}}}{\sqrt {a c-\sqrt {a^2 c^2+b d^2}}}\right )}{\sqrt {a c-\sqrt {a^2 c^2+b d^2}}}+\frac {\arctan \left (\frac {\sqrt {d} \sqrt {a x-\sqrt {b+a^2 x^2}}}{\sqrt {a c+\sqrt {a^2 c^2+b d^2}}}\right )}{\sqrt {a c+\sqrt {a^2 c^2+b d^2}}}\right )}{\sqrt {a^2 c^2+b d^2}} \]

input
Integrate[1/((c + d*x)*Sqrt[b + a^2*x^2]*Sqrt[a*x - Sqrt[b + a^2*x^2]]),x]
 
output
(2*Sqrt[d]*(-(ArcTan[(Sqrt[d]*Sqrt[a*x - Sqrt[b + a^2*x^2]])/Sqrt[a*c - Sq 
rt[a^2*c^2 + b*d^2]]]/Sqrt[a*c - Sqrt[a^2*c^2 + b*d^2]]) + ArcTan[(Sqrt[d] 
*Sqrt[a*x - Sqrt[b + a^2*x^2]])/Sqrt[a*c + Sqrt[a^2*c^2 + b*d^2]]]/Sqrt[a* 
c + Sqrt[a^2*c^2 + b*d^2]]))/Sqrt[a^2*c^2 + b*d^2]
 
3.26.40.3 Rubi [F]

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}{\sqrt {a^2 x^2+b} \sqrt {a x-\sqrt {a^2 x^2+b}} (c+d x)} \, dx\)

\(\Big \downarrow \) 7299

\(\displaystyle \int \frac {1}{\sqrt {a^2 x^2+b} \sqrt {a x-\sqrt {a^2 x^2+b}} (c+d x)}dx\)

input
Int[1/((c + d*x)*Sqrt[b + a^2*x^2]*Sqrt[a*x - Sqrt[b + a^2*x^2]]),x]
 
output
$Aborted
 

3.26.40.3.1 Defintions of rubi rules used

rule 7299
Int[u_, x_] :> CannotIntegrate[u, x]
 
3.26.40.4 Maple [F]

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

input
int(1/(d*x+c)/(a^2*x^2+b)^(1/2)/(a*x-(a^2*x^2+b)^(1/2))^(1/2),x)
 
output
int(1/(d*x+c)/(a^2*x^2+b)^(1/2)/(a*x-(a^2*x^2+b)^(1/2))^(1/2),x)
 
3.26.40.5 Fricas [B] (verification not implemented)

Leaf count of result is larger than twice the leaf count of optimal. 877 vs. \(2 (177) = 354\).

Time = 0.30 (sec) , antiderivative size = 877, normalized size of antiderivative = 4.12 \[ \int \frac {1}{(c+d x) \sqrt {b+a^2 x^2} \sqrt {a x-\sqrt {b+a^2 x^2}}} \, dx=\sqrt {\frac {a c + \frac {a^{2} b c^{2} d + b^{2} d^{3}}{\sqrt {a^{2} b^{2} c^{2} d^{2} + b^{3} d^{4}}}}{a^{2} b c^{2} d + b^{2} d^{3}}} \log \left (2 \, \sqrt {a x - \sqrt {a^{2} x^{2} + b}} d + 2 \, {\left (a^{2} c^{2} + b d^{2} - \frac {a^{3} b c^{3} d + a b^{2} c d^{3}}{\sqrt {a^{2} b^{2} c^{2} d^{2} + b^{3} d^{4}}}\right )} \sqrt {\frac {a c + \frac {a^{2} b c^{2} d + b^{2} d^{3}}{\sqrt {a^{2} b^{2} c^{2} d^{2} + b^{3} d^{4}}}}{a^{2} b c^{2} d + b^{2} d^{3}}}\right ) - \sqrt {\frac {a c + \frac {a^{2} b c^{2} d + b^{2} d^{3}}{\sqrt {a^{2} b^{2} c^{2} d^{2} + b^{3} d^{4}}}}{a^{2} b c^{2} d + b^{2} d^{3}}} \log \left (2 \, \sqrt {a x - \sqrt {a^{2} x^{2} + b}} d - 2 \, {\left (a^{2} c^{2} + b d^{2} - \frac {a^{3} b c^{3} d + a b^{2} c d^{3}}{\sqrt {a^{2} b^{2} c^{2} d^{2} + b^{3} d^{4}}}\right )} \sqrt {\frac {a c + \frac {a^{2} b c^{2} d + b^{2} d^{3}}{\sqrt {a^{2} b^{2} c^{2} d^{2} + b^{3} d^{4}}}}{a^{2} b c^{2} d + b^{2} d^{3}}}\right ) + \sqrt {\frac {a c - \frac {a^{2} b c^{2} d + b^{2} d^{3}}{\sqrt {a^{2} b^{2} c^{2} d^{2} + b^{3} d^{4}}}}{a^{2} b c^{2} d + b^{2} d^{3}}} \log \left (2 \, \sqrt {a x - \sqrt {a^{2} x^{2} + b}} d + 2 \, {\left (a^{2} c^{2} + b d^{2} + \frac {a^{3} b c^{3} d + a b^{2} c d^{3}}{\sqrt {a^{2} b^{2} c^{2} d^{2} + b^{3} d^{4}}}\right )} \sqrt {\frac {a c - \frac {a^{2} b c^{2} d + b^{2} d^{3}}{\sqrt {a^{2} b^{2} c^{2} d^{2} + b^{3} d^{4}}}}{a^{2} b c^{2} d + b^{2} d^{3}}}\right ) - \sqrt {\frac {a c - \frac {a^{2} b c^{2} d + b^{2} d^{3}}{\sqrt {a^{2} b^{2} c^{2} d^{2} + b^{3} d^{4}}}}{a^{2} b c^{2} d + b^{2} d^{3}}} \log \left (2 \, \sqrt {a x - \sqrt {a^{2} x^{2} + b}} d - 2 \, {\left (a^{2} c^{2} + b d^{2} + \frac {a^{3} b c^{3} d + a b^{2} c d^{3}}{\sqrt {a^{2} b^{2} c^{2} d^{2} + b^{3} d^{4}}}\right )} \sqrt {\frac {a c - \frac {a^{2} b c^{2} d + b^{2} d^{3}}{\sqrt {a^{2} b^{2} c^{2} d^{2} + b^{3} d^{4}}}}{a^{2} b c^{2} d + b^{2} d^{3}}}\right ) \]

input
integrate(1/(d*x+c)/(a^2*x^2+b)^(1/2)/(a*x-(a^2*x^2+b)^(1/2))^(1/2),x, alg 
orithm="fricas")
 
output
sqrt((a*c + (a^2*b*c^2*d + b^2*d^3)/sqrt(a^2*b^2*c^2*d^2 + b^3*d^4))/(a^2* 
b*c^2*d + b^2*d^3))*log(2*sqrt(a*x - sqrt(a^2*x^2 + b))*d + 2*(a^2*c^2 + b 
*d^2 - (a^3*b*c^3*d + a*b^2*c*d^3)/sqrt(a^2*b^2*c^2*d^2 + b^3*d^4))*sqrt(( 
a*c + (a^2*b*c^2*d + b^2*d^3)/sqrt(a^2*b^2*c^2*d^2 + b^3*d^4))/(a^2*b*c^2* 
d + b^2*d^3))) - sqrt((a*c + (a^2*b*c^2*d + b^2*d^3)/sqrt(a^2*b^2*c^2*d^2 
+ b^3*d^4))/(a^2*b*c^2*d + b^2*d^3))*log(2*sqrt(a*x - sqrt(a^2*x^2 + b))*d 
 - 2*(a^2*c^2 + b*d^2 - (a^3*b*c^3*d + a*b^2*c*d^3)/sqrt(a^2*b^2*c^2*d^2 + 
 b^3*d^4))*sqrt((a*c + (a^2*b*c^2*d + b^2*d^3)/sqrt(a^2*b^2*c^2*d^2 + b^3* 
d^4))/(a^2*b*c^2*d + b^2*d^3))) + sqrt((a*c - (a^2*b*c^2*d + b^2*d^3)/sqrt 
(a^2*b^2*c^2*d^2 + b^3*d^4))/(a^2*b*c^2*d + b^2*d^3))*log(2*sqrt(a*x - sqr 
t(a^2*x^2 + b))*d + 2*(a^2*c^2 + b*d^2 + (a^3*b*c^3*d + a*b^2*c*d^3)/sqrt( 
a^2*b^2*c^2*d^2 + b^3*d^4))*sqrt((a*c - (a^2*b*c^2*d + b^2*d^3)/sqrt(a^2*b 
^2*c^2*d^2 + b^3*d^4))/(a^2*b*c^2*d + b^2*d^3))) - sqrt((a*c - (a^2*b*c^2* 
d + b^2*d^3)/sqrt(a^2*b^2*c^2*d^2 + b^3*d^4))/(a^2*b*c^2*d + b^2*d^3))*log 
(2*sqrt(a*x - sqrt(a^2*x^2 + b))*d - 2*(a^2*c^2 + b*d^2 + (a^3*b*c^3*d + a 
*b^2*c*d^3)/sqrt(a^2*b^2*c^2*d^2 + b^3*d^4))*sqrt((a*c - (a^2*b*c^2*d + b^ 
2*d^3)/sqrt(a^2*b^2*c^2*d^2 + b^3*d^4))/(a^2*b*c^2*d + b^2*d^3)))
 
3.26.40.6 Sympy [F]

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

input
integrate(1/(d*x+c)/(a**2*x**2+b)**(1/2)/(a*x-(a**2*x**2+b)**(1/2))**(1/2) 
,x)
 
output
Integral(1/((c + d*x)*sqrt(a*x - sqrt(a**2*x**2 + b))*sqrt(a**2*x**2 + b)) 
, x)
 
3.26.40.7 Maxima [F]

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

input
integrate(1/(d*x+c)/(a^2*x^2+b)^(1/2)/(a*x-(a^2*x^2+b)^(1/2))^(1/2),x, alg 
orithm="maxima")
 
output
integrate(1/(sqrt(a^2*x^2 + b)*sqrt(a*x - sqrt(a^2*x^2 + b))*(d*x + c)), x 
)
 
3.26.40.8 Giac [F]

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

input
integrate(1/(d*x+c)/(a^2*x^2+b)^(1/2)/(a*x-(a^2*x^2+b)^(1/2))^(1/2),x, alg 
orithm="giac")
 
output
integrate(1/(sqrt(a^2*x^2 + b)*sqrt(a*x - sqrt(a^2*x^2 + b))*(d*x + c)), x 
)
 
3.26.40.9 Mupad [F(-1)]

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

input
int(1/((a*x - (b + a^2*x^2)^(1/2))^(1/2)*(b + a^2*x^2)^(1/2)*(c + d*x)),x)
 
output
int(1/((a*x - (b + a^2*x^2)^(1/2))^(1/2)*(b + a^2*x^2)^(1/2)*(c + d*x)), x 
)