Optimal. Leaf size=123 \[ -\frac {a}{(b-c)^2 x^2}-\frac {b+c}{(b-c)^2 x}+\frac {\sqrt {a+b x} \sqrt {a+c x}}{2 a (b-c) x}+\frac {\sqrt {a+b x} (a+c x)^{3/2}}{a (b-c)^2 x^2}-\frac {\tanh ^{-1}\left (\frac {\sqrt {a+b x}}{\sqrt {a+c x}}\right )}{2 a} \]
[Out]
________________________________________________________________________________________
Rubi [A]
time = 0.14, antiderivative size = 123, normalized size of antiderivative = 1.00, number of steps
used = 6, number of rules used = 4, integrand size = 25, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.160, Rules used = {6822, 96, 95,
214} \begin {gather*} \frac {\sqrt {a+b x} (a+c x)^{3/2}}{a x^2 (b-c)^2}-\frac {a}{x^2 (b-c)^2}+\frac {\sqrt {a+b x} \sqrt {a+c x}}{2 a x (b-c)}-\frac {\tanh ^{-1}\left (\frac {\sqrt {a+b x}}{\sqrt {a+c x}}\right )}{2 a}-\frac {b+c}{x (b-c)^2} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
Rule 95
Rule 96
Rule 214
Rule 6822
Rubi steps
\begin {align*} \int \frac {1}{x \left (\sqrt {a+b x}+\sqrt {a+c x}\right )^2} \, dx &=\frac {\int \left (\frac {2 a}{x^3}+\frac {b \left (1+\frac {c}{b}\right )}{x^2}-\frac {2 \sqrt {a+b x} \sqrt {a+c x}}{x^3}\right ) \, dx}{(b-c)^2}\\ &=-\frac {a}{(b-c)^2 x^2}-\frac {b+c}{(b-c)^2 x}-\frac {2 \int \frac {\sqrt {a+b x} \sqrt {a+c x}}{x^3} \, dx}{(b-c)^2}\\ &=-\frac {a}{(b-c)^2 x^2}-\frac {b+c}{(b-c)^2 x}+\frac {\sqrt {a+b x} (a+c x)^{3/2}}{a (b-c)^2 x^2}-\frac {\int \frac {\sqrt {a+c x}}{x^2 \sqrt {a+b x}} \, dx}{2 (b-c)}\\ &=-\frac {a}{(b-c)^2 x^2}-\frac {b+c}{(b-c)^2 x}+\frac {\sqrt {a+b x} \sqrt {a+c x}}{2 a (b-c) x}+\frac {\sqrt {a+b x} (a+c x)^{3/2}}{a (b-c)^2 x^2}+\frac {1}{4} \int \frac {1}{x \sqrt {a+b x} \sqrt {a+c x}} \, dx\\ &=-\frac {a}{(b-c)^2 x^2}-\frac {b+c}{(b-c)^2 x}+\frac {\sqrt {a+b x} \sqrt {a+c x}}{2 a (b-c) x}+\frac {\sqrt {a+b x} (a+c x)^{3/2}}{a (b-c)^2 x^2}+\frac {1}{2} \text {Subst}\left (\int \frac {1}{-a+a x^2} \, dx,x,\frac {\sqrt {a+b x}}{\sqrt {a+c x}}\right )\\ &=-\frac {a}{(b-c)^2 x^2}-\frac {b+c}{(b-c)^2 x}+\frac {\sqrt {a+b x} \sqrt {a+c x}}{2 a (b-c) x}+\frac {\sqrt {a+b x} (a+c x)^{3/2}}{a (b-c)^2 x^2}-\frac {\tanh ^{-1}\left (\frac {\sqrt {a+b x}}{\sqrt {a+c x}}\right )}{2 a}\\ \end {align*}
________________________________________________________________________________________
Mathematica [A]
time = 1.85, size = 148, normalized size = 1.20 \begin {gather*} \frac {\frac {-2 a^2+(b+c) x \sqrt {a+b x} \sqrt {a+c x}+2 a \left (-b x-c x+\sqrt {a+b x} \sqrt {a+c x}\right )}{(b-c)^2 x^2}-\frac {\sqrt {\frac {b}{c}} \sqrt {c} \tanh ^{-1}\left (\frac {\sqrt {c} \left (-b x+\sqrt {\frac {b}{c}} \sqrt {a+b x} \sqrt {a+c x}\right )}{a \sqrt {b}}\right )}{\sqrt {b}}}{2 a} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [C] Result contains higher order function than in optimal. Order 9 vs. order
3.
time = 0.02, size = 313, normalized size = 2.54
method | result | size |
default | \(-\frac {b}{x \left (b -c \right )^{2}}-\frac {c}{x \left (b -c \right )^{2}}-\frac {a}{\left (b -c \right )^{2} x^{2}}+\frac {\sqrt {b x +a}\, \sqrt {c x +a}\, \left (-\ln \left (\frac {a \left (2 \sqrt {b c \,x^{2}+a b x +a c x +a^{2}}\, \mathrm {csgn}\left (a \right )+b x +c x +2 a \right )}{x}\right ) x^{2} b^{2}+2 \ln \left (\frac {a \left (2 \sqrt {b c \,x^{2}+a b x +a c x +a^{2}}\, \mathrm {csgn}\left (a \right )+b x +c x +2 a \right )}{x}\right ) x^{2} b c -\ln \left (\frac {a \left (2 \sqrt {b c \,x^{2}+a b x +a c x +a^{2}}\, \mathrm {csgn}\left (a \right )+b x +c x +2 a \right )}{x}\right ) x^{2} c^{2}+2 \,\mathrm {csgn}\left (a \right ) \sqrt {b c \,x^{2}+a b x +a c x +a^{2}}\, x b +2 \,\mathrm {csgn}\left (a \right ) \sqrt {b c \,x^{2}+a b x +a c x +a^{2}}\, x c +4 \,\mathrm {csgn}\left (a \right ) a \sqrt {b c \,x^{2}+a b x +a c x +a^{2}}\right ) \mathrm {csgn}\left (a \right )}{4 \left (b -c \right )^{2} a \sqrt {b c \,x^{2}+a b x +a c x +a^{2}}\, x^{2}}\) | \(313\) |
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [F]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {Failed to integrate} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [A]
time = 0.36, size = 126, normalized size = 1.02 \begin {gather*} \frac {4 \, {\left (b^{2} - 2 \, b c + c^{2}\right )} x^{2} \log \left (-\frac {{\left (b + c\right )} x - 2 \, \sqrt {b x + a} \sqrt {c x + a} + 2 \, a}{x}\right ) + {\left (b^{2} + 2 \, b c + c^{2}\right )} x^{2} + 8 \, {\left ({\left (b + c\right )} x + 2 \, a\right )} \sqrt {b x + a} \sqrt {c x + a} - 16 \, a^{2} - 16 \, {\left (a b + a c\right )} x}{16 \, {\left (a b^{2} - 2 \, a b c + a c^{2}\right )} x^{2}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [F]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \int \frac {1}{x \left (\sqrt {a + b x} + \sqrt {a + c x}\right )^{2}}\, dx \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [B] Leaf count of result is larger than twice the leaf count of optimal. 532 vs.
\(2 (107) = 214\).
time = 7.31, size = 532, normalized size = 4.33 \begin {gather*} \frac {\sqrt {b c} {\left | b \right |} \arctan \left (\frac {a b^{2} + a b c - {\left (\sqrt {b c} \sqrt {b x + a} - \sqrt {a b^{2} + {\left (b x + a\right )} b c - a b c}\right )}^{2}}{2 \, \sqrt {-b c} a b}\right )}{2 \, \sqrt {-b c} a b} - \frac {{\left (b^{2} + 6 \, b c + c^{2}\right )} \sqrt {b c} {\left (\sqrt {b c} \sqrt {b x + a} - \sqrt {a b^{2} + {\left (b x + a\right )} b c - a b c}\right )}^{6} {\left | b \right |} - {\left (3 \, b^{4} + 5 \, b^{3} c + 5 \, b^{2} c^{2} + 3 \, b c^{3}\right )} \sqrt {b c} {\left (\sqrt {b c} \sqrt {b x + a} - \sqrt {a b^{2} + {\left (b x + a\right )} b c - a b c}\right )}^{4} a {\left | b \right |} + {\left (3 \, b^{6} - 4 \, b^{5} c + 2 \, b^{4} c^{2} - 4 \, b^{3} c^{3} + 3 \, b^{2} c^{4}\right )} \sqrt {b c} {\left (\sqrt {b c} \sqrt {b x + a} - \sqrt {a b^{2} + {\left (b x + a\right )} b c - a b c}\right )}^{2} a^{2} {\left | b \right |} - {\left (b^{8} - 3 \, b^{7} c + 2 \, b^{6} c^{2} + 2 \, b^{5} c^{3} - 3 \, b^{4} c^{4} + b^{3} c^{5}\right )} \sqrt {b c} a^{3} {\left | b \right |}}{{\left ({\left (\sqrt {b c} \sqrt {b x + a} - \sqrt {a b^{2} + {\left (b x + a\right )} b c - a b c}\right )}^{4} - 2 \, {\left (b^{2} + b c\right )} {\left (\sqrt {b c} \sqrt {b x + a} - \sqrt {a b^{2} + {\left (b x + a\right )} b c - a b c}\right )}^{2} a + {\left (b^{4} - 2 \, b^{3} c + b^{2} c^{2}\right )} a^{2}\right )}^{2} {\left (b^{2} - 2 \, b c + c^{2}\right )}} - \frac {{\left (b x + a\right )} b^{2} + {\left (b x + a\right )} b c - a b c}{{\left (b^{2} - 2 \, b c + c^{2}\right )} b^{2} x^{2}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Mupad [B]
time = 12.32, size = 787, normalized size = 6.40 \begin {gather*} \frac {\ln \left (\frac {\left (\sqrt {a+b\,x}-\sqrt {a+c\,x}\right )\,\left (b-\frac {c\,\left (\sqrt {a+b\,x}-\sqrt {a}\right )}{\sqrt {a+c\,x}-\sqrt {a}}\right )}{\sqrt {a+c\,x}-\sqrt {a}}\right )}{4\,a}-\frac {\frac {b^4}{2}+\frac {{\left (\sqrt {a+b\,x}-\sqrt {a}\right )}^4\,\left (-\frac {b^4}{2}+4\,b^3\,c+\frac {3\,b^2\,c^2}{2}+4\,b\,c^3-\frac {c^4}{2}\right )}{{\left (\sqrt {a+c\,x}-\sqrt {a}\right )}^4}-\frac {\left (2\,b^4+2\,c\,b^3\right )\,\left (\sqrt {a+b\,x}-\sqrt {a}\right )}{\sqrt {a+c\,x}-\sqrt {a}}-\frac {\left (b^2\,c^2+b\,c^3\right )\,{\left (\sqrt {a+b\,x}-\sqrt {a}\right )}^5}{{\left (\sqrt {a+c\,x}-\sqrt {a}\right )}^5}+\frac {{\left (\sqrt {a+b\,x}-\sqrt {a}\right )}^2\,\left (\frac {5\,b^4}{2}+6\,b^3\,c+\frac {5\,b^2\,c^2}{2}\right )}{{\left (\sqrt {a+c\,x}-\sqrt {a}\right )}^2}-\frac {{\left (\sqrt {a+b\,x}-\sqrt {a}\right )}^3\,\left (b^4+6\,b^3\,c+6\,b^2\,c^2+b\,c^3\right )}{{\left (\sqrt {a+c\,x}-\sqrt {a}\right )}^3}}{\frac {{\left (\sqrt {a+b\,x}-\sqrt {a}\right )}^4\,\left (8\,a\,b^4+16\,a\,b^3\,c-48\,a\,b^2\,c^2+16\,a\,b\,c^3+8\,a\,c^4\right )}{{\left (\sqrt {a+c\,x}-\sqrt {a}\right )}^4}-\frac {{\left (\sqrt {a+b\,x}-\sqrt {a}\right )}^3\,\left (16\,a\,b^4-16\,a\,b^3\,c-16\,a\,b^2\,c^2+16\,a\,b\,c^3\right )}{{\left (\sqrt {a+c\,x}-\sqrt {a}\right )}^3}-\frac {{\left (\sqrt {a+b\,x}-\sqrt {a}\right )}^5\,\left (16\,a\,b^3\,c-16\,a\,b^2\,c^2-16\,a\,b\,c^3+16\,a\,c^4\right )}{{\left (\sqrt {a+c\,x}-\sqrt {a}\right )}^5}+\frac {{\left (\sqrt {a+b\,x}-\sqrt {a}\right )}^2\,\left (8\,a\,b^4-16\,a\,b^3\,c+8\,a\,b^2\,c^2\right )}{{\left (\sqrt {a+c\,x}-\sqrt {a}\right )}^2}+\frac {{\left (\sqrt {a+b\,x}-\sqrt {a}\right )}^6\,\left (8\,a\,b^2\,c^2-16\,a\,b\,c^3+8\,a\,c^4\right )}{{\left (\sqrt {a+c\,x}-\sqrt {a}\right )}^6}}-\frac {\ln \left (\frac {\sqrt {a+b\,x}-\sqrt {a}}{\sqrt {a+c\,x}-\sqrt {a}}\right )}{4\,a}-\frac {a+x\,\left (b+c\right )}{x^2\,\left (b^2-2\,b\,c+c^2\right )}-\frac {c^2\,{\left (\sqrt {a+b\,x}-\sqrt {a}\right )}^2}{16\,a\,{\left (b-c\right )}^2\,{\left (\sqrt {a+c\,x}-\sqrt {a}\right )}^2}+\frac {c\,\left (b+c\right )\,\left (\sqrt {a+b\,x}-\sqrt {a}\right )}{8\,a\,{\left (b-c\right )}^2\,\left (\sqrt {a+c\,x}-\sqrt {a}\right )} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________