Optimal. Leaf size=135 \[ \frac {e^{c+d x}}{d}-\frac {6 e^{c+d x} \, _2F_1\left (1,\frac {d}{2 b};1+\frac {d}{2 b};e^{2 (a+b x)}\right )}{d}+\frac {12 e^{c+d x} \, _2F_1\left (2,\frac {d}{2 b};1+\frac {d}{2 b};e^{2 (a+b x)}\right )}{d}-\frac {8 e^{c+d x} \, _2F_1\left (3,\frac {d}{2 b};1+\frac {d}{2 b};e^{2 (a+b x)}\right )}{d} \]
[Out]
________________________________________________________________________________________
Rubi [A]
time = 0.11, antiderivative size = 135, normalized size of antiderivative = 1.00, number of steps
used = 6, number of rules used = 3, integrand size = 16, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.188, Rules used = {5593, 2225,
2283} \begin {gather*} -\frac {6 e^{c+d x} \, _2F_1\left (1,\frac {d}{2 b};\frac {d}{2 b}+1;e^{2 (a+b x)}\right )}{d}+\frac {12 e^{c+d x} \, _2F_1\left (2,\frac {d}{2 b};\frac {d}{2 b}+1;e^{2 (a+b x)}\right )}{d}-\frac {8 e^{c+d x} \, _2F_1\left (3,\frac {d}{2 b};\frac {d}{2 b}+1;e^{2 (a+b x)}\right )}{d}+\frac {e^{c+d x}}{d} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
Rule 2225
Rule 2283
Rule 5593
Rubi steps
\begin {align*} \int e^{c+d x} \coth ^3(a+b x) \, dx &=\int \left (e^{c+d x}+\frac {8 e^{c+d x}}{\left (-1+e^{2 (a+b x)}\right )^3}+\frac {12 e^{c+d x}}{\left (-1+e^{2 (a+b x)}\right )^2}+\frac {6 e^{c+d x}}{-1+e^{2 (a+b x)}}\right ) \, dx\\ &=6 \int \frac {e^{c+d x}}{-1+e^{2 (a+b x)}} \, dx+8 \int \frac {e^{c+d x}}{\left (-1+e^{2 (a+b x)}\right )^3} \, dx+12 \int \frac {e^{c+d x}}{\left (-1+e^{2 (a+b x)}\right )^2} \, dx+\int e^{c+d x} \, dx\\ &=\frac {e^{c+d x}}{d}-\frac {6 e^{c+d x} \, _2F_1\left (1,\frac {d}{2 b};1+\frac {d}{2 b};e^{2 (a+b x)}\right )}{d}+\frac {12 e^{c+d x} \, _2F_1\left (2,\frac {d}{2 b};1+\frac {d}{2 b};e^{2 (a+b x)}\right )}{d}-\frac {8 e^{c+d x} \, _2F_1\left (3,\frac {d}{2 b};1+\frac {d}{2 b};e^{2 (a+b x)}\right )}{d}\\ \end {align*}
________________________________________________________________________________________
Mathematica [A]
time = 2.55, size = 176, normalized size = 1.30 \begin {gather*} \frac {1}{2} e^c \left (\frac {2 e^{d x} \coth (a)}{d}-\frac {e^{d x} \text {csch}^2(a+b x)}{b}-\frac {2 \left (2 b^2+d^2\right ) e^{2 a} \left (\frac {e^{d x} \, _2F_1\left (1,\frac {d}{2 b};1+\frac {d}{2 b};e^{2 (a+b x)}\right )}{d}-\frac {e^{(2 b+d) x} \, _2F_1\left (1,1+\frac {d}{2 b};2+\frac {d}{2 b};e^{2 (a+b x)}\right )}{2 b+d}\right )}{b^2 \left (-1+e^{2 a}\right )}+\frac {d e^{d x} \text {csch}(a) \text {csch}(a+b x) \sinh (b x)}{b^2}\right ) \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [F]
time = 3.45, size = 0, normalized size = 0.00 \[\int {\mathrm e}^{d x +c} \left (\cosh ^{3}\left (b x +a \right )\right ) \mathrm {csch}\left (b x +a \right )^{3}\, 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]
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]
________________________________________________________________________________________
Sympy [F(-1)] Timed out
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {Timed out} \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 \frac {{\mathrm {cosh}\left (a+b\,x\right )}^3\,{\mathrm {e}}^{c+d\,x}}{{\mathrm {sinh}\left (a+b\,x\right )}^3} \,d x \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________