Optimal. Leaf size=71 \[ -\frac {\sqrt {\frac {1}{1+c x}} \sqrt {1+c x} \tanh ^{-1}\left (\sqrt {1-c x} \sqrt {1+c x}\right )}{c}+\frac {\log (x)}{c}-\frac {\log \left (1-c^2 x^2\right )}{2 c} \]
[Out]
________________________________________________________________________________________
Rubi [A]
time = 0.08, antiderivative size = 71, normalized size of antiderivative = 1.00, number of steps
used = 8, number of rules used = 8, integrand size = 19, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.421, Rules used = {6474, 1972, 94,
214, 272, 36, 29, 31} \begin {gather*} -\frac {\log \left (1-c^2 x^2\right )}{2 c}+\frac {\log (x)}{c}-\frac {\sqrt {\frac {1}{c x+1}} \sqrt {c x+1} \tanh ^{-1}\left (\sqrt {1-c x} \sqrt {c x+1}\right )}{c} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
Rule 29
Rule 31
Rule 36
Rule 94
Rule 214
Rule 272
Rule 1972
Rule 6474
Rubi steps
\begin {align*} \int \frac {e^{\text {sech}^{-1}(c x)}}{1-c^2 x^2} \, dx &=\frac {\int \frac {\sqrt {\frac {1}{1+c x}}}{x \sqrt {1-c x}} \, dx}{c}+\frac {\int \frac {1}{x \left (1-c^2 x^2\right )} \, dx}{c}\\ &=\frac {\text {Subst}\left (\int \frac {1}{x \left (1-c^2 x\right )} \, dx,x,x^2\right )}{2 c}+\frac {\left (\sqrt {\frac {1}{1+c x}} \sqrt {1+c x}\right ) \int \frac {1}{x \sqrt {1-c x} \sqrt {1+c x}} \, dx}{c}\\ &=\frac {\text {Subst}\left (\int \frac {1}{x} \, dx,x,x^2\right )}{2 c}+\frac {1}{2} c \text {Subst}\left (\int \frac {1}{1-c^2 x} \, dx,x,x^2\right )-\left (\sqrt {\frac {1}{1+c x}} \sqrt {1+c x}\right ) \text {Subst}\left (\int \frac {1}{c-c x^2} \, dx,x,\sqrt {1-c x} \sqrt {1+c x}\right )\\ &=-\frac {\sqrt {\frac {1}{1+c x}} \sqrt {1+c x} \tanh ^{-1}\left (\sqrt {1-c x} \sqrt {1+c x}\right )}{c}+\frac {\log (x)}{c}-\frac {\log \left (1-c^2 x^2\right )}{2 c}\\ \end {align*}
________________________________________________________________________________________
Mathematica [A]
time = 0.03, size = 73, normalized size = 1.03 \begin {gather*} \frac {2 \log (x)}{c}-\frac {\log \left (1-c^2 x^2\right )}{2 c}-\frac {\log \left (1+\sqrt {\frac {1-c x}{1+c x}}+c x \sqrt {\frac {1-c x}{1+c x}}\right )}{c} \end {gather*}
Warning: Unable to verify antiderivative.
[In]
[Out]
________________________________________________________________________________________
Maple [A]
time = 0.30, size = 82, normalized size = 1.15
method | result | size |
default | \(-\frac {\sqrt {-\frac {c x -1}{c x}}\, x \sqrt {\frac {c x +1}{c x}}\, \arctanh \left (\frac {1}{\sqrt {-c^{2} x^{2}+1}}\right )}{\sqrt {-c^{2} x^{2}+1}}+\frac {-\frac {\ln \left (c x +1\right )}{2}+\ln \left (x \right )-\frac {\ln \left (c x -1\right )}{2}}{c}\) | \(82\) |
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. 92 vs.
\(2 (45) = 90\).
time = 0.37, size = 92, normalized size = 1.30 \begin {gather*} -\frac {\log \left (c^{2} x^{2} - 1\right ) + \log \left (c x \sqrt {\frac {c x + 1}{c x}} \sqrt {-\frac {c x - 1}{c x}} + 1\right ) - \log \left (c x \sqrt {\frac {c x + 1}{c x}} \sqrt {-\frac {c x - 1}{c x}} - 1\right ) - 2 \, \log \left (x\right )}{2 \, c} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [A]
time = 9.44, size = 48, normalized size = 0.68 \begin {gather*} - \frac {\log {\left (-1 + \frac {1}{c x} \right )}}{2 c} - \frac {\log {\left (\sqrt {1 + \frac {1}{c x}} \right )}}{c} - \frac {2 \operatorname {acosh}{\left (\frac {\sqrt {2} \sqrt {1 + \frac {1}{c x}}}{2} \right )}}{c} \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.92, size = 59, normalized size = 0.83 \begin {gather*} \frac {\ln \left (x\right )}{c}-\frac {4\,\mathrm {atanh}\left (\frac {\sqrt {\frac {1}{c\,x}-1}-\mathrm {i}}{\sqrt {\frac {1}{c\,x}+1}-1}\right )}{c}-\frac {\ln \left (3\,c^2\,x^2-3\right )}{2\,c} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________