Optimal. Leaf size=53 \[ \frac {e^{c+d x}}{d}-\frac {2 e^{c+d x} \, _2F_1\left (1,\frac {d}{2 b};1+\frac {d}{2 b};e^{2 (a+b x)}\right )}{d} \]
[Out]
________________________________________________________________________________________
Rubi [A]
time = 0.05, antiderivative size = 53, normalized size of antiderivative = 1.00, number of steps
used = 4, number of rules used = 3, integrand size = 14, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.214, Rules used = {5593, 2225,
2283} \begin {gather*} \frac {e^{c+d x}}{d}-\frac {2 e^{c+d x} \, _2F_1\left (1,\frac {d}{2 b};\frac {d}{2 b}+1;e^{2 (a+b x)}\right )}{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 (a+b x) \, dx &=\int \left (e^{c+d x}+\frac {2 e^{c+d x}}{-1+e^{2 (a+b x)}}\right ) \, dx\\ &=2 \int \frac {e^{c+d x}}{-1+e^{2 (a+b x)}} \, dx+\int e^{c+d x} \, dx\\ &=\frac {e^{c+d x}}{d}-\frac {2 e^{c+d x} \, _2F_1\left (1,\frac {d}{2 b};1+\frac {d}{2 b};e^{2 (a+b x)}\right )}{d}\\ \end {align*}
________________________________________________________________________________________
Mathematica [B] Leaf count is larger than twice the leaf count of optimal. \(120\) vs. \(2(53)=106\).
time = 1.32, size = 120, normalized size = 2.26 \begin {gather*} \frac {e^{c+d x} \coth (a)}{d}-\frac {2 e^{2 a+c} \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 )}{-1+e^{2 a}} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [F]
time = 1.52, size = 0, normalized size = 0.00 \[\int {\mathrm e}^{d x +c} \cosh \left (b x +a \right ) \mathrm {csch}\left (b x +a \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]
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]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} e^{c} \int e^{d x} \cosh {\left (a + b x \right )} \operatorname {csch}{\left (a + b x \right )}\, dx \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.02 \begin {gather*} \int \frac {\mathrm {cosh}\left (a+b\,x\right )\,{\mathrm {e}}^{c+d\,x}}{\mathrm {sinh}\left (a+b\,x\right )} \,d x \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________