Optimal. Leaf size=11 \[ \frac{\sin ^{-1}(a x)}{a c} \]
[Out]
________________________________________________________________________________________
Rubi [A] time = 0.0279087, antiderivative size = 11, normalized size of antiderivative = 1., number of steps used = 2, number of rules used = 2, integrand size = 18, \(\frac{\text{number of rules}}{\text{integrand size}}\) = 0.111, Rules used = {6127, 216} \[ \frac{\sin ^{-1}(a x)}{a c} \]
Antiderivative was successfully verified.
[In]
[Out]
Rule 6127
Rule 216
Rubi steps
\begin{align*} \int \frac{e^{-\tanh ^{-1}(a x)}}{c-a c x} \, dx &=\frac{\int \frac{1}{\sqrt{1-a^2 x^2}} \, dx}{c}\\ &=\frac{\sin ^{-1}(a x)}{a c}\\ \end{align*}
Mathematica [A] time = 0.0068999, size = 11, normalized size = 1. \[ \frac{\sin ^{-1}(a x)}{a c} \]
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [B] time = 0.041, size = 154, normalized size = 14. \begin{align*}{\frac{1}{2\,ac}\sqrt{-{a}^{2} \left ( x+{a}^{-1} \right ) ^{2}+2\,a \left ( x+{a}^{-1} \right ) }}+{\frac{1}{2\,c}\arctan \left ({x\sqrt{{a}^{2}}{\frac{1}{\sqrt{-{a}^{2} \left ( x+{a}^{-1} \right ) ^{2}+2\,a \left ( x+{a}^{-1} \right ) }}}} \right ){\frac{1}{\sqrt{{a}^{2}}}}}-{\frac{1}{2\,ac}\sqrt{-{a}^{2} \left ( x-{a}^{-1} \right ) ^{2}-2\,a \left ( x-{a}^{-1} \right ) }}+{\frac{1}{2\,c}\arctan \left ({x\sqrt{{a}^{2}}{\frac{1}{\sqrt{-{a}^{2} \left ( x-{a}^{-1} \right ) ^{2}-2\,a \left ( x-{a}^{-1} \right ) }}}} \right ){\frac{1}{\sqrt{{a}^{2}}}}} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [B] time = 1.47068, size = 42, normalized size = 3.82 \begin{align*} \frac{\arcsin \left (\frac{x}{c \sqrt{\frac{1}{a^{2} c^{2}}}}\right )}{a^{2} c^{2} \sqrt{\frac{1}{a^{2} c^{2}}}} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [B] time = 1.58867, size = 66, normalized size = 6. \begin{align*} -\frac{2 \, \arctan \left (\frac{\sqrt{-a^{2} x^{2} + 1} - 1}{a x}\right )}{a c} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [A] time = 4.22909, size = 44, normalized size = 4. \begin{align*} \frac{\begin{cases} \sqrt{\frac{1}{a^{2}}} \operatorname{asin}{\left (x \sqrt{a^{2}} \right )} & \text{for}\: a^{2} > 0 \\\sqrt{- \frac{1}{a^{2}}} \operatorname{asinh}{\left (x \sqrt{- a^{2}} \right )} & \text{for}\: a^{2} < 0 \end{cases}}{c} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [A] time = 1.19563, size = 19, normalized size = 1.73 \begin{align*} \frac{\arcsin \left (a x\right ) \mathrm{sgn}\left (a\right )}{c{\left | a \right |}} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]