Optimal. Leaf size=21 \[ -\frac {c}{a^2 x}+c x-\frac {2 c \log (x)}{a} \]
[Out]
________________________________________________________________________________________
Rubi [A]
time = 0.06, antiderivative size = 21, normalized size of antiderivative = 1.00, number of steps
used = 5, number of rules used = 4, integrand size = 20, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.200, Rules used = {6302, 6292,
6285, 45} \begin {gather*} -\frac {c}{a^2 x}-\frac {2 c \log (x)}{a}+c x \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
Rule 45
Rule 6285
Rule 6292
Rule 6302
Rubi steps
\begin {align*} \int e^{-2 \coth ^{-1}(a x)} \left (c-\frac {c}{a^2 x^2}\right ) \, dx &=-\int e^{-2 \tanh ^{-1}(a x)} \left (c-\frac {c}{a^2 x^2}\right ) \, dx\\ &=\frac {c \int \frac {e^{-2 \tanh ^{-1}(a x)} \left (1-a^2 x^2\right )}{x^2} \, dx}{a^2}\\ &=\frac {c \int \frac {(1-a x)^2}{x^2} \, dx}{a^2}\\ &=\frac {c \int \left (a^2+\frac {1}{x^2}-\frac {2 a}{x}\right ) \, dx}{a^2}\\ &=-\frac {c}{a^2 x}+c x-\frac {2 c \log (x)}{a}\\ \end {align*}
________________________________________________________________________________________
Mathematica [A]
time = 0.01, size = 21, normalized size = 1.00 \begin {gather*} -\frac {c}{a^2 x}+c x-\frac {2 c \log (x)}{a} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [A]
time = 0.16, size = 22, normalized size = 1.05
method | result | size |
default | \(\frac {c \left (a^{2} x -\frac {1}{x}-2 a \ln \left (x \right )\right )}{a^{2}}\) | \(22\) |
risch | \(-\frac {c}{a^{2} x}+c x -\frac {2 c \ln \left (x \right )}{a}\) | \(22\) |
norman | \(\frac {a c \,x^{2}-\frac {c}{a}}{a x}-\frac {2 c \ln \left (x \right )}{a}\) | \(30\) |
meijerg | \(\frac {c \left (a x -\ln \left (a x +1\right )\right )}{a}-\frac {c \ln \left (a x +1\right )}{a}-\frac {c \left (-\ln \left (a x +1\right )+\ln \left (x \right )+\ln \left (a \right )\right )}{a}+\frac {c \left (\ln \left (a x +1\right )-\ln \left (x \right )-\ln \left (a \right )-\frac {1}{a x}\right )}{a}\) | \(78\) |
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [A]
time = 0.26, size = 21, normalized size = 1.00 \begin {gather*} c x - \frac {2 \, c \log \left (x\right )}{a} - \frac {c}{a^{2} x} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [A]
time = 0.49, size = 26, normalized size = 1.24 \begin {gather*} \frac {a^{2} c x^{2} - 2 \, a c x \log \left (x\right ) - c}{a^{2} x} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [A]
time = 0.05, size = 20, normalized size = 0.95 \begin {gather*} \frac {a^{2} c x - 2 a c \log {\left (x \right )} - \frac {c}{x}}{a^{2}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [A]
time = 0.39, size = 22, normalized size = 1.05 \begin {gather*} c x - \frac {2 \, c \log \left ({\left | x \right |}\right )}{a} - \frac {c}{a^{2} x} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Mupad [B]
time = 1.23, size = 25, normalized size = 1.19 \begin {gather*} -\frac {c\,\left (2\,a\,x\,\ln \left (x\right )-a^2\,x^2+1\right )}{a^2\,x} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________