Optimal. Leaf size=59 \[ -\frac {\log \left ((a+b x)^2+c\right )}{2 \left (a^2+c\right )}-\frac {a \tan ^{-1}\left (\frac {a+b x}{\sqrt {c}}\right )}{\sqrt {c} \left (a^2+c\right )}+\frac {\log (x)}{a^2+c} \]
[Out]
________________________________________________________________________________________
Rubi [A] time = 0.04, antiderivative size = 59, normalized size of antiderivative = 1.00, number of steps used = 6, number of rules used = 6, integrand size = 15, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.400, Rules used = {371, 706, 31, 635, 203, 260} \[ -\frac {\log \left ((a+b x)^2+c\right )}{2 \left (a^2+c\right )}-\frac {a \tan ^{-1}\left (\frac {a+b x}{\sqrt {c}}\right )}{\sqrt {c} \left (a^2+c\right )}+\frac {\log (x)}{a^2+c} \]
Antiderivative was successfully verified.
[In]
[Out]
Rule 31
Rule 203
Rule 260
Rule 371
Rule 635
Rule 706
Rubi steps
\begin {align*} \int \frac {1}{x \left (c+(a+b x)^2\right )} \, dx &=\operatorname {Subst}\left (\int \frac {1}{(-a+x) \left (c+x^2\right )} \, dx,x,a+b x\right )\\ &=\frac {\operatorname {Subst}\left (\int \frac {1}{-a+x} \, dx,x,a+b x\right )}{a^2+c}+\frac {\operatorname {Subst}\left (\int \frac {-a-x}{c+x^2} \, dx,x,a+b x\right )}{a^2+c}\\ &=\frac {\log (x)}{a^2+c}-\frac {\operatorname {Subst}\left (\int \frac {x}{c+x^2} \, dx,x,a+b x\right )}{a^2+c}-\frac {a \operatorname {Subst}\left (\int \frac {1}{c+x^2} \, dx,x,a+b x\right )}{a^2+c}\\ &=-\frac {a \tan ^{-1}\left (\frac {a+b x}{\sqrt {c}}\right )}{\sqrt {c} \left (a^2+c\right )}+\frac {\log (x)}{a^2+c}-\frac {\log \left (c+(a+b x)^2\right )}{2 \left (a^2+c\right )}\\ \end {align*}
________________________________________________________________________________________
Mathematica [A] time = 0.04, size = 48, normalized size = 0.81 \[ -\frac {\log \left ((a+b x)^2+c\right )+\frac {2 a \tan ^{-1}\left (\frac {a+b x}{\sqrt {c}}\right )}{\sqrt {c}}-2 \log (b x)}{2 \left (a^2+c\right )} \]
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
fricas [A] time = 0.84, size = 154, normalized size = 2.61 \[ \left [-\frac {a \sqrt {-c} \log \left (\frac {b^{2} x^{2} + 2 \, a b x + a^{2} + 2 \, {\left (b x + a\right )} \sqrt {-c} - c}{b^{2} x^{2} + 2 \, a b x + a^{2} + c}\right ) + c \log \left (b^{2} x^{2} + 2 \, a b x + a^{2} + c\right ) - 2 \, c \log \relax (x)}{2 \, {\left (a^{2} c + c^{2}\right )}}, -\frac {2 \, a \sqrt {c} \arctan \left (\frac {b x + a}{\sqrt {c}}\right ) + c \log \left (b^{2} x^{2} + 2 \, a b x + a^{2} + c\right ) - 2 \, c \log \relax (x)}{2 \, {\left (a^{2} c + c^{2}\right )}}\right ] \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
giac [A] time = 0.38, size = 62, normalized size = 1.05 \[ -\frac {a \arctan \left (\frac {b x + a}{\sqrt {c}}\right )}{{\left (a^{2} + c\right )} \sqrt {c}} - \frac {\log \left (b^{2} x^{2} + 2 \, a b x + a^{2} + c\right )}{2 \, {\left (a^{2} + c\right )}} + \frac {\log \left ({\left | x \right |}\right )}{a^{2} + c} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
maple [A] time = 0.01, size = 72, normalized size = 1.22 \[ -\frac {a \arctan \left (\frac {2 b^{2} x +2 b a}{2 b \sqrt {c}}\right )}{\left (a^{2}+c \right ) \sqrt {c}}+\frac {\ln \relax (x )}{a^{2}+c}-\frac {\ln \left (b^{2} x^{2}+2 a b x +a^{2}+c \right )}{2 \left (a^{2}+c \right )} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
maxima [A] time = 1.52, size = 68, normalized size = 1.15 \[ -\frac {a \arctan \left (\frac {b^{2} x + a b}{b \sqrt {c}}\right )}{{\left (a^{2} + c\right )} \sqrt {c}} - \frac {\log \left (b^{2} x^{2} + 2 \, a b x + a^{2} + c\right )}{2 \, {\left (a^{2} + c\right )}} + \frac {\log \relax (x)}{a^{2} + c} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
mupad [B] time = 2.59, size = 173, normalized size = 2.93 \[ \frac {\ln \relax (x)}{a^2+c}-\frac {\ln \left (2\,a\,b^3+3\,b^4\,x+\frac {b^3\,\left (c+a\,\sqrt {-c}\right )\,\left (a^3+b\,x\,a^2+c\,a-3\,b\,c\,x\right )}{c\,\left (a^2+c\right )}\right )\,\left (c+a\,\sqrt {-c}\right )}{2\,\left (a^2\,c+c^2\right )}-\frac {\ln \left (2\,a\,b^3+3\,b^4\,x+\frac {b^3\,\left (c-a\,\sqrt {-c}\right )\,\left (a^3+b\,x\,a^2+c\,a-3\,b\,c\,x\right )}{c\,\left (a^2+c\right )}\right )\,\left (c-a\,\sqrt {-c}\right )}{2\,\left (a^2\,c+c^2\right )} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
sympy [B] time = 3.40, size = 738, normalized size = 12.51 \[ \left (- \frac {a \sqrt {- c}}{2 c \left (a^{2} + c\right )} - \frac {1}{2 \left (a^{2} + c\right )}\right ) \log {\left (x + \frac {- 4 a^{6} c \left (- \frac {a \sqrt {- c}}{2 c \left (a^{2} + c\right )} - \frac {1}{2 \left (a^{2} + c\right )}\right )^{2} + 4 a^{4} c^{2} \left (- \frac {a \sqrt {- c}}{2 c \left (a^{2} + c\right )} - \frac {1}{2 \left (a^{2} + c\right )}\right )^{2} - 6 a^{4} c \left (- \frac {a \sqrt {- c}}{2 c \left (a^{2} + c\right )} - \frac {1}{2 \left (a^{2} + c\right )}\right ) + 20 a^{2} c^{3} \left (- \frac {a \sqrt {- c}}{2 c \left (a^{2} + c\right )} - \frac {1}{2 \left (a^{2} + c\right )}\right )^{2} - 12 a^{2} c^{2} \left (- \frac {a \sqrt {- c}}{2 c \left (a^{2} + c\right )} - \frac {1}{2 \left (a^{2} + c\right )}\right ) + 10 a^{2} c + 12 c^{4} \left (- \frac {a \sqrt {- c}}{2 c \left (a^{2} + c\right )} - \frac {1}{2 \left (a^{2} + c\right )}\right )^{2} - 6 c^{3} \left (- \frac {a \sqrt {- c}}{2 c \left (a^{2} + c\right )} - \frac {1}{2 \left (a^{2} + c\right )}\right ) - 6 c^{2}}{a^{3} b + 9 a b c} \right )} + \left (\frac {a \sqrt {- c}}{2 c \left (a^{2} + c\right )} - \frac {1}{2 \left (a^{2} + c\right )}\right ) \log {\left (x + \frac {- 4 a^{6} c \left (\frac {a \sqrt {- c}}{2 c \left (a^{2} + c\right )} - \frac {1}{2 \left (a^{2} + c\right )}\right )^{2} + 4 a^{4} c^{2} \left (\frac {a \sqrt {- c}}{2 c \left (a^{2} + c\right )} - \frac {1}{2 \left (a^{2} + c\right )}\right )^{2} - 6 a^{4} c \left (\frac {a \sqrt {- c}}{2 c \left (a^{2} + c\right )} - \frac {1}{2 \left (a^{2} + c\right )}\right ) + 20 a^{2} c^{3} \left (\frac {a \sqrt {- c}}{2 c \left (a^{2} + c\right )} - \frac {1}{2 \left (a^{2} + c\right )}\right )^{2} - 12 a^{2} c^{2} \left (\frac {a \sqrt {- c}}{2 c \left (a^{2} + c\right )} - \frac {1}{2 \left (a^{2} + c\right )}\right ) + 10 a^{2} c + 12 c^{4} \left (\frac {a \sqrt {- c}}{2 c \left (a^{2} + c\right )} - \frac {1}{2 \left (a^{2} + c\right )}\right )^{2} - 6 c^{3} \left (\frac {a \sqrt {- c}}{2 c \left (a^{2} + c\right )} - \frac {1}{2 \left (a^{2} + c\right )}\right ) - 6 c^{2}}{a^{3} b + 9 a b c} \right )} + \frac {\log {\left (x + \frac {- \frac {4 a^{6} c}{\left (a^{2} + c\right )^{2}} + \frac {4 a^{4} c^{2}}{\left (a^{2} + c\right )^{2}} - \frac {6 a^{4} c}{a^{2} + c} + \frac {20 a^{2} c^{3}}{\left (a^{2} + c\right )^{2}} - \frac {12 a^{2} c^{2}}{a^{2} + c} + 10 a^{2} c + \frac {12 c^{4}}{\left (a^{2} + c\right )^{2}} - \frac {6 c^{3}}{a^{2} + c} - 6 c^{2}}{a^{3} b + 9 a b c} \right )}}{a^{2} + c} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________