Optimal. Leaf size=66 \[ \frac {b e^{c+d x} \cosh (2 a+2 b x)}{4 b^2-d^2}-\frac {d e^{c+d x} \sinh (2 a+2 b x)}{2 \left (4 b^2-d^2\right )} \]
[Out]
________________________________________________________________________________________
Rubi [A]
time = 0.03, antiderivative size = 66, normalized size of antiderivative = 1.00, number of steps
used = 3, number of rules used = 3, integrand size = 20, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.150, Rules used = {5620, 12, 5582}
\begin {gather*} \frac {b e^{c+d x} \cosh (2 a+2 b x)}{4 b^2-d^2}-\frac {d e^{c+d x} \sinh (2 a+2 b x)}{2 \left (4 b^2-d^2\right )} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
Rule 12
Rule 5582
Rule 5620
Rubi steps
\begin {align*} \int e^{c+d x} \cosh (a+b x) \sinh (a+b x) \, dx &=\int \frac {1}{2} e^{c+d x} \sinh (2 a+2 b x) \, dx\\ &=\frac {1}{2} \int e^{c+d x} \sinh (2 a+2 b x) \, dx\\ &=\frac {b e^{c+d x} \cosh (2 a+2 b x)}{4 b^2-d^2}-\frac {d e^{c+d x} \sinh (2 a+2 b x)}{2 \left (4 b^2-d^2\right )}\\ \end {align*}
________________________________________________________________________________________
Mathematica [A]
time = 0.04, size = 47, normalized size = 0.71 \begin {gather*} \frac {e^{c+d x} (2 b \cosh (2 (a+b x))-d \sinh (2 (a+b x)))}{2 \left (4 b^2-d^2\right )} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [A]
time = 0.73, size = 102, normalized size = 1.55
method | result | size |
risch | \(\frac {\left (2 b \,{\mathrm e}^{4 b x +4 a}-d \,{\mathrm e}^{4 b x +4 a}+2 b +d \right ) {\mathrm e}^{-2 b x +d x -2 a +c}}{4 \left (2 b +d \right ) \left (2 b -d \right )}\) | \(61\) |
default | \(-\frac {\sinh \left (2 a -c +\left (2 b -d \right ) x \right )}{4 \left (2 b -d \right )}+\frac {\sinh \left (2 a +c +\left (2 b +d \right ) x \right )}{8 b +4 d}+\frac {\cosh \left (2 a -c +\left (2 b -d \right ) x \right )}{8 b -4 d}+\frac {\cosh \left (2 a +c +\left (2 b +d \right ) x \right )}{8 b +4 d}\) | \(102\) |
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [F(-2)]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {Exception raised: ValueError} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [B] Leaf count of result is larger than twice the leaf count of optimal. 142 vs.
\(2 (62) = 124\).
time = 0.34, size = 142, normalized size = 2.15 \begin {gather*} \frac {b \cosh \left (b x + a\right )^{2} \cosh \left (d x + c\right ) - d \cosh \left (b x + a\right ) \cosh \left (d x + c\right ) \sinh \left (b x + a\right ) + b \cosh \left (d x + c\right ) \sinh \left (b x + a\right )^{2} + {\left (b \cosh \left (b x + a\right )^{2} - d \cosh \left (b x + a\right ) \sinh \left (b x + a\right ) + b \sinh \left (b x + a\right )^{2}\right )} \sinh \left (d x + c\right )}{{\left (4 \, b^{2} - d^{2}\right )} \cosh \left (b x + a\right )^{2} - {\left (4 \, b^{2} - d^{2}\right )} \sinh \left (b x + a\right )^{2}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [B] Leaf count of result is larger than twice the leaf count of optimal. 304 vs.
\(2 (54) = 108\).
time = 0.97, size = 304, normalized size = 4.61 \begin {gather*} \begin {cases} x e^{c} \sinh {\left (a \right )} \cosh {\left (a \right )} & \text {for}\: b = 0 \wedge d = 0 \\\frac {x e^{c} e^{d x} \sinh ^{2}{\left (a - \frac {d x}{2} \right )}}{4} + \frac {x e^{c} e^{d x} \sinh {\left (a - \frac {d x}{2} \right )} \cosh {\left (a - \frac {d x}{2} \right )}}{2} + \frac {x e^{c} e^{d x} \cosh ^{2}{\left (a - \frac {d x}{2} \right )}}{4} + \frac {e^{c} e^{d x} \sinh {\left (a - \frac {d x}{2} \right )} \cosh {\left (a - \frac {d x}{2} \right )}}{2 d} & \text {for}\: b = - \frac {d}{2} \\- \frac {x e^{c} e^{d x} \sinh ^{2}{\left (a + \frac {d x}{2} \right )}}{4} + \frac {x e^{c} e^{d x} \sinh {\left (a + \frac {d x}{2} \right )} \cosh {\left (a + \frac {d x}{2} \right )}}{2} - \frac {x e^{c} e^{d x} \cosh ^{2}{\left (a + \frac {d x}{2} \right )}}{4} + \frac {e^{c} e^{d x} \sinh {\left (a + \frac {d x}{2} \right )} \cosh {\left (a + \frac {d x}{2} \right )}}{2 d} & \text {for}\: b = \frac {d}{2} \\\frac {b e^{c} e^{d x} \sinh ^{2}{\left (a + b x \right )}}{4 b^{2} - d^{2}} + \frac {b e^{c} e^{d x} \cosh ^{2}{\left (a + b x \right )}}{4 b^{2} - d^{2}} - \frac {d e^{c} e^{d x} \sinh {\left (a + b x \right )} \cosh {\left (a + b x \right )}}{4 b^{2} - d^{2}} & \text {otherwise} \end {cases} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [A]
time = 0.42, size = 47, normalized size = 0.71 \begin {gather*} \frac {e^{\left (2 \, b x + d x + 2 \, a + c\right )}}{4 \, {\left (2 \, b + d\right )}} + \frac {e^{\left (-2 \, b x + d x - 2 \, a + c\right )}}{4 \, {\left (2 \, b - d\right )}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Mupad [B]
time = 1.91, size = 58, normalized size = 0.88 \begin {gather*} \frac {{\mathrm {e}}^{c+d\,x}\,{\mathrm {e}}^{-2\,a-2\,b\,x}\,\left (2\,b+d+2\,b\,{\mathrm {e}}^{4\,a+4\,b\,x}-d\,{\mathrm {e}}^{4\,a+4\,b\,x}\right )}{4\,\left (4\,b^2-d^2\right )} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________