Integrand size = 10, antiderivative size = 13 \[ \int e^{-2 x} \text {sech}^4(x) \, dx=-\frac {8}{3 \left (1+e^{2 x}\right )^3} \]
[Out]
Time = 0.01 (sec) , antiderivative size = 13, normalized size of antiderivative = 1.00, number of steps used = 3, number of rules used = 3, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.300, Rules used = {2320, 12, 267} \[ \int e^{-2 x} \text {sech}^4(x) \, dx=-\frac {8}{3 \left (e^{2 x}+1\right )^3} \]
[In]
[Out]
Rule 12
Rule 267
Rule 2320
Rubi steps \begin{align*} \text {integral}& = \text {Subst}\left (\int \frac {16 x}{\left (1+x^2\right )^4} \, dx,x,e^x\right ) \\ & = 16 \text {Subst}\left (\int \frac {x}{\left (1+x^2\right )^4} \, dx,x,e^x\right ) \\ & = -\frac {8}{3 \left (1+e^{2 x}\right )^3} \\ \end{align*}
Time = 0.01 (sec) , antiderivative size = 13, normalized size of antiderivative = 1.00 \[ \int e^{-2 x} \text {sech}^4(x) \, dx=-\frac {8}{3 \left (1+e^{2 x}\right )^3} \]
[In]
[Out]
Time = 0.62 (sec) , antiderivative size = 9, normalized size of antiderivative = 0.69
method | result | size |
default | \(\frac {\left (-1+\tanh \left (x \right )\right )^{3}}{3}\) | \(9\) |
risch | \(-\frac {8}{3 \left (1+{\mathrm e}^{2 x}\right )^{3}}\) | \(11\) |
parallelrisch | \(\frac {\operatorname {sech}\left (x \right )^{2} \left (-1+\tanh \left (x \right )\right ) {\mathrm e}^{-2 x}}{3}\) | \(15\) |
[In]
[Out]
Leaf count of result is larger than twice the leaf count of optimal. 102 vs. \(2 (10) = 20\).
Time = 0.25 (sec) , antiderivative size = 102, normalized size of antiderivative = 7.85 \[ \int e^{-2 x} \text {sech}^4(x) \, dx=-\frac {8}{3 \, {\left (\cosh \left (x\right )^{6} + 6 \, \cosh \left (x\right ) \sinh \left (x\right )^{5} + \sinh \left (x\right )^{6} + 3 \, {\left (5 \, \cosh \left (x\right )^{2} + 1\right )} \sinh \left (x\right )^{4} + 3 \, \cosh \left (x\right )^{4} + 4 \, {\left (5 \, \cosh \left (x\right )^{3} + 3 \, \cosh \left (x\right )\right )} \sinh \left (x\right )^{3} + 3 \, {\left (5 \, \cosh \left (x\right )^{4} + 6 \, \cosh \left (x\right )^{2} + 1\right )} \sinh \left (x\right )^{2} + 3 \, \cosh \left (x\right )^{2} + 6 \, {\left (\cosh \left (x\right )^{5} + 2 \, \cosh \left (x\right )^{3} + \cosh \left (x\right )\right )} \sinh \left (x\right ) + 1\right )}} \]
[In]
[Out]
\[ \int e^{-2 x} \text {sech}^4(x) \, dx=\int \frac {e^{- 2 x}}{\cosh ^{4}{\left (x \right )}}\, dx \]
[In]
[Out]
Leaf count of result is larger than twice the leaf count of optimal. 75 vs. \(2 (10) = 20\).
Time = 0.20 (sec) , antiderivative size = 75, normalized size of antiderivative = 5.77 \[ \int e^{-2 x} \text {sech}^4(x) \, dx=\frac {8 \, e^{\left (-2 \, x\right )}}{3 \, e^{\left (-2 \, x\right )} + 3 \, e^{\left (-4 \, x\right )} + e^{\left (-6 \, x\right )} + 1} + \frac {8 \, e^{\left (-4 \, x\right )}}{3 \, e^{\left (-2 \, x\right )} + 3 \, e^{\left (-4 \, x\right )} + e^{\left (-6 \, x\right )} + 1} + \frac {8}{3 \, {\left (3 \, e^{\left (-2 \, x\right )} + 3 \, e^{\left (-4 \, x\right )} + e^{\left (-6 \, x\right )} + 1\right )}} \]
[In]
[Out]
none
Time = 0.29 (sec) , antiderivative size = 10, normalized size of antiderivative = 0.77 \[ \int e^{-2 x} \text {sech}^4(x) \, dx=-\frac {8}{3 \, {\left (e^{\left (2 \, x\right )} + 1\right )}^{3}} \]
[In]
[Out]
Time = 0.35 (sec) , antiderivative size = 19, normalized size of antiderivative = 1.46 \[ \int e^{-2 x} \text {sech}^4(x) \, dx=-\frac {{\mathrm {e}}^{-3\,x}}{3\,{\left (\frac {{\mathrm {e}}^{-x}}{2}+\frac {{\mathrm {e}}^x}{2}\right )}^3} \]
[In]
[Out]