Optimal. Leaf size=249 \[ \frac {2}{3} (c \cosh (x)+b \sinh (x)) \sqrt {a+b \cosh (x)+c \sinh (x)}-\frac {8 i a E\left (\frac {1}{2} \left (i x-\tan ^{-1}(b,-i c)\right )|\frac {2 \sqrt {b^2-c^2}}{a+\sqrt {b^2-c^2}}\right ) \sqrt {a+b \cosh (x)+c \sinh (x)}}{3 \sqrt {\frac {a+b \cosh (x)+c \sinh (x)}{a+\sqrt {b^2-c^2}}}}+\frac {2 i \left (a^2-b^2+c^2\right ) F\left (\frac {1}{2} \left (i x-\tan ^{-1}(b,-i c)\right )|\frac {2 \sqrt {b^2-c^2}}{a+\sqrt {b^2-c^2}}\right ) \sqrt {\frac {a+b \cosh (x)+c \sinh (x)}{a+\sqrt {b^2-c^2}}}}{3 \sqrt {a+b \cosh (x)+c \sinh (x)}} \]
[Out]
________________________________________________________________________________________
Rubi [A]
time = 0.19, antiderivative size = 249, normalized size of antiderivative = 1.00, number of steps
used = 6, number of rules used = 6, integrand size = 14, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.429, Rules used = {3199, 3228,
3198, 2732, 3206, 2740} \begin {gather*} \frac {2 i \left (a^2-b^2+c^2\right ) \sqrt {\frac {a+b \cosh (x)+c \sinh (x)}{a+\sqrt {b^2-c^2}}} F\left (\frac {1}{2} \left (i x-\tan ^{-1}(b,-i c)\right )|\frac {2 \sqrt {b^2-c^2}}{a+\sqrt {b^2-c^2}}\right )}{3 \sqrt {a+b \cosh (x)+c \sinh (x)}}-\frac {8 i a \sqrt {a+b \cosh (x)+c \sinh (x)} E\left (\frac {1}{2} \left (i x-\tan ^{-1}(b,-i c)\right )|\frac {2 \sqrt {b^2-c^2}}{a+\sqrt {b^2-c^2}}\right )}{3 \sqrt {\frac {a+b \cosh (x)+c \sinh (x)}{a+\sqrt {b^2-c^2}}}}+\frac {2}{3} (b \sinh (x)+c \cosh (x)) \sqrt {a+b \cosh (x)+c \sinh (x)} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
Rule 2732
Rule 2740
Rule 3198
Rule 3199
Rule 3206
Rule 3228
Rubi steps
\begin {align*} \int (a+b \cosh (x)+c \sinh (x))^{3/2} \, dx &=\frac {2}{3} (c \cosh (x)+b \sinh (x)) \sqrt {a+b \cosh (x)+c \sinh (x)}+\frac {2}{3} \int \frac {\frac {1}{2} \left (3 a^2+b^2-c^2\right )+2 a b \cosh (x)+2 a c \sinh (x)}{\sqrt {a+b \cosh (x)+c \sinh (x)}} \, dx\\ &=\frac {2}{3} (c \cosh (x)+b \sinh (x)) \sqrt {a+b \cosh (x)+c \sinh (x)}+\frac {1}{3} (4 a) \int \sqrt {a+b \cosh (x)+c \sinh (x)} \, dx+\frac {1}{3} \left (-a^2+b^2-c^2\right ) \int \frac {1}{\sqrt {a+b \cosh (x)+c \sinh (x)}} \, dx\\ &=\frac {2}{3} (c \cosh (x)+b \sinh (x)) \sqrt {a+b \cosh (x)+c \sinh (x)}+\frac {\left (4 a \sqrt {a+b \cosh (x)+c \sinh (x)}\right ) \int \sqrt {\frac {a}{a+\sqrt {b^2-c^2}}+\frac {\sqrt {b^2-c^2} \cosh \left (x+i \tan ^{-1}(b,-i c)\right )}{a+\sqrt {b^2-c^2}}} \, dx}{3 \sqrt {\frac {a+b \cosh (x)+c \sinh (x)}{a+\sqrt {b^2-c^2}}}}+\frac {\left (\left (-a^2+b^2-c^2\right ) \sqrt {\frac {a+b \cosh (x)+c \sinh (x)}{a+\sqrt {b^2-c^2}}}\right ) \int \frac {1}{\sqrt {\frac {a}{a+\sqrt {b^2-c^2}}+\frac {\sqrt {b^2-c^2} \cosh \left (x+i \tan ^{-1}(b,-i c)\right )}{a+\sqrt {b^2-c^2}}}} \, dx}{3 \sqrt {a+b \cosh (x)+c \sinh (x)}}\\ &=\frac {2}{3} (c \cosh (x)+b \sinh (x)) \sqrt {a+b \cosh (x)+c \sinh (x)}-\frac {8 i a E\left (\frac {1}{2} \left (i x-\tan ^{-1}(b,-i c)\right )|\frac {2 \sqrt {b^2-c^2}}{a+\sqrt {b^2-c^2}}\right ) \sqrt {a+b \cosh (x)+c \sinh (x)}}{3 \sqrt {\frac {a+b \cosh (x)+c \sinh (x)}{a+\sqrt {b^2-c^2}}}}+\frac {2 i \left (a^2-b^2+c^2\right ) F\left (\frac {1}{2} \left (i x-\tan ^{-1}(b,-i c)\right )|\frac {2 \sqrt {b^2-c^2}}{a+\sqrt {b^2-c^2}}\right ) \sqrt {\frac {a+b \cosh (x)+c \sinh (x)}{a+\sqrt {b^2-c^2}}}}{3 \sqrt {a+b \cosh (x)+c \sinh (x)}}\\ \end {align*}
________________________________________________________________________________________
Mathematica [C] Result contains higher order function than in optimal. Order 6 vs. order 4 in
optimal.
time = 6.11, size = 2292, normalized size = 9.20 \begin {gather*} \text {Result too large to show} \end {gather*}
Warning: Unable to verify antiderivative.
[In]
[Out]
________________________________________________________________________________________
Maple [A]
time = 2.48, size = 321, normalized size = 1.29
method | result | size |
default | \(\frac {2 \cosh \left (x \right ) a \left (-b^{2}+c^{2}\right )}{\sqrt {b^{2}-c^{2}}\, \sqrt {\frac {-\sinh \left (x \right ) b^{2}+\sinh \left (x \right ) c^{2}+a \sqrt {b^{2}-c^{2}}}{\sqrt {b^{2}-c^{2}}}}}+\frac {\sqrt {\frac {\left (-\sinh \left (x \right ) b^{2}+\sinh \left (x \right ) c^{2}+a \sqrt {b^{2}-c^{2}}\right ) \left (\sinh ^{2}\left (x \right )\right )}{\sqrt {b^{2}-c^{2}}}}\, a^{2} \ln \left (\frac {-\cosh \left (x \right ) \sinh \left (x \right ) b^{2}+\cosh \left (x \right ) \sinh \left (x \right ) c^{2}+\cosh \left (x \right ) \sqrt {b^{2}-c^{2}}\, a +\sqrt {\frac {\left (-b^{2}+c^{2}\right ) \left (\sinh ^{3}\left (x \right )\right )}{\sqrt {b^{2}-c^{2}}}+a \left (\sinh ^{2}\left (x \right )\right )}\, \sqrt {b^{2}-c^{2}}\, \sqrt {\frac {\left (-b^{2}+c^{2}\right ) \sinh \left (x \right )}{\sqrt {b^{2}-c^{2}}}+a}}{\sqrt {b^{2}-c^{2}}\, \sqrt {\frac {-\sinh \left (x \right ) b^{2}+\sinh \left (x \right ) c^{2}+a \sqrt {b^{2}-c^{2}}}{\sqrt {b^{2}-c^{2}}}}}\right ) \sqrt {b^{2}-c^{2}}}{\left (-\sinh \left (x \right ) b^{2}+\sinh \left (x \right ) c^{2}+a \sqrt {b^{2}-c^{2}}\right ) \sinh \left (x \right )}\) | \(321\) |
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.11, size = 463, normalized size = 1.86 \begin {gather*} \frac {2 \, {\left (\sqrt {2} {\left (a^{2} + 3 \, b^{2} - 3 \, c^{2}\right )} \cosh \left (x\right ) + \sqrt {2} {\left (a^{2} + 3 \, b^{2} - 3 \, c^{2}\right )} \sinh \left (x\right )\right )} \sqrt {b + c} {\rm weierstrassPInverse}\left (\frac {4 \, {\left (4 \, a^{2} - 3 \, b^{2} + 3 \, c^{2}\right )}}{3 \, {\left (b^{2} + 2 \, b c + c^{2}\right )}}, -\frac {8 \, {\left (8 \, a^{3} - 9 \, a b^{2} + 9 \, a c^{2}\right )}}{27 \, {\left (b^{3} + 3 \, b^{2} c + 3 \, b c^{2} + c^{3}\right )}}, \frac {3 \, {\left (b + c\right )} \cosh \left (x\right ) + 3 \, {\left (b + c\right )} \sinh \left (x\right ) + 2 \, a}{3 \, {\left (b + c\right )}}\right ) - 24 \, {\left (\sqrt {2} {\left (a b + a c\right )} \cosh \left (x\right ) + \sqrt {2} {\left (a b + a c\right )} \sinh \left (x\right )\right )} \sqrt {b + c} {\rm weierstrassZeta}\left (\frac {4 \, {\left (4 \, a^{2} - 3 \, b^{2} + 3 \, c^{2}\right )}}{3 \, {\left (b^{2} + 2 \, b c + c^{2}\right )}}, -\frac {8 \, {\left (8 \, a^{3} - 9 \, a b^{2} + 9 \, a c^{2}\right )}}{27 \, {\left (b^{3} + 3 \, b^{2} c + 3 \, b c^{2} + c^{3}\right )}}, {\rm weierstrassPInverse}\left (\frac {4 \, {\left (4 \, a^{2} - 3 \, b^{2} + 3 \, c^{2}\right )}}{3 \, {\left (b^{2} + 2 \, b c + c^{2}\right )}}, -\frac {8 \, {\left (8 \, a^{3} - 9 \, a b^{2} + 9 \, a c^{2}\right )}}{27 \, {\left (b^{3} + 3 \, b^{2} c + 3 \, b c^{2} + c^{3}\right )}}, \frac {3 \, {\left (b + c\right )} \cosh \left (x\right ) + 3 \, {\left (b + c\right )} \sinh \left (x\right ) + 2 \, a}{3 \, {\left (b + c\right )}}\right )\right ) + 3 \, {\left ({\left (b^{2} + 2 \, b c + c^{2}\right )} \cosh \left (x\right )^{2} + {\left (b^{2} + 2 \, b c + c^{2}\right )} \sinh \left (x\right )^{2} - b^{2} + c^{2} - 8 \, {\left (a b + a c\right )} \cosh \left (x\right ) - 2 \, {\left (4 \, a b + 4 \, a c - {\left (b^{2} + 2 \, b c + c^{2}\right )} \cosh \left (x\right )\right )} \sinh \left (x\right )\right )} \sqrt {b \cosh \left (x\right ) + c \sinh \left (x\right ) + a}}{9 \, {\left ({\left (b + c\right )} \cosh \left (x\right ) + {\left (b + c\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 (a + b \cosh {\left (x \right )} + c \sinh {\left (x \right )}\right )^{\frac {3}{2}}\, dx \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.00 \begin {gather*} \int {\left (a+b\,\mathrm {cosh}\left (x\right )+c\,\mathrm {sinh}\left (x\right )\right )}^{3/2} \,d x \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________