Optimal. Leaf size=24 \[ e^{\text {sech}^{-1}(a x)} x-\frac {\text {sech}^{-1}(a x)}{a}+\frac {\log (x)}{a} \]
[Out]
________________________________________________________________________________________
Rubi [A]
time = 0.08, 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 = {6464, 1984, 214}
\begin {gather*} \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)} \end {gather*}
Warning: Unable to verify antiderivative.
[In]
[Out]
Rule 214
Rule 1984
Rule 6464
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 \text {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] Leaf count is larger than twice the leaf count of optimal. \(79\) vs. \(2(24)=48\).
time = 0.03, size = 79, normalized size = 3.29 \begin {gather*} \frac {\sqrt {\frac {1-a x}{1+a x}} (1+a x)+2 \log (a x)-\log \left (1+\sqrt {\frac {1-a x}{1+a x}}+a x \sqrt {\frac {1-a x}{1+a x}}\right )}{a} \end {gather*}
Warning: Unable to verify antiderivative.
[In]
[Out]
________________________________________________________________________________________
Maple [A]
time = 0.06, size = 80, normalized size = 3.33
method | result | size |
default | \(\frac {\ln \left (x \right )}{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}}\) | \(80\) |
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. 115 vs.
\(2 (49) = 98\).
time = 0.39, size = 115, normalized size = 4.79 \begin {gather*} \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 \left (x\right )}{2 \, a} \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*} \frac {\int \frac {1}{x}\, dx + \int a \sqrt {-1 + \frac {1}{a x}} \sqrt {1 + \frac {1}{a x}}\, dx}{a} \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 [B]
time = 2.98, size = 182, normalized size = 7.58 \begin {gather*} \frac {\ln \left (x\right )}{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 )} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________