Integrand size = 11, antiderivative size = 52 \[ \int \frac {1}{\sqrt {-\cos (x)+\sec (x)}} \, dx=\frac {\arctan \left (\sqrt {\cos (x)}\right ) \sin (x)}{\sqrt {\cos (x)} \sqrt {\sin (x) \tan (x)}}-\frac {\text {arctanh}\left (\sqrt {\cos (x)}\right ) \sin (x)}{\sqrt {\cos (x)} \sqrt {\sin (x) \tan (x)}} \]
[Out]
Time = 0.09 (sec) , antiderivative size = 52, normalized size of antiderivative = 1.00, number of steps used = 8, number of rules used = 8, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.727, Rules used = {4482, 4485, 2681, 2645, 335, 304, 209, 212} \[ \int \frac {1}{\sqrt {-\cos (x)+\sec (x)}} \, dx=\frac {\sin (x) \arctan \left (\sqrt {\cos (x)}\right )}{\sqrt {\cos (x)} \sqrt {\sin (x) \tan (x)}}-\frac {\sin (x) \text {arctanh}\left (\sqrt {\cos (x)}\right )}{\sqrt {\cos (x)} \sqrt {\sin (x) \tan (x)}} \]
[In]
[Out]
Rule 209
Rule 212
Rule 304
Rule 335
Rule 2645
Rule 2681
Rule 4482
Rule 4485
Rubi steps \begin{align*} \text {integral}& = \int \frac {1}{\sqrt {\sin (x) \tan (x)}} \, dx \\ & = \frac {\left (\sqrt {\sin (x)} \sqrt {\tan (x)}\right ) \int \frac {1}{\sqrt {\sin (x)} \sqrt {\tan (x)}} \, dx}{\sqrt {\sin (x) \tan (x)}} \\ & = \frac {\sin (x) \int \sqrt {\cos (x)} \csc (x) \, dx}{\sqrt {\cos (x)} \sqrt {\sin (x) \tan (x)}} \\ & = -\frac {\sin (x) \text {Subst}\left (\int \frac {\sqrt {x}}{1-x^2} \, dx,x,\cos (x)\right )}{\sqrt {\cos (x)} \sqrt {\sin (x) \tan (x)}} \\ & = -\frac {(2 \sin (x)) \text {Subst}\left (\int \frac {x^2}{1-x^4} \, dx,x,\sqrt {\cos (x)}\right )}{\sqrt {\cos (x)} \sqrt {\sin (x) \tan (x)}} \\ & = -\frac {\sin (x) \text {Subst}\left (\int \frac {1}{1-x^2} \, dx,x,\sqrt {\cos (x)}\right )}{\sqrt {\cos (x)} \sqrt {\sin (x) \tan (x)}}+\frac {\sin (x) \text {Subst}\left (\int \frac {1}{1+x^2} \, dx,x,\sqrt {\cos (x)}\right )}{\sqrt {\cos (x)} \sqrt {\sin (x) \tan (x)}} \\ & = \frac {\arctan \left (\sqrt {\cos (x)}\right ) \sin (x)}{\sqrt {\cos (x)} \sqrt {\sin (x) \tan (x)}}-\frac {\text {arctanh}\left (\sqrt {\cos (x)}\right ) \sin (x)}{\sqrt {\cos (x)} \sqrt {\sin (x) \tan (x)}} \\ \end{align*}
Time = 0.11 (sec) , antiderivative size = 43, normalized size of antiderivative = 0.83 \[ \int \frac {1}{\sqrt {-\cos (x)+\sec (x)}} \, dx=\frac {\left (\arctan \left (\sqrt [4]{\cos ^2(x)}\right )-\text {arctanh}\left (\sqrt [4]{\cos ^2(x)}\right )\right ) \cos (x) \cot (x) \sqrt {\sin (x) \tan (x)}}{\cos ^2(x)^{3/4}} \]
[In]
[Out]
Leaf count of result is larger than twice the leaf count of optimal. \(89\) vs. \(2(40)=80\).
Time = 1.14 (sec) , antiderivative size = 90, normalized size of antiderivative = 1.73
method | result | size |
default | \(\frac {\sin \left (x \right ) \left (\arctan \left (\frac {1}{2 \sqrt {-\frac {\cos \left (x \right )}{\left (\cos \left (x \right )+1\right )^{2}}}}\right )+\ln \left (\frac {2 \cos \left (x \right ) \sqrt {-\frac {\cos \left (x \right )}{\left (\cos \left (x \right )+1\right )^{2}}}+2 \sqrt {-\frac {\cos \left (x \right )}{\left (\cos \left (x \right )+1\right )^{2}}}-\cos \left (x \right )+1}{\cos \left (x \right )+1}\right )\right )}{2 \left (\cos \left (x \right )+1\right ) \sqrt {\sin \left (x \right ) \tan \left (x \right )}\, \sqrt {-\frac {\cos \left (x \right )}{\left (\cos \left (x \right )+1\right )^{2}}}}\) | \(90\) |
[In]
[Out]
none
Time = 0.27 (sec) , antiderivative size = 72, normalized size of antiderivative = 1.38 \[ \int \frac {1}{\sqrt {-\cos (x)+\sec (x)}} \, dx=-\frac {1}{2} \, \arctan \left (\frac {2 \, \sqrt {-\frac {\cos \left (x\right )^{2} - 1}{\cos \left (x\right )}} \cos \left (x\right )}{{\left (\cos \left (x\right ) - 1\right )} \sin \left (x\right )}\right ) + \frac {1}{2} \, \log \left (\frac {{\left (\cos \left (x\right ) + 1\right )} \sin \left (x\right ) - 2 \, \sqrt {-\frac {\cos \left (x\right )^{2} - 1}{\cos \left (x\right )}} \cos \left (x\right )}{{\left (\cos \left (x\right ) - 1\right )} \sin \left (x\right )}\right ) \]
[In]
[Out]
\[ \int \frac {1}{\sqrt {-\cos (x)+\sec (x)}} \, dx=\int \frac {1}{\sqrt {- \cos {\left (x \right )} + \sec {\left (x \right )}}}\, dx \]
[In]
[Out]
\[ \int \frac {1}{\sqrt {-\cos (x)+\sec (x)}} \, dx=\int { \frac {1}{\sqrt {-\cos \left (x\right ) + \sec \left (x\right )}} \,d x } \]
[In]
[Out]
none
Time = 0.34 (sec) , antiderivative size = 35, normalized size of antiderivative = 0.67 \[ \int \frac {1}{\sqrt {-\cos (x)+\sec (x)}} \, dx=\frac {1}{2} \, \arcsin \left (\tan \left (\frac {1}{2} \, x\right )^{2}\right ) - \frac {1}{2} \, \log \left (-\frac {\sqrt {-\tan \left (\frac {1}{2} \, x\right )^{4} + 1} - 1}{\tan \left (\frac {1}{2} \, x\right )^{2}}\right ) \]
[In]
[Out]
Timed out. \[ \int \frac {1}{\sqrt {-\cos (x)+\sec (x)}} \, dx=\int \frac {1}{\sqrt {\frac {1}{\cos \left (x\right )}-\cos \left (x\right )}} \,d x \]
[In]
[Out]