Optimal. Leaf size=34 \[ -\frac {5}{2} \tanh ^{-1}(\cosh (x))+\frac {5 \cosh (x)}{2}+\frac {5 \cosh ^3(x)}{6}-\frac {1}{2} \cosh ^3(x) \coth ^2(x) \]
[Out]
________________________________________________________________________________________
Rubi [A]
time = 0.04, antiderivative size = 34, normalized size of antiderivative = 1.00, number of steps
used = 6, number of rules used = 5, integrand size = 7, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.714, Rules used = {4482, 2672, 294,
308, 212} \begin {gather*} \frac {5 \cosh ^3(x)}{6}+\frac {5 \cosh (x)}{2}-\frac {1}{2} \cosh ^3(x) \coth ^2(x)-\frac {5}{2} \tanh ^{-1}(\cosh (x)) \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
Rule 212
Rule 294
Rule 308
Rule 2672
Rule 4482
Rubi steps
\begin {align*} \int (\text {csch}(x)+\sinh (x))^3 \, dx &=\int \cosh ^3(x) \coth ^3(x) \, dx\\ &=\text {Subst}\left (\int \frac {x^6}{\left (1-x^2\right )^2} \, dx,x,\cosh (x)\right )\\ &=-\frac {1}{2} \cosh ^3(x) \coth ^2(x)-\frac {5}{2} \text {Subst}\left (\int \frac {x^4}{1-x^2} \, dx,x,\cosh (x)\right )\\ &=-\frac {1}{2} \cosh ^3(x) \coth ^2(x)-\frac {5}{2} \text {Subst}\left (\int \left (-1-x^2+\frac {1}{1-x^2}\right ) \, dx,x,\cosh (x)\right )\\ &=\frac {5 \cosh (x)}{2}+\frac {5 \cosh ^3(x)}{6}-\frac {1}{2} \cosh ^3(x) \coth ^2(x)-\frac {5}{2} \text {Subst}\left (\int \frac {1}{1-x^2} \, dx,x,\cosh (x)\right )\\ &=-\frac {5}{2} \tanh ^{-1}(\cosh (x))+\frac {5 \cosh (x)}{2}+\frac {5 \cosh ^3(x)}{6}-\frac {1}{2} \cosh ^3(x) \coth ^2(x)\\ \end {align*}
________________________________________________________________________________________
Mathematica [A]
time = 0.05, size = 45, normalized size = 1.32 \begin {gather*} \frac {1}{48} \text {csch}^2(x) \left (-50 \cosh (x)+25 \cosh (3 x)+\cosh (5 x)-60 \log \left (\tanh \left (\frac {x}{2}\right )\right )+60 \cosh (2 x) \log \left (\tanh \left (\frac {x}{2}\right )\right )\right ) \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [B] Leaf count of result is larger than twice the leaf count of optimal. \(55\) vs.
\(2(26)=52\).
time = 0.78, size = 56, normalized size = 1.65
method | result | size |
risch | \(\frac {{\mathrm e}^{3 x}}{24}+\frac {9 \,{\mathrm e}^{x}}{8}+\frac {9 \,{\mathrm e}^{-x}}{8}+\frac {{\mathrm e}^{-3 x}}{24}-\frac {{\mathrm e}^{x} \left (1+{\mathrm e}^{2 x}\right )}{\left ({\mathrm e}^{2 x}-1\right )^{2}}+\frac {5 \ln \left ({\mathrm e}^{x}-1\right )}{2}-\frac {5 \ln \left ({\mathrm e}^{x}+1\right )}{2}\) | \(56\) |
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [B] Leaf count of result is larger than twice the leaf count of optimal. 67 vs.
\(2 (26) = 52\).
time = 0.27, size = 67, normalized size = 1.97 \begin {gather*} \frac {e^{\left (-x\right )} + e^{\left (-3 \, x\right )}}{2 \, e^{\left (-2 \, x\right )} - e^{\left (-4 \, x\right )} - 1} + \frac {1}{24} \, e^{\left (3 \, x\right )} + \frac {9}{8} \, e^{\left (-x\right )} + \frac {1}{24} \, e^{\left (-3 \, x\right )} + \frac {9}{8} \, e^{x} - \frac {5}{2} \, \log \left (e^{\left (-x\right )} + 1\right ) + \frac {5}{2} \, \log \left (e^{\left (-x\right )} - 1\right ) \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. 616 vs.
\(2 (26) = 52\).
time = 0.41, size = 616, normalized size = 18.12 \begin {gather*} \frac {\cosh \left (x\right )^{10} + 10 \, \cosh \left (x\right ) \sinh \left (x\right )^{9} + \sinh \left (x\right )^{10} + 5 \, {\left (9 \, \cosh \left (x\right )^{2} + 5\right )} \sinh \left (x\right )^{8} + 25 \, \cosh \left (x\right )^{8} + 40 \, {\left (3 \, \cosh \left (x\right )^{3} + 5 \, \cosh \left (x\right )\right )} \sinh \left (x\right )^{7} + 10 \, {\left (21 \, \cosh \left (x\right )^{4} + 70 \, \cosh \left (x\right )^{2} - 5\right )} \sinh \left (x\right )^{6} - 50 \, \cosh \left (x\right )^{6} + 4 \, {\left (63 \, \cosh \left (x\right )^{5} + 350 \, \cosh \left (x\right )^{3} - 75 \, \cosh \left (x\right )\right )} \sinh \left (x\right )^{5} + 10 \, {\left (21 \, \cosh \left (x\right )^{6} + 175 \, \cosh \left (x\right )^{4} - 75 \, \cosh \left (x\right )^{2} - 5\right )} \sinh \left (x\right )^{4} - 50 \, \cosh \left (x\right )^{4} + 40 \, {\left (3 \, \cosh \left (x\right )^{7} + 35 \, \cosh \left (x\right )^{5} - 25 \, \cosh \left (x\right )^{3} - 5 \, \cosh \left (x\right )\right )} \sinh \left (x\right )^{3} + 5 \, {\left (9 \, \cosh \left (x\right )^{8} + 140 \, \cosh \left (x\right )^{6} - 150 \, \cosh \left (x\right )^{4} - 60 \, \cosh \left (x\right )^{2} + 5\right )} \sinh \left (x\right )^{2} + 25 \, \cosh \left (x\right )^{2} - 60 \, {\left (\cosh \left (x\right )^{7} + 7 \, \cosh \left (x\right ) \sinh \left (x\right )^{6} + \sinh \left (x\right )^{7} + {\left (21 \, \cosh \left (x\right )^{2} - 2\right )} \sinh \left (x\right )^{5} - 2 \, \cosh \left (x\right )^{5} + 5 \, {\left (7 \, \cosh \left (x\right )^{3} - 2 \, \cosh \left (x\right )\right )} \sinh \left (x\right )^{4} + {\left (35 \, \cosh \left (x\right )^{4} - 20 \, \cosh \left (x\right )^{2} + 1\right )} \sinh \left (x\right )^{3} + \cosh \left (x\right )^{3} + {\left (21 \, \cosh \left (x\right )^{5} - 20 \, \cosh \left (x\right )^{3} + 3 \, \cosh \left (x\right )\right )} \sinh \left (x\right )^{2} + {\left (7 \, \cosh \left (x\right )^{6} - 10 \, \cosh \left (x\right )^{4} + 3 \, \cosh \left (x\right )^{2}\right )} \sinh \left (x\right )\right )} \log \left (\cosh \left (x\right ) + \sinh \left (x\right ) + 1\right ) + 60 \, {\left (\cosh \left (x\right )^{7} + 7 \, \cosh \left (x\right ) \sinh \left (x\right )^{6} + \sinh \left (x\right )^{7} + {\left (21 \, \cosh \left (x\right )^{2} - 2\right )} \sinh \left (x\right )^{5} - 2 \, \cosh \left (x\right )^{5} + 5 \, {\left (7 \, \cosh \left (x\right )^{3} - 2 \, \cosh \left (x\right )\right )} \sinh \left (x\right )^{4} + {\left (35 \, \cosh \left (x\right )^{4} - 20 \, \cosh \left (x\right )^{2} + 1\right )} \sinh \left (x\right )^{3} + \cosh \left (x\right )^{3} + {\left (21 \, \cosh \left (x\right )^{5} - 20 \, \cosh \left (x\right )^{3} + 3 \, \cosh \left (x\right )\right )} \sinh \left (x\right )^{2} + {\left (7 \, \cosh \left (x\right )^{6} - 10 \, \cosh \left (x\right )^{4} + 3 \, \cosh \left (x\right )^{2}\right )} \sinh \left (x\right )\right )} \log \left (\cosh \left (x\right ) + \sinh \left (x\right ) - 1\right ) + 10 \, {\left (\cosh \left (x\right )^{9} + 20 \, \cosh \left (x\right )^{7} - 30 \, \cosh \left (x\right )^{5} - 20 \, \cosh \left (x\right )^{3} + 5 \, \cosh \left (x\right )\right )} \sinh \left (x\right ) + 1}{24 \, {\left (\cosh \left (x\right )^{7} + 7 \, \cosh \left (x\right ) \sinh \left (x\right )^{6} + \sinh \left (x\right )^{7} + {\left (21 \, \cosh \left (x\right )^{2} - 2\right )} \sinh \left (x\right )^{5} - 2 \, \cosh \left (x\right )^{5} + 5 \, {\left (7 \, \cosh \left (x\right )^{3} - 2 \, \cosh \left (x\right )\right )} \sinh \left (x\right )^{4} + {\left (35 \, \cosh \left (x\right )^{4} - 20 \, \cosh \left (x\right )^{2} + 1\right )} \sinh \left (x\right )^{3} + \cosh \left (x\right )^{3} + {\left (21 \, \cosh \left (x\right )^{5} - 20 \, \cosh \left (x\right )^{3} + 3 \, \cosh \left (x\right )\right )} \sinh \left (x\right )^{2} + {\left (7 \, \cosh \left (x\right )^{6} - 10 \, \cosh \left (x\right )^{4} + 3 \, \cosh \left (x\right )^{2}\right )} \sinh \left (x\right )\right )}} \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*} \int \left (\sinh {\left (x \right )} + \operatorname {csch}{\left (x \right )}\right )^{3}\, dx \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [B] Leaf count of result is larger than twice the leaf count of optimal. 62 vs.
\(2 (26) = 52\).
time = 0.40, size = 62, normalized size = 1.82 \begin {gather*} \frac {1}{24} \, {\left (e^{\left (-x\right )} + e^{x}\right )}^{3} - \frac {e^{\left (-x\right )} + e^{x}}{{\left (e^{\left (-x\right )} + e^{x}\right )}^{2} - 4} + e^{\left (-x\right )} + e^{x} - \frac {5}{4} \, \log \left (e^{\left (-x\right )} + e^{x} + 2\right ) + \frac {5}{4} \, \log \left (e^{\left (-x\right )} + e^{x} - 2\right ) \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Mupad [B]
time = 0.06, size = 71, normalized size = 2.09 \begin {gather*} \frac {5\,\ln \left (5-5\,{\mathrm {e}}^x\right )}{2}-\frac {5\,\ln \left (-5\,{\mathrm {e}}^x-5\right )}{2}+\frac {9\,{\mathrm {e}}^{-x}}{8}+\frac {{\mathrm {e}}^{-3\,x}}{24}+\frac {{\mathrm {e}}^{3\,x}}{24}+\frac {9\,{\mathrm {e}}^x}{8}-\frac {{\mathrm {e}}^x}{{\mathrm {e}}^{2\,x}-1}-\frac {2\,{\mathrm {e}}^x}{{\mathrm {e}}^{4\,x}-2\,{\mathrm {e}}^{2\,x}+1} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________