Optimal. Leaf size=84 \[ -\frac{\sqrt{a x-1} \sqrt{a x+1} \left (9 a^2 c+2 d\right )}{9 a^3}+c x \cosh ^{-1}(a x)-\frac{d x^2 \sqrt{a x-1} \sqrt{a x+1}}{9 a}+\frac{1}{3} d x^3 \cosh ^{-1}(a x) \]
[Out]
________________________________________________________________________________________
Rubi [A] time = 0.0710306, antiderivative size = 84, normalized size of antiderivative = 1., number of steps used = 3, number of rules used = 3, integrand size = 12, \(\frac{\text{number of rules}}{\text{integrand size}}\) = 0.25, Rules used = {5705, 460, 74} \[ -\frac{\sqrt{a x-1} \sqrt{a x+1} \left (9 a^2 c+2 d\right )}{9 a^3}+c x \cosh ^{-1}(a x)-\frac{d x^2 \sqrt{a x-1} \sqrt{a x+1}}{9 a}+\frac{1}{3} d x^3 \cosh ^{-1}(a x) \]
Antiderivative was successfully verified.
[In]
[Out]
Rule 5705
Rule 460
Rule 74
Rubi steps
\begin{align*} \int \left (c+d x^2\right ) \cosh ^{-1}(a x) \, dx &=c x \cosh ^{-1}(a x)+\frac{1}{3} d x^3 \cosh ^{-1}(a x)-a \int \frac{x \left (c+\frac{d x^2}{3}\right )}{\sqrt{-1+a x} \sqrt{1+a x}} \, dx\\ &=-\frac{d x^2 \sqrt{-1+a x} \sqrt{1+a x}}{9 a}+c x \cosh ^{-1}(a x)+\frac{1}{3} d x^3 \cosh ^{-1}(a x)+\frac{1}{9} \left (a \left (-9 c-\frac{2 d}{a^2}\right )\right ) \int \frac{x}{\sqrt{-1+a x} \sqrt{1+a x}} \, dx\\ &=-\frac{\left (9 a^2 c+2 d\right ) \sqrt{-1+a x} \sqrt{1+a x}}{9 a^3}-\frac{d x^2 \sqrt{-1+a x} \sqrt{1+a x}}{9 a}+c x \cosh ^{-1}(a x)+\frac{1}{3} d x^3 \cosh ^{-1}(a x)\\ \end{align*}
Mathematica [A] time = 0.0596275, size = 60, normalized size = 0.71 \[ \cosh ^{-1}(a x) \left (c x+\frac{d x^3}{3}\right )-\frac{\sqrt{a x-1} \sqrt{a x+1} \left (a^2 \left (9 c+d x^2\right )+2 d\right )}{9 a^3} \]
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [A] time = 0.009, size = 62, normalized size = 0.7 \begin{align*}{\frac{1}{a} \left ({\frac{a{\rm arccosh} \left (ax\right )d{x}^{3}}{3}}+{\rm arccosh} \left (ax\right )cax-{\frac{{a}^{2}d{x}^{2}+9\,{a}^{2}c+2\,d}{9\,{a}^{2}}\sqrt{ax-1}\sqrt{ax+1}} \right ) } \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [A] time = 1.14981, size = 100, normalized size = 1.19 \begin{align*} -\frac{1}{9} \,{\left (\frac{\sqrt{a^{2} x^{2} - 1} d x^{2}}{a^{2}} + \frac{9 \, \sqrt{a^{2} x^{2} - 1} c}{a^{2}} + \frac{2 \, \sqrt{a^{2} x^{2} - 1} d}{a^{4}}\right )} a + \frac{1}{3} \,{\left (d x^{3} + 3 \, c x\right )} \operatorname{arcosh}\left (a x\right ) \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [A] time = 2.35689, size = 154, normalized size = 1.83 \begin{align*} \frac{3 \,{\left (a^{3} d x^{3} + 3 \, a^{3} c x\right )} \log \left (a x + \sqrt{a^{2} x^{2} - 1}\right ) -{\left (a^{2} d x^{2} + 9 \, a^{2} c + 2 \, d\right )} \sqrt{a^{2} x^{2} - 1}}{9 \, a^{3}} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [A] time = 0.742982, size = 90, normalized size = 1.07 \begin{align*} \begin{cases} c x \operatorname{acosh}{\left (a x \right )} + \frac{d x^{3} \operatorname{acosh}{\left (a x \right )}}{3} - \frac{c \sqrt{a^{2} x^{2} - 1}}{a} - \frac{d x^{2} \sqrt{a^{2} x^{2} - 1}}{9 a} - \frac{2 d \sqrt{a^{2} x^{2} - 1}}{9 a^{3}} & \text{for}\: a \neq 0 \\\frac{i \pi \left (c x + \frac{d x^{3}}{3}\right )}{2} & \text{otherwise} \end{cases} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [A] time = 1.13231, size = 107, normalized size = 1.27 \begin{align*} \frac{1}{3} \,{\left (d x^{3} + 3 \, c x\right )} \log \left (a x + \sqrt{a^{2} x^{2} - 1}\right ) - \frac{9 \, \sqrt{a^{2} x^{2} - 1} a^{2} c +{\left (a^{2} x^{2} - 1\right )}^{\frac{3}{2}} d + 3 \, \sqrt{a^{2} x^{2} - 1} d}{9 \, a^{3}} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]