Optimal. Leaf size=20 \[ e^x x-e^x+\frac{e^{2 x}}{2} \]
[Out]
________________________________________________________________________________________
Rubi [A] time = 0.0670704, antiderivative size = 20, normalized size of antiderivative = 1., number of steps used = 13, number of rules used = 7, integrand size = 16, \(\frac{\text{number of rules}}{\text{integrand size}}\) = 0.438, Rules used = {5648, 6742, 2176, 2194, 2282, 12, 14} \[ e^x x-e^x+\frac{e^{2 x}}{2} \]
Antiderivative was successfully verified.
[In]
[Out]
Rule 5648
Rule 6742
Rule 2176
Rule 2194
Rule 2282
Rule 12
Rule 14
Rubi steps
\begin{align*} \int \frac{x+\cosh (x)+\sinh (x)}{\cosh (x)-\sinh (x)} \, dx &=\int e^x (x+\cosh (x)+\sinh (x)) \, dx\\ &=\int \left (e^x x+e^x \cosh (x)+e^x \sinh (x)\right ) \, dx\\ &=\int e^x x \, dx+\int e^x \cosh (x) \, dx+\int e^x \sinh (x) \, dx\\ &=e^x x-\int e^x \, dx+\operatorname{Subst}\left (\int \frac{-1+x^2}{2 x} \, dx,x,e^x\right )+\operatorname{Subst}\left (\int \frac{1+x^2}{2 x} \, dx,x,e^x\right )\\ &=-e^x+e^x x+\frac{1}{2} \operatorname{Subst}\left (\int \frac{-1+x^2}{x} \, dx,x,e^x\right )+\frac{1}{2} \operatorname{Subst}\left (\int \frac{1+x^2}{x} \, dx,x,e^x\right )\\ &=-e^x+e^x x+\frac{1}{2} \operatorname{Subst}\left (\int \left (-\frac{1}{x}+x\right ) \, dx,x,e^x\right )+\frac{1}{2} \operatorname{Subst}\left (\int \left (\frac{1}{x}+x\right ) \, dx,x,e^x\right )\\ &=-e^x+\frac{e^{2 x}}{2}+e^x x\\ \end{align*}
Mathematica [A] time = 0.0909661, size = 23, normalized size = 1.15 \[ (x-1) \sinh (x)+\frac{1}{2} \cosh (2 x)+(x+\sinh (x)-1) \cosh (x) \]
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [B] time = 0.101, size = 38, normalized size = 1.9 \begin{align*} x\cosh \left ( x \right ) -\sinh \left ( x \right ) +\sinh \left ( x \right ) x-\cosh \left ( x \right ) +2\, \left ( -1+\tanh \left ( x/2 \right ) \right ) ^{-2}+2\, \left ( -1+\tanh \left ( x/2 \right ) \right ) ^{-1} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [A] time = 0.971821, size = 18, normalized size = 0.9 \begin{align*}{\left (x - 1\right )} e^{x} + \frac{1}{2} \, e^{\left (2 \, x\right )} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [A] time = 2.0234, size = 74, normalized size = 3.7 \begin{align*} \frac{2 \, x + \cosh \left (x\right ) + \sinh \left (x\right ) - 2}{2 \,{\left (\cosh \left (x\right ) - \sinh \left (x\right )\right )}} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [A] time = 0.343859, size = 26, normalized size = 1.3 \begin{align*} \frac{x}{- \sinh{\left (x \right )} + \cosh{\left (x \right )}} + \frac{\cosh{\left (x \right )}}{- \sinh{\left (x \right )} + \cosh{\left (x \right )}} - \frac{1}{- \sinh{\left (x \right )} + \cosh{\left (x \right )}} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [A] time = 1.09971, size = 15, normalized size = 0.75 \begin{align*} \frac{1}{2} \,{\left (2 \, x + e^{x} - 2\right )} e^{x} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]