3.585 \(\int \frac{\sqrt{b-\frac{a}{x}}}{x \sqrt{a-b x}} \, dx\)

Optimal. Leaf size=24 \[ -\frac{2 \sqrt{b-\frac{a}{x}}}{\sqrt{a-b x}} \]

[Out]

(-2*Sqrt[b - a/x])/Sqrt[a - b*x]

________________________________________________________________________________________

Rubi [A]  time = 0.0343887, antiderivative size = 24, normalized size of antiderivative = 1., number of steps used = 3, number of rules used = 3, integrand size = 26, \(\frac{\text{number of rules}}{\text{integrand size}}\) = 0.115, Rules used = {515, 23, 30} \[ -\frac{2 \sqrt{b-\frac{a}{x}}}{\sqrt{a-b x}} \]

Antiderivative was successfully verified.

[In]

Int[Sqrt[b - a/x]/(x*Sqrt[a - b*x]),x]

[Out]

(-2*Sqrt[b - a/x])/Sqrt[a - b*x]

Rule 515

Int[(x_)^(m_.)*((c_) + (d_.)*(x_)^(mn_.))^(q_)*((a_) + (b_.)*(x_)^(n_.))^(p_.), x_Symbol] :> Dist[(x^(n*FracPa
rt[q])*(c + d/x^n)^FracPart[q])/(d + c*x^n)^FracPart[q], Int[x^(m - n*q)*(a + b*x^n)^p*(d + c*x^n)^q, x], x] /
; FreeQ[{a, b, c, d, m, n, p, q}, x] && EqQ[mn, -n] &&  !IntegerQ[q] &&  !IntegerQ[p]

Rule 23

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

Rule 30

Int[(x_)^(m_.), x_Symbol] :> Simp[x^(m + 1)/(m + 1), x] /; FreeQ[m, x] && NeQ[m, -1]

Rubi steps

\begin{align*} \int \frac{\sqrt{b-\frac{a}{x}}}{x \sqrt{a-b x}} \, dx &=\frac{\left (\sqrt{b-\frac{a}{x}} \sqrt{x}\right ) \int \frac{\sqrt{-a+b x}}{x^{3/2} \sqrt{a-b x}} \, dx}{\sqrt{-a+b x}}\\ &=\frac{\left (\sqrt{b-\frac{a}{x}} \sqrt{x}\right ) \int \frac{1}{x^{3/2}} \, dx}{\sqrt{a-b x}}\\ &=-\frac{2 \sqrt{b-\frac{a}{x}}}{\sqrt{a-b x}}\\ \end{align*}

Mathematica [A]  time = 0.012466, size = 24, normalized size = 1. \[ -\frac{2 \sqrt{b-\frac{a}{x}}}{\sqrt{a-b x}} \]

Antiderivative was successfully verified.

[In]

Integrate[Sqrt[b - a/x]/(x*Sqrt[a - b*x]),x]

[Out]

(-2*Sqrt[b - a/x])/Sqrt[a - b*x]

________________________________________________________________________________________

Maple [A]  time = 0.003, size = 24, normalized size = 1. \begin{align*} -2\,{\frac{1}{\sqrt{-bx+a}}\sqrt{-{\frac{-bx+a}{x}}}} \end{align*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

int((b-a/x)^(1/2)/x/(-b*x+a)^(1/2),x)

[Out]

-2*(-(-b*x+a)/x)^(1/2)/(-b*x+a)^(1/2)

________________________________________________________________________________________

Maxima [C]  time = 2.05264, size = 7, normalized size = 0.29 \begin{align*} \frac{2 i}{\sqrt{x}} \end{align*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate((b-a/x)^(1/2)/x/(-b*x+a)^(1/2),x, algorithm="maxima")

[Out]

2*I/sqrt(x)

________________________________________________________________________________________

Fricas [A]  time = 1.48782, size = 62, normalized size = 2.58 \begin{align*} \frac{2 \, \sqrt{-b x + a} \sqrt{\frac{b x - a}{x}}}{b x - a} \end{align*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate((b-a/x)^(1/2)/x/(-b*x+a)^(1/2),x, algorithm="fricas")

[Out]

2*sqrt(-b*x + a)*sqrt((b*x - a)/x)/(b*x - a)

________________________________________________________________________________________

Sympy [F]  time = 0., size = 0, normalized size = 0. \begin{align*} \int \frac{\sqrt{- \frac{a}{x} + b}}{x \sqrt{a - b x}}\, dx \end{align*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate((b-a/x)**(1/2)/x/(-b*x+a)**(1/2),x)

[Out]

Integral(sqrt(-a/x + b)/(x*sqrt(a - b*x)), x)

________________________________________________________________________________________

Giac [B]  time = 1.12331, size = 57, normalized size = 2.38 \begin{align*} \frac{2 \,{\left (\frac{b^{3}}{\sqrt{-{\left (b x - a\right )} b - a b}} - \frac{b^{3}}{\sqrt{-a b}}\right )}{\left | b \right |} \mathrm{sgn}\left (x\right )}{b^{3}} \end{align*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate((b-a/x)^(1/2)/x/(-b*x+a)^(1/2),x, algorithm="giac")

[Out]

2*(b^3/sqrt(-(b*x - a)*b - a*b) - b^3/sqrt(-a*b))*abs(b)*sgn(x)/b^3