Integrand size = 2, antiderivative size = 3 \[ \int \tanh (x) \, dx=\log (\cosh (x)) \]
[Out]
Time = 0.00 (sec) , antiderivative size = 3, normalized size of antiderivative = 1.00, number of steps used = 1, number of rules used = 1, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.500, Rules used = {3556} \[ \int \tanh (x) \, dx=\log (\cosh (x)) \]
[In]
[Out]
Rule 3556
Rubi steps \begin{align*} \text {integral}& = \log (\cosh (x)) \\ \end{align*}
Time = 0.00 (sec) , antiderivative size = 3, normalized size of antiderivative = 1.00 \[ \int \tanh (x) \, dx=\log (\cosh (x)) \]
[In]
[Out]
Time = 0.04 (sec) , antiderivative size = 4, normalized size of antiderivative = 1.33
method | result | size |
lookup | \(\ln \left (\cosh \left (x \right )\right )\) | \(4\) |
derivativedivides | \(\ln \left (\cosh \left (x \right )\right )\) | \(4\) |
default | \(\ln \left (\cosh \left (x \right )\right )\) | \(4\) |
risch | \(-x +\ln \left (1+{\mathrm e}^{2 x}\right )\) | \(12\) |
parallelrisch | \(-\ln \left (1-\tanh \left (x \right )\right )-x\) | \(14\) |
[In]
[Out]
Leaf count of result is larger than twice the leaf count of optimal. 18 vs. \(2 (3) = 6\).
Time = 0.24 (sec) , antiderivative size = 18, normalized size of antiderivative = 6.00 \[ \int \tanh (x) \, dx=-x + \log \left (\frac {2 \, \cosh \left (x\right )}{\cosh \left (x\right ) - \sinh \left (x\right )}\right ) \]
[In]
[Out]
Leaf count of result is larger than twice the leaf count of optimal. 7 vs. \(2 (3) = 6\).
Time = 0.05 (sec) , antiderivative size = 7, normalized size of antiderivative = 2.33 \[ \int \tanh (x) \, dx=x - \log {\left (\tanh {\left (x \right )} + 1 \right )} \]
[In]
[Out]
none
Time = 0.22 (sec) , antiderivative size = 3, normalized size of antiderivative = 1.00 \[ \int \tanh (x) \, dx=\log \left (\cosh \left (x\right )\right ) \]
[In]
[Out]
Leaf count of result is larger than twice the leaf count of optimal. 11 vs. \(2 (3) = 6\).
Time = 0.29 (sec) , antiderivative size = 11, normalized size of antiderivative = 3.67 \[ \int \tanh (x) \, dx=-x + \log \left (e^{\left (2 \, x\right )} + 1\right ) \]
[In]
[Out]
Time = 0.02 (sec) , antiderivative size = 3, normalized size of antiderivative = 1.00 \[ \int \tanh (x) \, dx=\ln \left (\mathrm {cosh}\left (x\right )\right ) \]
[In]
[Out]