Integrand size = 14, antiderivative size = 102 \[ \int \sqrt {a+b \cosh (x)+c \sinh (x)} \, dx=-\frac {2 i 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)}}{\sqrt {\frac {a+b \cosh (x)+c \sinh (x)}{a+\sqrt {b^2-c^2}}}} \]
-2*I*(cos(1/2*I*x-1/2*arctan(b,-I*c))^2)^(1/2)/cos(1/2*I*x-1/2*arctan(b,-I *c))*EllipticE(sin(1/2*I*x-1/2*arctan(b,-I*c)),2^(1/2)*((b^2-c^2)^(1/2)/(a +(b^2-c^2)^(1/2)))^(1/2))*(a+b*cosh(x)+c*sinh(x))^(1/2)/((a+b*cosh(x)+c*si nh(x))/(a+(b^2-c^2)^(1/2)))^(1/2)
Result contains higher order function than in optimal. Order 6 vs. order 4 in optimal.
Time = 6.09 (sec) , antiderivative size = 1401, normalized size of antiderivative = 13.74 \[ \int \sqrt {a+b \cosh (x)+c \sinh (x)} \, dx =\text {Too large to display} \]
(2*b*Sqrt[a + b*Cosh[x] + c*Sinh[x]])/c + (2*a*AppellF1[1/2, 1/2, 1/2, 3/2 , ((-I)*(a + Sqrt[1 - b^2/c^2]*c*Sinh[x + ArcTanh[b/c]]))/(Sqrt[1 - b^2/c^ 2]*(1 - (I*a)/(Sqrt[1 - b^2/c^2]*c))*c), ((-I)*(a + Sqrt[1 - b^2/c^2]*c*Si nh[x + ArcTanh[b/c]]))/(Sqrt[1 - b^2/c^2]*(-1 - (I*a)/(Sqrt[1 - b^2/c^2]*c ))*c)]*Sech[x + ArcTanh[b/c]]*Sqrt[-1 + I*Sinh[x + ArcTanh[b/c]]]*Sqrt[(c* Sqrt[(-b^2 + c^2)/c^2] - I*c*Sqrt[(-b^2 + c^2)/c^2]*Sinh[x + ArcTanh[b/c]] )/(I*a + c*Sqrt[(-b^2 + c^2)/c^2])]*Sqrt[(c*Sqrt[(-b^2 + c^2)/c^2] + I*c*S qrt[(-b^2 + c^2)/c^2]*Sinh[x + ArcTanh[b/c]])/((-I)*a + c*Sqrt[(-b^2 + c^2 )/c^2])]*Sqrt[a + c*Sqrt[(-b^2 + c^2)/c^2]*Sinh[x + ArcTanh[b/c]]])/(Sqrt[ 1 - b^2/c^2]*c*Sqrt[I*(I + Sinh[x + ArcTanh[b/c]])]) - (b^2*((c*AppellF1[- 1/2, -1/2, -1/2, 1/2, (a + b*Sqrt[1 - c^2/b^2]*Cosh[x + ArcTanh[c/b]])/(b* Sqrt[1 - c^2/b^2]*(1 + a/(b*Sqrt[1 - c^2/b^2]))), (a + b*Sqrt[1 - c^2/b^2] *Cosh[x + ArcTanh[c/b]])/(b*Sqrt[1 - c^2/b^2]*(-1 + a/(b*Sqrt[1 - c^2/b^2] )))]*Sinh[x + ArcTanh[c/b]])/(b*Sqrt[1 - c^2/b^2]*Sqrt[(b*Sqrt[(b^2 - c^2) /b^2] - b*Sqrt[(b^2 - c^2)/b^2]*Cosh[x + ArcTanh[c/b]])/(a + b*Sqrt[(b^2 - c^2)/b^2])]*Sqrt[a + b*Sqrt[(b^2 - c^2)/b^2]*Cosh[x + ArcTanh[c/b]]]*Sqrt [(b*Sqrt[(b^2 - c^2)/b^2] + b*Sqrt[(b^2 - c^2)/b^2]*Cosh[x + ArcTanh[c/b]] )/(-a + b*Sqrt[(b^2 - c^2)/b^2])]) - ((-2*b*(a + b*Sqrt[1 - c^2/b^2]*Cosh[ x + ArcTanh[c/b]]))/(b^2 - c^2) + (c*Sinh[x + ArcTanh[c/b]])/(b*Sqrt[1 - c ^2/b^2]))/Sqrt[a + b*Sqrt[1 - c^2/b^2]*Cosh[x + ArcTanh[c/b]]]))/c + c*...
Time = 0.38 (sec) , antiderivative size = 102, normalized size of antiderivative = 1.00, number of steps used = 4, number of rules used = 4, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.286, Rules used = {3042, 3598, 3042, 3132}
Below are the steps used by Rubi to obtain the solution. The rule number used for the transformation is given above next to the arrow. The rules definitions used are listed below.
\(\displaystyle \int \sqrt {a+b \cosh (x)+c \sinh (x)} \, dx\) |
\(\Big \downarrow \) 3042 |
\(\displaystyle \int \sqrt {a+b \cos (i x)-i c \sin (i x)}dx\) |
\(\Big \downarrow \) 3598 |
\(\displaystyle \frac {\sqrt {a+b \cosh (x)+c \sinh (x)} \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}{\sqrt {\frac {a+b \cosh (x)+c \sinh (x)}{a+\sqrt {b^2-c^2}}}}\) |
\(\Big \downarrow \) 3042 |
\(\displaystyle \frac {\sqrt {a+b \cosh (x)+c \sinh (x)} \int \sqrt {\frac {a}{a+\sqrt {b^2-c^2}}+\frac {\sqrt {b^2-c^2} \sin \left (i x-\tan ^{-1}(b,-i c)+\frac {\pi }{2}\right )}{a+\sqrt {b^2-c^2}}}dx}{\sqrt {\frac {a+b \cosh (x)+c \sinh (x)}{a+\sqrt {b^2-c^2}}}}\) |
\(\Big \downarrow \) 3132 |
\(\displaystyle -\frac {2 i \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 )}{\sqrt {\frac {a+b \cosh (x)+c \sinh (x)}{a+\sqrt {b^2-c^2}}}}\) |
((-2*I)*EllipticE[(I*x - ArcTan[b, (-I)*c])/2, (2*Sqrt[b^2 - c^2])/(a + Sq rt[b^2 - c^2])]*Sqrt[a + b*Cosh[x] + c*Sinh[x]])/Sqrt[(a + b*Cosh[x] + c*S inh[x])/(a + Sqrt[b^2 - c^2])]
3.8.63.3.1 Defintions of rubi rules used
Int[Sqrt[(a_) + (b_.)*sin[(c_.) + (d_.)*(x_)]], x_Symbol] :> Simp[2*(Sqrt[a + b]/d)*EllipticE[(1/2)*(c - Pi/2 + d*x), 2*(b/(a + b))], x] /; FreeQ[{a, b, c, d}, x] && NeQ[a^2 - b^2, 0] && GtQ[a + b, 0]
Int[Sqrt[cos[(d_.) + (e_.)*(x_)]*(b_.) + (a_) + (c_.)*sin[(d_.) + (e_.)*(x_ )]], x_Symbol] :> Simp[Sqrt[a + b*Cos[d + e*x] + c*Sin[d + e*x]]/Sqrt[(a + b*Cos[d + e*x] + c*Sin[d + e*x])/(a + Sqrt[b^2 + c^2])] Int[Sqrt[a/(a + S qrt[b^2 + c^2]) + (Sqrt[b^2 + c^2]/(a + Sqrt[b^2 + c^2]))*Cos[d + e*x - Arc Tan[b, c]]], x], x] /; FreeQ[{a, b, c, d, e}, x] && NeQ[a^2 - b^2 - c^2, 0] && NeQ[b^2 + c^2, 0] && !GtQ[a + Sqrt[b^2 + c^2], 0]
Leaf count of result is larger than twice the leaf count of optimal. \(316\) vs. \(2(125)=250\).
Time = 1.82 (sec) , antiderivative size = 317, normalized size of antiderivative = 3.11
method | result | size |
default | \(\frac {\left (-b^{2}+c^{2}\right ) \cosh \left (x \right )}{\sqrt {b^{2}-c^{2}}\, \sqrt {\frac {-b^{2} \sinh \left (x \right )+\sinh \left (x \right ) c^{2}+a \sqrt {b^{2}-c^{2}}}{\sqrt {b^{2}-c^{2}}}}}+\frac {\sqrt {\frac {\left (-b^{2} \sinh \left (x \right )+\sinh \left (x \right ) c^{2}+a \sqrt {b^{2}-c^{2}}\right ) \sinh \left (x \right )^{2}}{\sqrt {b^{2}-c^{2}}}}\, a \ln \left (\frac {-\sinh \left (x \right ) \cosh \left (x \right ) b^{2}+\sinh \left (x \right ) \cosh \left (x \right ) c^{2}+\cosh \left (x \right ) \sqrt {b^{2}-c^{2}}\, a +\sqrt {\frac {\left (-b^{2}+c^{2}\right ) \sinh \left (x \right )^{3}}{\sqrt {b^{2}-c^{2}}}+a \sinh \left (x \right )^{2}}\, \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 {-b^{2} \sinh \left (x \right )+\sinh \left (x \right ) c^{2}+a \sqrt {b^{2}-c^{2}}}{\sqrt {b^{2}-c^{2}}}}}\right ) \sqrt {b^{2}-c^{2}}}{\left (-b^{2} \sinh \left (x \right )+\sinh \left (x \right ) c^{2}+a \sqrt {b^{2}-c^{2}}\right ) \sinh \left (x \right )}\) | \(317\) |
risch | \(\text {Expression too large to display}\) | \(1093\) |
1/(b^2-c^2)^(1/2)*(-b^2+c^2)/((-b^2*sinh(x)+sinh(x)*c^2+a*(b^2-c^2)^(1/2)) /(b^2-c^2)^(1/2))^(1/2)*cosh(x)+((-b^2*sinh(x)+sinh(x)*c^2+a*(b^2-c^2)^(1/ 2))/(b^2-c^2)^(1/2)*sinh(x)^2)^(1/2)*a*ln((-sinh(x)*cosh(x)*b^2+sinh(x)*co sh(x)*c^2+cosh(x)*(b^2-c^2)^(1/2)*a+((-b^2+c^2)/(b^2-c^2)^(1/2)*sinh(x)^3+ a*sinh(x)^2)^(1/2)*(b^2-c^2)^(1/2)*((-b^2+c^2)/(b^2-c^2)^(1/2)*sinh(x)+a)^ (1/2))/(b^2-c^2)^(1/2)/((-b^2*sinh(x)+sinh(x)*c^2+a*(b^2-c^2)^(1/2))/(b^2- c^2)^(1/2))^(1/2))/(-b^2*sinh(x)+sinh(x)*c^2+a*(b^2-c^2)^(1/2))*(b^2-c^2)^ (1/2)/sinh(x)
Result contains higher order function than in optimal. Order 9 vs. order 4.
Time = 0.09 (sec) , antiderivative size = 314, normalized size of antiderivative = 3.08 \[ \int \sqrt {a+b \cosh (x)+c \sinh (x)} \, dx=\frac {2 \, {\left (\sqrt {2} a \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 ) - 3 \, \sqrt {2} {\left (b + c\right )}^{\frac {3}{2}} {\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 \, \sqrt {b \cosh \left (x\right ) + c \sinh \left (x\right ) + a} {\left (b + c\right )}\right )}}{3 \, {\left (b + c\right )}} \]
2/3*(sqrt(2)*a*sqrt(b + c)*weierstrassPInverse(4/3*(4*a^2 - 3*b^2 + 3*c^2) /(b^2 + 2*b*c + c^2), -8/27*(8*a^3 - 9*a*b^2 + 9*a*c^2)/(b^3 + 3*b^2*c + 3 *b*c^2 + c^3), 1/3*(3*(b + c)*cosh(x) + 3*(b + c)*sinh(x) + 2*a)/(b + c)) - 3*sqrt(2)*(b + c)^(3/2)*weierstrassZeta(4/3*(4*a^2 - 3*b^2 + 3*c^2)/(b^2 + 2*b*c + c^2), -8/27*(8*a^3 - 9*a*b^2 + 9*a*c^2)/(b^3 + 3*b^2*c + 3*b*c^ 2 + c^3), weierstrassPInverse(4/3*(4*a^2 - 3*b^2 + 3*c^2)/(b^2 + 2*b*c + c ^2), -8/27*(8*a^3 - 9*a*b^2 + 9*a*c^2)/(b^3 + 3*b^2*c + 3*b*c^2 + c^3), 1/ 3*(3*(b + c)*cosh(x) + 3*(b + c)*sinh(x) + 2*a)/(b + c))) - 3*sqrt(b*cosh( x) + c*sinh(x) + a)*(b + c))/(b + c)
\[ \int \sqrt {a+b \cosh (x)+c \sinh (x)} \, dx=\int \sqrt {a + b \cosh {\left (x \right )} + c \sinh {\left (x \right )}}\, dx \]
\[ \int \sqrt {a+b \cosh (x)+c \sinh (x)} \, dx=\int { \sqrt {b \cosh \left (x\right ) + c \sinh \left (x\right ) + a} \,d x } \]
\[ \int \sqrt {a+b \cosh (x)+c \sinh (x)} \, dx=\int { \sqrt {b \cosh \left (x\right ) + c \sinh \left (x\right ) + a} \,d x } \]
Timed out. \[ \int \sqrt {a+b \cosh (x)+c \sinh (x)} \, dx=\int \sqrt {a+b\,\mathrm {cosh}\left (x\right )+c\,\mathrm {sinh}\left (x\right )} \,d x \]