Optimal. Leaf size=306 \[ -\frac{a b d^2 \left (-10 a^2 b^2 c+a^4-15 b^4 c^2\right ) \tanh ^{-1}\left (\frac{\sqrt{c+d x}}{\sqrt{c}}\right )}{2 c^{3/2} \left (a^2-b^2 c\right )^4}+\frac{a b^2 d^2 \left (a^2+11 b^2 c\right )}{2 c \left (a^2-b^2 c\right )^3 \left (a+b \sqrt{c+d x}\right )}+\frac{b^4 d^2 \log (x) \left (5 a^2+b^2 c\right )}{\left (a^2-b^2 c\right )^4}-\frac{2 b^4 d^2 \left (5 a^2+b^2 c\right ) \log \left (a+b \sqrt{c+d x}\right )}{\left (a^2-b^2 c\right )^4}-\frac{a-b \sqrt{c+d x}}{2 x^2 \left (a^2-b^2 c\right ) \left (a+b \sqrt{c+d x}\right )}-\frac{b d \left (3 a b c-\left (a^2+2 b^2 c\right ) \sqrt{c+d x}\right )}{2 c x \left (a^2-b^2 c\right )^2 \left (a+b \sqrt{c+d x}\right )} \]
[Out]
________________________________________________________________________________________
Rubi [A] time = 0.402982, antiderivative size = 306, normalized size of antiderivative = 1., number of steps used = 9, number of rules used = 7, integrand size = 19, \(\frac{\text{number of rules}}{\text{integrand size}}\) = 0.368, Rules used = {371, 1398, 823, 801, 635, 206, 260} \[ -\frac{a b d^2 \left (-10 a^2 b^2 c+a^4-15 b^4 c^2\right ) \tanh ^{-1}\left (\frac{\sqrt{c+d x}}{\sqrt{c}}\right )}{2 c^{3/2} \left (a^2-b^2 c\right )^4}+\frac{a b^2 d^2 \left (a^2+11 b^2 c\right )}{2 c \left (a^2-b^2 c\right )^3 \left (a+b \sqrt{c+d x}\right )}+\frac{b^4 d^2 \log (x) \left (5 a^2+b^2 c\right )}{\left (a^2-b^2 c\right )^4}-\frac{2 b^4 d^2 \left (5 a^2+b^2 c\right ) \log \left (a+b \sqrt{c+d x}\right )}{\left (a^2-b^2 c\right )^4}-\frac{a-b \sqrt{c+d x}}{2 x^2 \left (a^2-b^2 c\right ) \left (a+b \sqrt{c+d x}\right )}-\frac{b d \left (3 a b c-\left (a^2+2 b^2 c\right ) \sqrt{c+d x}\right )}{2 c x \left (a^2-b^2 c\right )^2 \left (a+b \sqrt{c+d x}\right )} \]
Antiderivative was successfully verified.
[In]
[Out]
Rule 371
Rule 1398
Rule 823
Rule 801
Rule 635
Rule 206
Rule 260
Rubi steps
\begin{align*} \int \frac{1}{x^3 \left (a+b \sqrt{c+d x}\right )^2} \, dx &=d^2 \operatorname{Subst}\left (\int \frac{1}{\left (a+b \sqrt{x}\right )^2 (-c+x)^3} \, dx,x,c+d x\right )\\ &=\left (2 d^2\right ) \operatorname{Subst}\left (\int \frac{x}{(a+b x)^2 \left (-c+x^2\right )^3} \, dx,x,\sqrt{c+d x}\right )\\ &=-\frac{a-b \sqrt{c+d x}}{2 \left (a^2-b^2 c\right ) x^2 \left (a+b \sqrt{c+d x}\right )}+\frac{d^2 \operatorname{Subst}\left (\int \frac{-2 a b c+4 b^2 c x}{(a+b x)^2 \left (-c+x^2\right )^2} \, dx,x,\sqrt{c+d x}\right )}{2 c \left (a^2-b^2 c\right )}\\ &=-\frac{a-b \sqrt{c+d x}}{2 \left (a^2-b^2 c\right ) x^2 \left (a+b \sqrt{c+d x}\right )}-\frac{b d \left (3 a b c-\left (a^2+2 b^2 c\right ) \sqrt{c+d x}\right )}{2 c \left (a^2-b^2 c\right )^2 x \left (a+b \sqrt{c+d x}\right )}+\frac{d^2 \operatorname{Subst}\left (\int \frac{2 a b c \left (a^2-7 b^2 c\right )+4 b^2 c \left (a^2+2 b^2 c\right ) x}{(a+b x)^2 \left (-c+x^2\right )} \, dx,x,\sqrt{c+d x}\right )}{4 c^2 \left (a^2-b^2 c\right )^2}\\ &=-\frac{a-b \sqrt{c+d x}}{2 \left (a^2-b^2 c\right ) x^2 \left (a+b \sqrt{c+d x}\right )}-\frac{b d \left (3 a b c-\left (a^2+2 b^2 c\right ) \sqrt{c+d x}\right )}{2 c \left (a^2-b^2 c\right )^2 x \left (a+b \sqrt{c+d x}\right )}+\frac{d^2 \operatorname{Subst}\left (\int \left (-\frac{2 a b^3 c \left (a^2+11 b^2 c\right )}{\left (a^2-b^2 c\right ) (a+b x)^2}-\frac{8 b^5 c^2 \left (5 a^2+b^2 c\right )}{\left (-a^2+b^2 c\right )^2 (a+b x)}+\frac{2 b c \left (-a \left (a^4-10 a^2 b^2 c-15 b^4 c^2\right )-4 b^3 c \left (5 a^2+b^2 c\right ) x\right )}{\left (a^2-b^2 c\right )^2 \left (c-x^2\right )}\right ) \, dx,x,\sqrt{c+d x}\right )}{4 c^2 \left (a^2-b^2 c\right )^2}\\ &=\frac{a b^2 \left (a^2+11 b^2 c\right ) d^2}{2 c \left (a^2-b^2 c\right )^3 \left (a+b \sqrt{c+d x}\right )}-\frac{a-b \sqrt{c+d x}}{2 \left (a^2-b^2 c\right ) x^2 \left (a+b \sqrt{c+d x}\right )}-\frac{b d \left (3 a b c-\left (a^2+2 b^2 c\right ) \sqrt{c+d x}\right )}{2 c \left (a^2-b^2 c\right )^2 x \left (a+b \sqrt{c+d x}\right )}-\frac{2 b^4 \left (5 a^2+b^2 c\right ) d^2 \log \left (a+b \sqrt{c+d x}\right )}{\left (a^2-b^2 c\right )^4}+\frac{\left (b d^2\right ) \operatorname{Subst}\left (\int \frac{-a \left (a^4-10 a^2 b^2 c-15 b^4 c^2\right )-4 b^3 c \left (5 a^2+b^2 c\right ) x}{c-x^2} \, dx,x,\sqrt{c+d x}\right )}{2 c \left (a^2-b^2 c\right )^4}\\ &=\frac{a b^2 \left (a^2+11 b^2 c\right ) d^2}{2 c \left (a^2-b^2 c\right )^3 \left (a+b \sqrt{c+d x}\right )}-\frac{a-b \sqrt{c+d x}}{2 \left (a^2-b^2 c\right ) x^2 \left (a+b \sqrt{c+d x}\right )}-\frac{b d \left (3 a b c-\left (a^2+2 b^2 c\right ) \sqrt{c+d x}\right )}{2 c \left (a^2-b^2 c\right )^2 x \left (a+b \sqrt{c+d x}\right )}-\frac{2 b^4 \left (5 a^2+b^2 c\right ) d^2 \log \left (a+b \sqrt{c+d x}\right )}{\left (a^2-b^2 c\right )^4}-\frac{\left (2 b^4 \left (5 a^2+b^2 c\right ) d^2\right ) \operatorname{Subst}\left (\int \frac{x}{c-x^2} \, dx,x,\sqrt{c+d x}\right )}{\left (a^2-b^2 c\right )^4}-\frac{\left (a b \left (a^4-10 a^2 b^2 c-15 b^4 c^2\right ) d^2\right ) \operatorname{Subst}\left (\int \frac{1}{c-x^2} \, dx,x,\sqrt{c+d x}\right )}{2 c \left (a^2-b^2 c\right )^4}\\ &=\frac{a b^2 \left (a^2+11 b^2 c\right ) d^2}{2 c \left (a^2-b^2 c\right )^3 \left (a+b \sqrt{c+d x}\right )}-\frac{a-b \sqrt{c+d x}}{2 \left (a^2-b^2 c\right ) x^2 \left (a+b \sqrt{c+d x}\right )}-\frac{b d \left (3 a b c-\left (a^2+2 b^2 c\right ) \sqrt{c+d x}\right )}{2 c \left (a^2-b^2 c\right )^2 x \left (a+b \sqrt{c+d x}\right )}-\frac{a b \left (a^4-10 a^2 b^2 c-15 b^4 c^2\right ) d^2 \tanh ^{-1}\left (\frac{\sqrt{c+d x}}{\sqrt{c}}\right )}{2 c^{3/2} \left (a^2-b^2 c\right )^4}+\frac{b^4 \left (5 a^2+b^2 c\right ) d^2 \log (x)}{\left (a^2-b^2 c\right )^4}-\frac{2 b^4 \left (5 a^2+b^2 c\right ) d^2 \log \left (a+b \sqrt{c+d x}\right )}{\left (a^2-b^2 c\right )^4}\\ \end{align*}
Mathematica [A] time = 0.909832, size = 401, normalized size = 1.31 \[ \frac{\frac{d^2 \left (\frac{2 b \sqrt{c} \left (a^2+2 b^2 c\right ) \left (\left (b \sqrt{c}-a\right ) \log \left (\sqrt{c}-\sqrt{c+d x}\right )+\left (a+b \sqrt{c}\right ) \log \left (\sqrt{c+d x}+\sqrt{c}\right )-2 b \sqrt{c} \log \left (a+b \sqrt{c+d x}\right )\right )}{b^2 c-a^2}-a b c \left (a^2+11 b^2 c\right ) \left (\frac{2 b \left (\frac{b^2 c-a^2}{a+b \sqrt{c+d x}}+2 a \log \left (a+b \sqrt{c+d x}\right )\right )}{\left (a^2-b^2 c\right )^2}+\frac{\log \left (\sqrt{c}-\sqrt{c+d x}\right )}{\sqrt{c} \left (a+b \sqrt{c}\right )^2}-\frac{\log \left (\sqrt{c+d x}+\sqrt{c}\right )}{\sqrt{c} \left (a-b \sqrt{c}\right )^2}\right )\right )}{2 c \left (a^2-b^2 c\right )}+\frac{b d \left (a^2 \sqrt{c+d x}-3 a b c+2 b^2 c \sqrt{c+d x}\right )}{x \left (a^2-b^2 c\right ) \left (a+b \sqrt{c+d x}\right )}-\frac{c \left (a-b \sqrt{c+d x}\right )}{x^2 \left (a+b \sqrt{c+d x}\right )}}{2 c \left (a^2-b^2 c\right )} \]
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [B] time = 0.018, size = 610, normalized size = 2. \begin{align*} \text{result too large to display} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [F(-2)] time = 0., size = 0, normalized size = 0. \begin{align*} \text{Exception raised: ValueError} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [B] time = 10.6694, size = 2507, normalized size = 8.19 \begin{align*} \text{result too large to display} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [F(-1)] time = 0., size = 0, normalized size = 0. \begin{align*} \text{Timed out} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [F] time = 0., size = 0, normalized size = 0. \begin{align*} \mathit{undef} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]