Optimal. Leaf size=397 \[ -\frac {\text {Li}_2\left (-\frac {\sqrt {b} (1-x)}{\sqrt {-a}-\sqrt {b}}\right )}{4 \sqrt {-a} \sqrt {b}}+\frac {\text {Li}_2\left (\frac {\sqrt {b} (1-x)}{\sqrt {-a}+\sqrt {b}}\right )}{4 \sqrt {-a} \sqrt {b}}-\frac {\text {Li}_2\left (-\frac {\sqrt {b} (x+1)}{\sqrt {-a}-\sqrt {b}}\right )}{4 \sqrt {-a} \sqrt {b}}+\frac {\text {Li}_2\left (\frac {\sqrt {b} (x+1)}{\sqrt {-a}+\sqrt {b}}\right )}{4 \sqrt {-a} \sqrt {b}}-\frac {\log (1-x) \log \left (\frac {\sqrt {-a}-\sqrt {b} x}{\sqrt {-a}-\sqrt {b}}\right )}{4 \sqrt {-a} \sqrt {b}}+\frac {\log (x+1) \log \left (\frac {\sqrt {-a}-\sqrt {b} x}{\sqrt {-a}+\sqrt {b}}\right )}{4 \sqrt {-a} \sqrt {b}}-\frac {\log (x+1) \log \left (\frac {\sqrt {-a}+\sqrt {b} x}{\sqrt {-a}-\sqrt {b}}\right )}{4 \sqrt {-a} \sqrt {b}}+\frac {\log (1-x) \log \left (\frac {\sqrt {-a}+\sqrt {b} x}{\sqrt {-a}+\sqrt {b}}\right )}{4 \sqrt {-a} \sqrt {b}} \]
[Out]
________________________________________________________________________________________
Rubi [A] time = 0.37, antiderivative size = 397, normalized size of antiderivative = 1.00, number of steps used = 17, number of rules used = 5, integrand size = 12, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.417, Rules used = {5972, 2409, 2394, 2393, 2391} \[ -\frac {\text {PolyLog}\left (2,-\frac {\sqrt {b} (1-x)}{\sqrt {-a}-\sqrt {b}}\right )}{4 \sqrt {-a} \sqrt {b}}+\frac {\text {PolyLog}\left (2,\frac {\sqrt {b} (1-x)}{\sqrt {-a}+\sqrt {b}}\right )}{4 \sqrt {-a} \sqrt {b}}-\frac {\text {PolyLog}\left (2,-\frac {\sqrt {b} (x+1)}{\sqrt {-a}-\sqrt {b}}\right )}{4 \sqrt {-a} \sqrt {b}}+\frac {\text {PolyLog}\left (2,\frac {\sqrt {b} (x+1)}{\sqrt {-a}+\sqrt {b}}\right )}{4 \sqrt {-a} \sqrt {b}}-\frac {\log (1-x) \log \left (\frac {\sqrt {-a}-\sqrt {b} x}{\sqrt {-a}-\sqrt {b}}\right )}{4 \sqrt {-a} \sqrt {b}}+\frac {\log (x+1) \log \left (\frac {\sqrt {-a}-\sqrt {b} x}{\sqrt {-a}+\sqrt {b}}\right )}{4 \sqrt {-a} \sqrt {b}}-\frac {\log (x+1) \log \left (\frac {\sqrt {-a}+\sqrt {b} x}{\sqrt {-a}-\sqrt {b}}\right )}{4 \sqrt {-a} \sqrt {b}}+\frac {\log (1-x) \log \left (\frac {\sqrt {-a}+\sqrt {b} x}{\sqrt {-a}+\sqrt {b}}\right )}{4 \sqrt {-a} \sqrt {b}} \]
Antiderivative was successfully verified.
[In]
[Out]
Rule 2391
Rule 2393
Rule 2394
Rule 2409
Rule 5972
Rubi steps
\begin {align*} \int \frac {\tanh ^{-1}(x)}{a+b x^2} \, dx &=-\left (\frac {1}{2} \int \frac {\log (1-x)}{a+b x^2} \, dx\right )+\frac {1}{2} \int \frac {\log (1+x)}{a+b x^2} \, dx\\ &=-\left (\frac {1}{2} \int \left (\frac {\sqrt {-a} \log (1-x)}{2 a \left (\sqrt {-a}-\sqrt {b} x\right )}+\frac {\sqrt {-a} \log (1-x)}{2 a \left (\sqrt {-a}+\sqrt {b} x\right )}\right ) \, dx\right )+\frac {1}{2} \int \left (\frac {\sqrt {-a} \log (1+x)}{2 a \left (\sqrt {-a}-\sqrt {b} x\right )}+\frac {\sqrt {-a} \log (1+x)}{2 a \left (\sqrt {-a}+\sqrt {b} x\right )}\right ) \, dx\\ &=\frac {\int \frac {\log (1-x)}{\sqrt {-a}-\sqrt {b} x} \, dx}{4 \sqrt {-a}}+\frac {\int \frac {\log (1-x)}{\sqrt {-a}+\sqrt {b} x} \, dx}{4 \sqrt {-a}}-\frac {\int \frac {\log (1+x)}{\sqrt {-a}-\sqrt {b} x} \, dx}{4 \sqrt {-a}}-\frac {\int \frac {\log (1+x)}{\sqrt {-a}+\sqrt {b} x} \, dx}{4 \sqrt {-a}}\\ &=-\frac {\log (1-x) \log \left (\frac {\sqrt {-a}-\sqrt {b} x}{\sqrt {-a}-\sqrt {b}}\right )}{4 \sqrt {-a} \sqrt {b}}+\frac {\log (1+x) \log \left (\frac {\sqrt {-a}-\sqrt {b} x}{\sqrt {-a}+\sqrt {b}}\right )}{4 \sqrt {-a} \sqrt {b}}-\frac {\log (1+x) \log \left (\frac {\sqrt {-a}+\sqrt {b} x}{\sqrt {-a}-\sqrt {b}}\right )}{4 \sqrt {-a} \sqrt {b}}+\frac {\log (1-x) \log \left (\frac {\sqrt {-a}+\sqrt {b} x}{\sqrt {-a}+\sqrt {b}}\right )}{4 \sqrt {-a} \sqrt {b}}+\frac {\int \frac {\log \left (\frac {-\sqrt {-a}-\sqrt {b} x}{-\sqrt {-a}-\sqrt {b}}\right )}{1-x} \, dx}{4 \sqrt {-a} \sqrt {b}}-\frac {\int \frac {\log \left (\frac {\sqrt {-a}-\sqrt {b} x}{\sqrt {-a}+\sqrt {b}}\right )}{1+x} \, dx}{4 \sqrt {-a} \sqrt {b}}-\frac {\int \frac {\log \left (\frac {-\sqrt {-a}+\sqrt {b} x}{-\sqrt {-a}+\sqrt {b}}\right )}{1-x} \, dx}{4 \sqrt {-a} \sqrt {b}}+\frac {\int \frac {\log \left (\frac {\sqrt {-a}+\sqrt {b} x}{\sqrt {-a}-\sqrt {b}}\right )}{1+x} \, dx}{4 \sqrt {-a} \sqrt {b}}\\ &=-\frac {\log (1-x) \log \left (\frac {\sqrt {-a}-\sqrt {b} x}{\sqrt {-a}-\sqrt {b}}\right )}{4 \sqrt {-a} \sqrt {b}}+\frac {\log (1+x) \log \left (\frac {\sqrt {-a}-\sqrt {b} x}{\sqrt {-a}+\sqrt {b}}\right )}{4 \sqrt {-a} \sqrt {b}}-\frac {\log (1+x) \log \left (\frac {\sqrt {-a}+\sqrt {b} x}{\sqrt {-a}-\sqrt {b}}\right )}{4 \sqrt {-a} \sqrt {b}}+\frac {\log (1-x) \log \left (\frac {\sqrt {-a}+\sqrt {b} x}{\sqrt {-a}+\sqrt {b}}\right )}{4 \sqrt {-a} \sqrt {b}}-\frac {\operatorname {Subst}\left (\int \frac {\log \left (1+\frac {\sqrt {b} x}{-\sqrt {-a}-\sqrt {b}}\right )}{x} \, dx,x,1-x\right )}{4 \sqrt {-a} \sqrt {b}}+\frac {\operatorname {Subst}\left (\int \frac {\log \left (1+\frac {\sqrt {b} x}{\sqrt {-a}-\sqrt {b}}\right )}{x} \, dx,x,1+x\right )}{4 \sqrt {-a} \sqrt {b}}+\frac {\operatorname {Subst}\left (\int \frac {\log \left (1-\frac {\sqrt {b} x}{-\sqrt {-a}+\sqrt {b}}\right )}{x} \, dx,x,1-x\right )}{4 \sqrt {-a} \sqrt {b}}-\frac {\operatorname {Subst}\left (\int \frac {\log \left (1-\frac {\sqrt {b} x}{\sqrt {-a}+\sqrt {b}}\right )}{x} \, dx,x,1+x\right )}{4 \sqrt {-a} \sqrt {b}}\\ &=-\frac {\log (1-x) \log \left (\frac {\sqrt {-a}-\sqrt {b} x}{\sqrt {-a}-\sqrt {b}}\right )}{4 \sqrt {-a} \sqrt {b}}+\frac {\log (1+x) \log \left (\frac {\sqrt {-a}-\sqrt {b} x}{\sqrt {-a}+\sqrt {b}}\right )}{4 \sqrt {-a} \sqrt {b}}-\frac {\log (1+x) \log \left (\frac {\sqrt {-a}+\sqrt {b} x}{\sqrt {-a}-\sqrt {b}}\right )}{4 \sqrt {-a} \sqrt {b}}+\frac {\log (1-x) \log \left (\frac {\sqrt {-a}+\sqrt {b} x}{\sqrt {-a}+\sqrt {b}}\right )}{4 \sqrt {-a} \sqrt {b}}-\frac {\text {Li}_2\left (-\frac {\sqrt {b} (1-x)}{\sqrt {-a}-\sqrt {b}}\right )}{4 \sqrt {-a} \sqrt {b}}+\frac {\text {Li}_2\left (\frac {\sqrt {b} (1-x)}{\sqrt {-a}+\sqrt {b}}\right )}{4 \sqrt {-a} \sqrt {b}}-\frac {\text {Li}_2\left (-\frac {\sqrt {b} (1+x)}{\sqrt {-a}-\sqrt {b}}\right )}{4 \sqrt {-a} \sqrt {b}}+\frac {\text {Li}_2\left (\frac {\sqrt {b} (1+x)}{\sqrt {-a}+\sqrt {b}}\right )}{4 \sqrt {-a} \sqrt {b}}\\ \end {align*}
________________________________________________________________________________________
Mathematica [C] time = 1.13, size = 485, normalized size = 1.22 \[ -\frac {i \left (\text {Li}_2\left (\frac {\left (-a+b+2 i \sqrt {a b}\right ) \left (i a+\sqrt {a b} x\right )}{(a+b) \left (\sqrt {a b} x-i a\right )}\right )-\text {Li}_2\left (\frac {\left (-a+b-2 i \sqrt {a b}\right ) \left (i a+\sqrt {a b} x\right )}{(a+b) \left (\sqrt {a b} x-i a\right )}\right )\right )-2 i \cos ^{-1}\left (\frac {b-a}{a+b}\right ) \tan ^{-1}\left (\frac {b x}{\sqrt {a b}}\right )+4 \tanh ^{-1}(x) \tan ^{-1}\left (\frac {a}{x \sqrt {a b}}\right )-\log \left (\frac {2 i a (x-1) \left (\sqrt {a b}+i b\right )}{(a+b) \left (a+i x \sqrt {a b}\right )}\right ) \left (2 \tan ^{-1}\left (\frac {b x}{\sqrt {a b}}\right )+\cos ^{-1}\left (\frac {b-a}{a+b}\right )\right )-\log \left (\frac {2 a (x+1) \left (b+i \sqrt {a b}\right )}{(a+b) \left (a+i x \sqrt {a b}\right )}\right ) \left (\cos ^{-1}\left (\frac {b-a}{a+b}\right )-2 \tan ^{-1}\left (\frac {b x}{\sqrt {a b}}\right )\right )+\left (2 \left (\tan ^{-1}\left (\frac {a}{x \sqrt {a b}}\right )+\tan ^{-1}\left (\frac {b x}{\sqrt {a b}}\right )\right )+\cos ^{-1}\left (\frac {b-a}{a+b}\right )\right ) \log \left (\frac {\sqrt {2} \sqrt {a b} e^{-\tanh ^{-1}(x)}}{\sqrt {a+b} \sqrt {(a+b) \cosh \left (2 \tanh ^{-1}(x)\right )+a-b}}\right )+\left (\cos ^{-1}\left (\frac {b-a}{a+b}\right )-2 \left (\tan ^{-1}\left (\frac {a}{x \sqrt {a b}}\right )+\tan ^{-1}\left (\frac {b x}{\sqrt {a b}}\right )\right )\right ) \log \left (\frac {\sqrt {2} \sqrt {a b} e^{\tanh ^{-1}(x)}}{\sqrt {a+b} \sqrt {(a+b) \cosh \left (2 \tanh ^{-1}(x)\right )+a-b}}\right )}{4 \sqrt {a b}} \]
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
fricas [F] time = 0.42, size = 0, normalized size = 0.00 \[ {\rm integral}\left (\frac {\operatorname {artanh}\relax (x)}{b x^{2} + a}, x\right ) \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
giac [F] time = 0.00, size = 0, normalized size = 0.00 \[ \int \frac {\operatorname {artanh}\relax (x)}{b x^{2} + a}\,{d x} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
maple [B] time = 0.62, size = 606, normalized size = 1.53 \[ -\frac {\sqrt {-a b}\, \arctanh \relax (x ) \ln \left (1-\frac {\left (a +b \right ) \left (1+x \right )^{2}}{\left (-x^{2}+1\right ) \left (2 \sqrt {-a b}-a +b \right )}\right )}{2 a b}+\frac {\sqrt {-a b}\, \arctanh \relax (x )^{2}}{2 a b}-\frac {\sqrt {-a b}\, \polylog \left (2, \frac {\left (a +b \right ) \left (1+x \right )^{2}}{\left (-x^{2}+1\right ) \left (2 \sqrt {-a b}-a +b \right )}\right )}{4 a b}-\frac {\left (-2 \sqrt {-a b}+a -b \right ) \ln \left (1-\frac {\left (a +b \right ) \left (1+x \right )^{2}}{\left (-x^{2}+1\right ) \left (-2 \sqrt {-a b}-a +b \right )}\right ) \arctanh \relax (x )}{a^{2}+2 a b +b^{2}}+\frac {\left (2 a b +\sqrt {-a b}\, a -\sqrt {-a b}\, b \right ) \ln \left (1-\frac {\left (a +b \right ) \left (1+x \right )^{2}}{\left (-x^{2}+1\right ) \left (-2 \sqrt {-a b}-a +b \right )}\right ) \arctanh \relax (x )}{2 b \left (a^{2}+2 a b +b^{2}\right )}-\frac {\left (2 a b +\sqrt {-a b}\, a -\sqrt {-a b}\, b \right ) \ln \left (1-\frac {\left (a +b \right ) \left (1+x \right )^{2}}{\left (-x^{2}+1\right ) \left (-2 \sqrt {-a b}-a +b \right )}\right ) \arctanh \relax (x )}{2 a \left (a^{2}+2 a b +b^{2}\right )}-\frac {\arctanh \relax (x )^{2} \sqrt {-a b}}{a^{2}+2 a b +b^{2}}-\frac {\arctanh \relax (x )^{2} a \sqrt {-a b}}{2 b \left (a^{2}+2 a b +b^{2}\right )}-\frac {\arctanh \relax (x )^{2} b \sqrt {-a b}}{2 a \left (a^{2}+2 a b +b^{2}\right )}+\frac {\polylog \left (2, \frac {\left (a +b \right ) \left (1+x \right )^{2}}{\left (-x^{2}+1\right ) \left (-2 \sqrt {-a b}-a +b \right )}\right ) \sqrt {-a b}}{2 a^{2}+4 a b +2 b^{2}}+\frac {\polylog \left (2, \frac {\left (a +b \right ) \left (1+x \right )^{2}}{\left (-x^{2}+1\right ) \left (-2 \sqrt {-a b}-a +b \right )}\right ) a \sqrt {-a b}}{4 b \left (a^{2}+2 a b +b^{2}\right )}+\frac {\polylog \left (2, \frac {\left (a +b \right ) \left (1+x \right )^{2}}{\left (-x^{2}+1\right ) \left (-2 \sqrt {-a b}-a +b \right )}\right ) b \sqrt {-a b}}{4 a \left (a^{2}+2 a b +b^{2}\right )} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
maxima [C] time = 0.52, size = 304, normalized size = 0.77 \[ \frac {\arctan \left (\frac {b x}{\sqrt {a b}}\right ) \operatorname {artanh}\relax (x)}{\sqrt {a b}} + \frac {{\left (\arctan \left (\frac {\sqrt {a} \sqrt {b} {\left (x + 1\right )}}{a + b}, \frac {b x + b}{a + b}\right ) - \arctan \left (\frac {\sqrt {a} \sqrt {b} {\left (x - 1\right )}}{a + b}, -\frac {b x - b}{a + b}\right )\right )} \log \left (b x^{2} + a\right ) - \arctan \left (\frac {\sqrt {b} x}{\sqrt {a}}\right ) \log \left (\frac {b x^{2} + 2 \, b x + b}{a + b}\right ) + \arctan \left (\frac {\sqrt {b} x}{\sqrt {a}}\right ) \log \left (\frac {b x^{2} - 2 \, b x + b}{a + b}\right ) - i \, {\rm Li}_2\left (-\frac {b x - \sqrt {a} \sqrt {b} {\left (i \, x + i\right )} - a}{a + 2 i \, \sqrt {a} \sqrt {b} - b}\right ) - i \, {\rm Li}_2\left (\frac {b x - \sqrt {a} \sqrt {b} {\left (i \, x - i\right )} + a}{a + 2 i \, \sqrt {a} \sqrt {b} - b}\right ) + i \, {\rm Li}_2\left (-\frac {b x + \sqrt {a} \sqrt {b} {\left (i \, x + i\right )} - a}{a - 2 i \, \sqrt {a} \sqrt {b} - b}\right ) + i \, {\rm Li}_2\left (\frac {b x + \sqrt {a} \sqrt {b} {\left (i \, x - i\right )} + a}{a - 2 i \, \sqrt {a} \sqrt {b} - b}\right )}{4 \, \sqrt {a b}} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
mupad [F] time = 0.00, size = -1, normalized size = -0.00 \[ \int \frac {\mathrm {atanh}\relax (x)}{b\,x^2+a} \,d x \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
sympy [F] time = 0.00, size = 0, normalized size = 0.00 \[ \int \frac {\operatorname {atanh}{\relax (x )}}{a + b x^{2}}\, dx \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________