Optimal. Leaf size=116 \[ \frac {2 (b \cosh (x)+a \sinh (x))}{3 \left (a^2-b^2\right ) (a \cosh (x)+b \sinh (x))^{3/2}}-\frac {2 i F\left (\left .\frac {1}{2} \left (i x-\tan ^{-1}(a,-i b)\right )\right |2\right ) \sqrt {\frac {a \cosh (x)+b \sinh (x)}{\sqrt {a^2-b^2}}}}{3 \left (a^2-b^2\right ) \sqrt {a \cosh (x)+b \sinh (x)}} \]
[Out]
________________________________________________________________________________________
Rubi [A]
time = 0.04, antiderivative size = 116, normalized size of antiderivative = 1.00, number of steps
used = 3, number of rules used = 3, integrand size = 13, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.231, Rules used = {3155, 3157,
2720} \begin {gather*} \frac {2 (a \sinh (x)+b \cosh (x))}{3 \left (a^2-b^2\right ) (a \cosh (x)+b \sinh (x))^{3/2}}-\frac {2 i \sqrt {\frac {a \cosh (x)+b \sinh (x)}{\sqrt {a^2-b^2}}} F\left (\left .\frac {1}{2} \left (i x-\tan ^{-1}(a,-i b)\right )\right |2\right )}{3 \left (a^2-b^2\right ) \sqrt {a \cosh (x)+b \sinh (x)}} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
Rule 2720
Rule 3155
Rule 3157
Rubi steps
\begin {align*} \int \frac {1}{(a \cosh (x)+b \sinh (x))^{5/2}} \, dx &=\frac {2 (b \cosh (x)+a \sinh (x))}{3 \left (a^2-b^2\right ) (a \cosh (x)+b \sinh (x))^{3/2}}+\frac {\int \frac {1}{\sqrt {a \cosh (x)+b \sinh (x)}} \, dx}{3 \left (a^2-b^2\right )}\\ &=\frac {2 (b \cosh (x)+a \sinh (x))}{3 \left (a^2-b^2\right ) (a \cosh (x)+b \sinh (x))^{3/2}}+\frac {\sqrt {\frac {a \cosh (x)+b \sinh (x)}{\sqrt {a^2-b^2}}} \int \frac {1}{\sqrt {\cosh \left (x+i \tan ^{-1}(a,-i b)\right )}} \, dx}{3 \left (a^2-b^2\right ) \sqrt {a \cosh (x)+b \sinh (x)}}\\ &=\frac {2 (b \cosh (x)+a \sinh (x))}{3 \left (a^2-b^2\right ) (a \cosh (x)+b \sinh (x))^{3/2}}-\frac {2 i F\left (\left .\frac {1}{2} \left (i x-\tan ^{-1}(a,-i b)\right )\right |2\right ) \sqrt {\frac {a \cosh (x)+b \sinh (x)}{\sqrt {a^2-b^2}}}}{3 \left (a^2-b^2\right ) \sqrt {a \cosh (x)+b \sinh (x)}}\\ \end {align*}
________________________________________________________________________________________
Mathematica [C] Result contains higher order function than in optimal. Order 5 vs. order 4 in
optimal.
time = 0.42, size = 133, normalized size = 1.15 \begin {gather*} -\frac {2 \left (\sqrt {1-\frac {a^2}{b^2}} b (b \cosh (x)+a \sinh (x))+\sqrt {\cosh ^2\left (x+\tanh ^{-1}\left (\frac {a}{b}\right )\right )} \, _2F_1\left (\frac {1}{4},\frac {1}{2};\frac {5}{4};-\sinh ^2\left (x+\tanh ^{-1}\left (\frac {a}{b}\right )\right )\right ) \text {sech}\left (x+\tanh ^{-1}\left (\frac {a}{b}\right )\right ) (a \cosh (x)+b \sinh (x))^2\right )}{3 \sqrt {1-\frac {a^2}{b^2}} b (-a+b) (a+b) (a \cosh (x)+b \sinh (x))^{3/2}} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [A]
time = 2.24, size = 37, normalized size = 0.32
method | result | size |
default | \(-\frac {\cosh \left (x \right )}{\left (a^{2}-b^{2}\right ) \sinh \left (x \right ) \sqrt {-\sinh \left (x \right ) \sqrt {a^{2}-b^{2}}}}\) | \(37\) |
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [F]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {Failed to integrate} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [C] Result contains higher order function than in optimal. Order 9 vs. order
4.
time = 0.14, size = 679, normalized size = 5.85 \begin {gather*} \frac {2 \, {\left ({\left (\sqrt {2} {\left (a^{2} + 2 \, a b + b^{2}\right )} \cosh \left (x\right )^{4} + 4 \, \sqrt {2} {\left (a^{2} + 2 \, a b + b^{2}\right )} \cosh \left (x\right ) \sinh \left (x\right )^{3} + \sqrt {2} {\left (a^{2} + 2 \, a b + b^{2}\right )} \sinh \left (x\right )^{4} + 2 \, \sqrt {2} {\left (a^{2} - b^{2}\right )} \cosh \left (x\right )^{2} + 2 \, {\left (3 \, \sqrt {2} {\left (a^{2} + 2 \, a b + b^{2}\right )} \cosh \left (x\right )^{2} + \sqrt {2} {\left (a^{2} - b^{2}\right )}\right )} \sinh \left (x\right )^{2} + 4 \, {\left (\sqrt {2} {\left (a^{2} + 2 \, a b + b^{2}\right )} \cosh \left (x\right )^{3} + \sqrt {2} {\left (a^{2} - b^{2}\right )} \cosh \left (x\right )\right )} \sinh \left (x\right ) + \sqrt {2} {\left (a^{2} - 2 \, a b + b^{2}\right )}\right )} \sqrt {a + b} {\rm weierstrassPInverse}\left (-\frac {4 \, {\left (a - b\right )}}{a + b}, 0, \cosh \left (x\right ) + \sinh \left (x\right )\right ) + 2 \, {\left ({\left (a^{2} + 2 \, a b + b^{2}\right )} \cosh \left (x\right )^{3} + 3 \, {\left (a^{2} + 2 \, a b + b^{2}\right )} \cosh \left (x\right ) \sinh \left (x\right )^{2} + {\left (a^{2} + 2 \, a b + b^{2}\right )} \sinh \left (x\right )^{3} - {\left (a^{2} - b^{2}\right )} \cosh \left (x\right ) + {\left (3 \, {\left (a^{2} + 2 \, a b + b^{2}\right )} \cosh \left (x\right )^{2} - a^{2} + b^{2}\right )} \sinh \left (x\right )\right )} \sqrt {a \cosh \left (x\right ) + b \sinh \left (x\right )}\right )}}{3 \, {\left (a^{5} - a^{4} b - 2 \, a^{3} b^{2} + 2 \, a^{2} b^{3} + a b^{4} - b^{5} + {\left (a^{5} + 3 \, a^{4} b + 2 \, a^{3} b^{2} - 2 \, a^{2} b^{3} - 3 \, a b^{4} - b^{5}\right )} \cosh \left (x\right )^{4} + 4 \, {\left (a^{5} + 3 \, a^{4} b + 2 \, a^{3} b^{2} - 2 \, a^{2} b^{3} - 3 \, a b^{4} - b^{5}\right )} \cosh \left (x\right ) \sinh \left (x\right )^{3} + {\left (a^{5} + 3 \, a^{4} b + 2 \, a^{3} b^{2} - 2 \, a^{2} b^{3} - 3 \, a b^{4} - b^{5}\right )} \sinh \left (x\right )^{4} + 2 \, {\left (a^{5} + a^{4} b - 2 \, a^{3} b^{2} - 2 \, a^{2} b^{3} + a b^{4} + b^{5}\right )} \cosh \left (x\right )^{2} + 2 \, {\left (a^{5} + a^{4} b - 2 \, a^{3} b^{2} - 2 \, a^{2} b^{3} + a b^{4} + b^{5} + 3 \, {\left (a^{5} + 3 \, a^{4} b + 2 \, a^{3} b^{2} - 2 \, a^{2} b^{3} - 3 \, a b^{4} - b^{5}\right )} \cosh \left (x\right )^{2}\right )} \sinh \left (x\right )^{2} + 4 \, {\left ({\left (a^{5} + 3 \, a^{4} b + 2 \, a^{3} b^{2} - 2 \, a^{2} b^{3} - 3 \, a b^{4} - b^{5}\right )} \cosh \left (x\right )^{3} + {\left (a^{5} + a^{4} b - 2 \, a^{3} b^{2} - 2 \, a^{2} b^{3} + a b^{4} + b^{5}\right )} \cosh \left (x\right )\right )} \sinh \left (x\right )\right )}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [F(-1)] Timed out
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {Timed out} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [F]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {could not integrate} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Mupad [F]
time = 0.00, size = -1, normalized size = -0.01 \begin {gather*} \int \frac {1}{{\left (a\,\mathrm {cosh}\left (x\right )+b\,\mathrm {sinh}\left (x\right )\right )}^{5/2}} \,d x \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________