Optimal. Leaf size=24 \[ \frac {\log (x)}{a}+x e^{\text {sech}^{-1}(a x)}-\frac {\text {sech}^{-1}(a x)}{a} \]
[Out]
________________________________________________________________________________________
Rubi [A] time = 0.14, antiderivative size = 39, normalized size of antiderivative = 1.62, number of steps used = 3, number of rules used = 3, integrand size = 6, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.500, Rules used = {6329, 1962, 208} \[ \frac {\log (x)}{a}-\frac {2 \tanh ^{-1}\left (\sqrt {\frac {1-a x}{a x+1}}\right )}{a}+x e^{\text {sech}^{-1}(a x)} \]
Warning: Unable to verify antiderivative.
[In]
[Out]
Rule 208
Rule 1962
Rule 6329
Rubi steps
\begin {align*} \int e^{\text {sech}^{-1}(a x)} \, dx &=e^{\text {sech}^{-1}(a x)} x+\frac {\log (x)}{a}+\frac {\int \frac {\sqrt {\frac {1-a x}{1+a x}}}{x (1-a x)} \, dx}{a}\\ &=e^{\text {sech}^{-1}(a x)} x+\frac {\log (x)}{a}-4 \operatorname {Subst}\left (\int \frac {1}{2 a-2 a x^2} \, dx,x,\sqrt {\frac {1-a x}{1+a x}}\right )\\ &=e^{\text {sech}^{-1}(a x)} x-\frac {2 \tanh ^{-1}\left (\sqrt {\frac {1-a x}{1+a x}}\right )}{a}+\frac {\log (x)}{a}\\ \end {align*}
________________________________________________________________________________________
Mathematica [B] time = 0.04, size = 79, normalized size = 3.29 \[ \frac {\sqrt {\frac {1-a x}{a x+1}} (a x+1)+2 \log (a x)-\log \left (a x \sqrt {\frac {1-a x}{a x+1}}+\sqrt {\frac {1-a x}{a x+1}}+1\right )}{a} \]
Warning: Unable to verify antiderivative.
[In]
[Out]
________________________________________________________________________________________
fricas [B] time = 0.70, size = 115, normalized size = 4.79 \[ \frac {2 \, a x \sqrt {\frac {a x + 1}{a x}} \sqrt {-\frac {a x - 1}{a x}} - \log \left (a x \sqrt {\frac {a x + 1}{a x}} \sqrt {-\frac {a x - 1}{a x}} + 1\right ) + \log \left (a x \sqrt {\frac {a x + 1}{a x}} \sqrt {-\frac {a x - 1}{a x}} - 1\right ) + 2 \, \log \relax (x)}{2 \, a} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
giac [F] time = 0.00, size = 0, normalized size = 0.00 \[ \int \sqrt {\frac {1}{a x} + 1} \sqrt {\frac {1}{a x} - 1} + \frac {1}{a x}\,{d x} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
maple [A] time = 0.06, size = 80, normalized size = 3.33 \[ \frac {\ln \relax (x )}{a}-\frac {\sqrt {-\frac {a x -1}{a x}}\, x \sqrt {\frac {a x +1}{a x}}\, \left (-\sqrt {-a^{2} x^{2}+1}+\arctanh \left (\frac {1}{\sqrt {-a^{2} x^{2}+1}}\right )\right )}{\sqrt {-a^{2} x^{2}+1}} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
maxima [F] time = 0.00, size = 0, normalized size = 0.00 \[ \int \sqrt {\frac {1}{a x} + 1} \sqrt {\frac {1}{a x} - 1} + \frac {1}{a x}\,{d x} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
mupad [B] time = 2.98, size = 182, normalized size = 7.58 \[ \frac {\ln \relax (x)}{a}-\frac {4\,\mathrm {atanh}\left (\frac {\sqrt {\frac {1}{a\,x}-1}-\mathrm {i}}{\sqrt {\frac {1}{a\,x}+1}-1}\right )}{a}+\frac {\frac {5\,{\left (\sqrt {\frac {1}{a\,x}-1}-\mathrm {i}\right )}^2}{{\left (\sqrt {\frac {1}{a\,x}+1}-1\right )}^2}+1}{\frac {4\,a\,\left (\sqrt {\frac {1}{a\,x}-1}-\mathrm {i}\right )}{\sqrt {\frac {1}{a\,x}+1}-1}+\frac {4\,a\,{\left (\sqrt {\frac {1}{a\,x}-1}-\mathrm {i}\right )}^3}{{\left (\sqrt {\frac {1}{a\,x}+1}-1\right )}^3}}+\frac {\sqrt {\frac {1}{a\,x}-1}-\mathrm {i}}{4\,a\,\left (\sqrt {\frac {1}{a\,x}+1}-1\right )} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
sympy [F] time = 0.00, size = 0, normalized size = 0.00 \[ \frac {\int \frac {1}{x}\, dx + \int a \sqrt {-1 + \frac {1}{a x}} \sqrt {1 + \frac {1}{a x}}\, dx}{a} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________