Optimal. Leaf size=70 \[ -\frac {b \text {sech}^{-1}(a+b x)}{a}-\frac {\text {sech}^{-1}(a+b x)}{x}+\frac {2 b \tanh ^{-1}\left (\frac {\sqrt {1+a} \tanh \left (\frac {1}{2} \text {sech}^{-1}(a+b x)\right )}{\sqrt {1-a}}\right )}{a \sqrt {1-a^2}} \]
[Out]
________________________________________________________________________________________
Rubi [A]
time = 0.08, antiderivative size = 70, normalized size of antiderivative = 1.00, number of steps
used = 5, number of rules used = 5, integrand size = 10, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.500, Rules used = {6456, 5576,
3868, 2738, 214} \begin {gather*} \frac {2 b \tanh ^{-1}\left (\frac {\sqrt {a+1} \tanh \left (\frac {1}{2} \text {sech}^{-1}(a+b x)\right )}{\sqrt {1-a}}\right )}{a \sqrt {1-a^2}}-\frac {b \text {sech}^{-1}(a+b x)}{a}-\frac {\text {sech}^{-1}(a+b x)}{x} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
Rule 214
Rule 2738
Rule 3868
Rule 5576
Rule 6456
Rubi steps
\begin {align*} \int \frac {\text {sech}^{-1}(a+b x)}{x^2} \, dx &=-\left (b \text {Subst}\left (\int \frac {x \text {sech}(x) \tanh (x)}{(-a+\text {sech}(x))^2} \, dx,x,\text {sech}^{-1}(a+b x)\right )\right )\\ &=-\frac {\text {sech}^{-1}(a+b x)}{x}+b \text {Subst}\left (\int \frac {1}{-a+\text {sech}(x)} \, dx,x,\text {sech}^{-1}(a+b x)\right )\\ &=-\frac {b \text {sech}^{-1}(a+b x)}{a}-\frac {\text {sech}^{-1}(a+b x)}{x}+\frac {b \text {Subst}\left (\int \frac {1}{1-a \cosh (x)} \, dx,x,\text {sech}^{-1}(a+b x)\right )}{a}\\ &=-\frac {b \text {sech}^{-1}(a+b x)}{a}-\frac {\text {sech}^{-1}(a+b x)}{x}+\frac {(2 b) \text {Subst}\left (\int \frac {1}{1-a-(1+a) x^2} \, dx,x,\tanh \left (\frac {1}{2} \text {sech}^{-1}(a+b x)\right )\right )}{a}\\ &=-\frac {b \text {sech}^{-1}(a+b x)}{a}-\frac {\text {sech}^{-1}(a+b x)}{x}+\frac {2 b \tanh ^{-1}\left (\frac {\sqrt {1+a} \tanh \left (\frac {1}{2} \text {sech}^{-1}(a+b x)\right )}{\sqrt {1-a}}\right )}{a \sqrt {1-a^2}}\\ \end {align*}
________________________________________________________________________________________
Mathematica [B] Leaf count is larger than twice the leaf count of optimal. \(244\) vs. \(2(70)=140\).
time = 0.17, size = 244, normalized size = 3.49 \begin {gather*} -\frac {\text {sech}^{-1}(a+b x)}{x}+\frac {b \left (-\log (x)+\sqrt {1-a^2} \log (a+b x)-\sqrt {1-a^2} \log \left (1+\sqrt {-\frac {-1+a+b x}{1+a+b x}}+a \sqrt {-\frac {-1+a+b x}{1+a+b x}}+b x \sqrt {-\frac {-1+a+b x}{1+a+b x}}\right )+\log \left (1-a^2-a b x+\sqrt {1-a^2} \sqrt {-\frac {-1+a+b x}{1+a+b x}}+a \sqrt {1-a^2} \sqrt {-\frac {-1+a+b x}{1+a+b x}}+\sqrt {1-a^2} b x \sqrt {-\frac {-1+a+b x}{1+a+b x}}\right )\right )}{a \sqrt {1-a^2}} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [B] Leaf count of result is larger than twice the leaf count of optimal. \(170\) vs.
\(2(62)=124\).
time = 0.44, size = 171, normalized size = 2.44
method | result | size |
derivativedivides | \(b \left (-\frac {\mathrm {arcsech}\left (b x +a \right )}{b x}-\frac {\sqrt {-\frac {b x +a -1}{b x +a}}\, \left (b x +a \right ) \sqrt {\frac {b x +a +1}{b x +a}}\, \left (\arctanh \left (\frac {1}{\sqrt {-\left (b x +a \right )^{2}+1}}\right ) a^{2}+\sqrt {-a^{2}+1}\, \ln \left (\frac {2 \sqrt {-a^{2}+1}\, \sqrt {-\left (b x +a \right )^{2}+1}-2 a \left (b x +a \right )+2}{b x}\right )-\arctanh \left (\frac {1}{\sqrt {-\left (b x +a \right )^{2}+1}}\right )\right )}{\sqrt {-\left (b x +a \right )^{2}+1}\, a \left (-1+a \right ) \left (1+a \right )}\right )\) | \(171\) |
default | \(b \left (-\frac {\mathrm {arcsech}\left (b x +a \right )}{b x}-\frac {\sqrt {-\frac {b x +a -1}{b x +a}}\, \left (b x +a \right ) \sqrt {\frac {b x +a +1}{b x +a}}\, \left (\arctanh \left (\frac {1}{\sqrt {-\left (b x +a \right )^{2}+1}}\right ) a^{2}+\sqrt {-a^{2}+1}\, \ln \left (\frac {2 \sqrt {-a^{2}+1}\, \sqrt {-\left (b x +a \right )^{2}+1}-2 a \left (b x +a \right )+2}{b x}\right )-\arctanh \left (\frac {1}{\sqrt {-\left (b x +a \right )^{2}+1}}\right )\right )}{\sqrt {-\left (b x +a \right )^{2}+1}\, a \left (-1+a \right ) \left (1+a \right )}\right )\) | \(171\) |
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 [B] Leaf count of result is larger than twice the leaf count of optimal. 320 vs.
\(2 (62) = 124\).
time = 0.40, size = 651, normalized size = 9.30 \begin {gather*} \left [-\frac {{\left (a^{2} - 1\right )} b x \log \left (\frac {{\left (b x + a\right )} \sqrt {-\frac {b^{2} x^{2} + 2 \, a b x + a^{2} - 1}{b^{2} x^{2} + 2 \, a b x + a^{2}}} + 1}{x}\right ) - {\left (a^{2} - 1\right )} b x \log \left (\frac {{\left (b x + a\right )} \sqrt {-\frac {b^{2} x^{2} + 2 \, a b x + a^{2} - 1}{b^{2} x^{2} + 2 \, a b x + a^{2}}} - 1}{x}\right ) + \sqrt {-a^{2} + 1} b x \log \left (\frac {{\left (2 \, a^{2} - 1\right )} b^{2} x^{2} + 2 \, a^{4} + 4 \, {\left (a^{3} - a\right )} b x - 4 \, a^{2} - 2 \, {\left (a b^{2} x^{2} + a^{3} + {\left (2 \, a^{2} - 1\right )} b x - a\right )} \sqrt {-a^{2} + 1} \sqrt {-\frac {b^{2} x^{2} + 2 \, a b x + a^{2} - 1}{b^{2} x^{2} + 2 \, a b x + a^{2}}} + 2}{x^{2}}\right ) + 2 \, {\left (a^{3} - a\right )} \log \left (\frac {{\left (b x + a\right )} \sqrt {-\frac {b^{2} x^{2} + 2 \, a b x + a^{2} - 1}{b^{2} x^{2} + 2 \, a b x + a^{2}}} + 1}{b x + a}\right )}{2 \, {\left (a^{3} - a\right )} x}, -\frac {{\left (a^{2} - 1\right )} b x \log \left (\frac {{\left (b x + a\right )} \sqrt {-\frac {b^{2} x^{2} + 2 \, a b x + a^{2} - 1}{b^{2} x^{2} + 2 \, a b x + a^{2}}} + 1}{x}\right ) - {\left (a^{2} - 1\right )} b x \log \left (\frac {{\left (b x + a\right )} \sqrt {-\frac {b^{2} x^{2} + 2 \, a b x + a^{2} - 1}{b^{2} x^{2} + 2 \, a b x + a^{2}}} - 1}{x}\right ) + 2 \, \sqrt {a^{2} - 1} b x \arctan \left (\frac {{\left (a b^{2} x^{2} + a^{3} + {\left (2 \, a^{2} - 1\right )} b x - a\right )} \sqrt {a^{2} - 1} \sqrt {-\frac {b^{2} x^{2} + 2 \, a b x + a^{2} - 1}{b^{2} x^{2} + 2 \, a b x + a^{2}}}}{{\left (a^{2} - 1\right )} b^{2} x^{2} + a^{4} + 2 \, {\left (a^{3} - a\right )} b x - 2 \, a^{2} + 1}\right ) + 2 \, {\left (a^{3} - a\right )} \log \left (\frac {{\left (b x + a\right )} \sqrt {-\frac {b^{2} x^{2} + 2 \, a b x + a^{2} - 1}{b^{2} x^{2} + 2 \, a b x + a^{2}}} + 1}{b x + a}\right )}{2 \, {\left (a^{3} - a\right )} x}\right ] \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 {\operatorname {asech}{\left (a + b x \right )}}{x^{2}}\, dx \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [F]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {could not integrate} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Mupad [F]
time = 0.00, size = -1, normalized size = -0.01 \begin {gather*} \int \frac {\mathrm {acosh}\left (\frac {1}{a+b\,x}\right )}{x^2} \,d x \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________