Optimal. Leaf size=73 \[ -\frac {6 d e^{a+b x} \cosh (c+d x) \sqrt {\sinh (c+d x)}}{4 b^2-9 d^2}+\frac {4 b e^{a+b x} \sinh ^{\frac {3}{2}}(c+d x)}{4 b^2-9 d^2} \]
[Out]
________________________________________________________________________________________
Rubi [A]
time = 0.40, antiderivative size = 73, normalized size of antiderivative = 1.00, number of steps
used = 10, number of rules used = 5, integrand size = 56, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.089, Rules used = {5590, 2285,
2284, 2283, 5584} \begin {gather*} \frac {4 b e^{a+b x} \sinh ^{\frac {3}{2}}(c+d x)}{4 b^2-9 d^2}-\frac {6 d e^{a+b x} \sqrt {\sinh (c+d x)} \cosh (c+d x)}{4 b^2-9 d^2} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
Rule 2283
Rule 2284
Rule 2285
Rule 5584
Rule 5590
Rubi steps
\begin {align*} \int \left (-\frac {3 d^2 e^{a+b x}}{4 \left (b^2-\frac {9 d^2}{4}\right ) \sqrt {\sinh (c+d x)}}+e^{a+b x} \sinh ^{\frac {3}{2}}(c+d x)\right ) \, dx &=-\frac {\left (3 d^2\right ) \int \frac {e^{a+b x}}{\sqrt {\sinh (c+d x)}} \, dx}{4 b^2-9 d^2}+\int e^{a+b x} \sinh ^{\frac {3}{2}}(c+d x) \, dx\\ &=-\frac {6 d e^{a+b x} \cosh (c+d x) \sqrt {\sinh (c+d x)}}{4 b^2-9 d^2}+\frac {4 b e^{a+b x} \sinh ^{\frac {3}{2}}(c+d x)}{4 b^2-9 d^2}+\frac {\left (3 d^2\right ) \int \frac {e^{a+b x}}{\sqrt {\sinh (c+d x)}} \, dx}{4 b^2-9 d^2}-\frac {\left (3 d^2 e^{\frac {1}{2} (-c-d x)} \sqrt {-1+e^{2 (c+d x)}}\right ) \int \frac {e^{a+b x+\frac {1}{2} (c+d x)}}{\sqrt {-1+e^{2 (c+d x)}}} \, dx}{\left (4 b^2-9 d^2\right ) \sqrt {\sinh (c+d x)}}\\ &=-\frac {6 d e^{a+b x} \cosh (c+d x) \sqrt {\sinh (c+d x)}}{4 b^2-9 d^2}+\frac {4 b e^{a+b x} \sinh ^{\frac {3}{2}}(c+d x)}{4 b^2-9 d^2}-\frac {\left (3 d^2 e^{\frac {1}{2} (-c-d x)} \sqrt {-1+e^{2 (c+d x)}}\right ) \int \frac {e^{\frac {1}{2} (2 a+c)+\frac {1}{2} (2 b+d) x}}{\sqrt {-1+e^{2 (c+d x)}}} \, dx}{\left (4 b^2-9 d^2\right ) \sqrt {\sinh (c+d x)}}+\frac {\left (3 d^2 e^{\frac {1}{2} (-c-d x)} \sqrt {-1+e^{2 (c+d x)}}\right ) \int \frac {e^{a+b x+\frac {1}{2} (c+d x)}}{\sqrt {-1+e^{2 (c+d x)}}} \, dx}{\left (4 b^2-9 d^2\right ) \sqrt {\sinh (c+d x)}}\\ &=-\frac {6 d e^{a+b x} \cosh (c+d x) \sqrt {\sinh (c+d x)}}{4 b^2-9 d^2}+\frac {4 b e^{a+b x} \sinh ^{\frac {3}{2}}(c+d x)}{4 b^2-9 d^2}-\frac {\left (3 d^2 e^{\frac {1}{2} (-c-d x)} \sqrt {1-e^{2 (c+d x)}}\right ) \int \frac {e^{\frac {1}{2} (2 a+c)+\frac {1}{2} (2 b+d) x}}{\sqrt {1-e^{2 (c+d x)}}} \, dx}{\left (4 b^2-9 d^2\right ) \sqrt {\sinh (c+d x)}}+\frac {\left (3 d^2 e^{\frac {1}{2} (-c-d x)} \sqrt {-1+e^{2 (c+d x)}}\right ) \int \frac {e^{\frac {1}{2} (2 a+c)+\frac {1}{2} (2 b+d) x}}{\sqrt {-1+e^{2 (c+d x)}}} \, dx}{\left (4 b^2-9 d^2\right ) \sqrt {\sinh (c+d x)}}\\ &=-\frac {6 d^2 \exp \left (\frac {1}{2} (2 a+c)+\frac {1}{2} (2 b+d) x+\frac {1}{2} (-c-d x)\right ) \sqrt {1-e^{2 (c+d x)}} \, _2F_1\left (\frac {1}{2},\frac {2 b+d}{4 d};\frac {1}{4} \left (5+\frac {2 b}{d}\right );e^{2 (c+d x)}\right )}{(2 b+d) \left (4 b^2-9 d^2\right ) \sqrt {\sinh (c+d x)}}-\frac {6 d e^{a+b x} \cosh (c+d x) \sqrt {\sinh (c+d x)}}{4 b^2-9 d^2}+\frac {4 b e^{a+b x} \sinh ^{\frac {3}{2}}(c+d x)}{4 b^2-9 d^2}+\frac {\left (3 d^2 e^{\frac {1}{2} (-c-d x)} \sqrt {1-e^{2 (c+d x)}}\right ) \int \frac {e^{\frac {1}{2} (2 a+c)+\frac {1}{2} (2 b+d) x}}{\sqrt {1-e^{2 (c+d x)}}} \, dx}{\left (4 b^2-9 d^2\right ) \sqrt {\sinh (c+d x)}}\\ &=-\frac {6 d e^{a+b x} \cosh (c+d x) \sqrt {\sinh (c+d x)}}{4 b^2-9 d^2}+\frac {4 b e^{a+b x} \sinh ^{\frac {3}{2}}(c+d x)}{4 b^2-9 d^2}\\ \end {align*}
________________________________________________________________________________________
Mathematica [A]
time = 1.26, size = 51, normalized size = 0.70 \begin {gather*} \frac {2 e^{a+b x} \sqrt {\sinh (c+d x)} (-3 d \cosh (c+d x)+2 b \sinh (c+d x))}{4 b^2-9 d^2} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [F]
time = 4.05, size = 0, normalized size = 0.00 \[\int {\mathrm e}^{b x +a} \left (\sinh ^{\frac {3}{2}}\left (d x +c \right )\right )-\frac {3 d^{2} {\mathrm e}^{b x +a}}{4 \left (b^{2}-\frac {9 d^{2}}{4}\right ) \sqrt {\sinh \left (d x +c \right )}}\, dx\]
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 [F(-2)]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {Exception raised: TypeError} \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 {\left (\int 4 b^{2} e^{b x} \sinh ^{\frac {3}{2}}{\left (c + d x \right )}\, dx + \int \left (- \frac {3 d^{2} e^{b x}}{\sqrt {\sinh {\left (c + d x \right )}}}\right )\, dx + \int \left (- 9 d^{2} e^{b x} \sinh ^{\frac {3}{2}}{\left (c + d x \right )}\right )\, dx\right ) e^{a}}{\left (2 b - 3 d\right ) \left (2 b + 3 d\right )} \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 [F]
time = 0.00, size = -1, normalized size = -0.01 \begin {gather*} \int {\mathrm {e}}^{a+b\,x}\,{\mathrm {sinh}\left (c+d\,x\right )}^{3/2}-\frac {3\,d^2\,{\mathrm {e}}^{a+b\,x}}{4\,\sqrt {\mathrm {sinh}\left (c+d\,x\right )}\,\left (b^2-\frac {9\,d^2}{4}\right )} \,d x \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________