Integrand size = 9, antiderivative size = 10 \[ \int \sqrt {\cos (x)} \sin (x) \, dx=-\frac {2}{3} \cos ^{\frac {3}{2}}(x) \]
[Out]
Time = 0.01 (sec) , antiderivative size = 10, normalized size of antiderivative = 1.00, number of steps used = 2, number of rules used = 2, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.222, Rules used = {2645, 30} \[ \int \sqrt {\cos (x)} \sin (x) \, dx=-\frac {2}{3} \cos ^{\frac {3}{2}}(x) \]
[In]
[Out]
Rule 30
Rule 2645
Rubi steps \begin{align*} \text {integral}& = -\text {Subst}\left (\int \sqrt {x} \, dx,x,\cos (x)\right ) \\ & = -\frac {2}{3} \cos ^{\frac {3}{2}}(x) \\ \end{align*}
Time = 0.00 (sec) , antiderivative size = 10, normalized size of antiderivative = 1.00 \[ \int \sqrt {\cos (x)} \sin (x) \, dx=-\frac {2}{3} \cos ^{\frac {3}{2}}(x) \]
[In]
[Out]
Time = 0.33 (sec) , antiderivative size = 7, normalized size of antiderivative = 0.70
method | result | size |
derivativedivides | \(-\frac {2 \cos \left (x \right )^{\frac {3}{2}}}{3}\) | \(7\) |
default | \(-\frac {2 \cos \left (x \right )^{\frac {3}{2}}}{3}\) | \(7\) |
[In]
[Out]
none
Time = 0.24 (sec) , antiderivative size = 6, normalized size of antiderivative = 0.60 \[ \int \sqrt {\cos (x)} \sin (x) \, dx=-\frac {2}{3} \, \cos \left (x\right )^{\frac {3}{2}} \]
[In]
[Out]
Time = 0.13 (sec) , antiderivative size = 10, normalized size of antiderivative = 1.00 \[ \int \sqrt {\cos (x)} \sin (x) \, dx=- \frac {2 \cos ^{\frac {3}{2}}{\left (x \right )}}{3} \]
[In]
[Out]
none
Time = 0.19 (sec) , antiderivative size = 6, normalized size of antiderivative = 0.60 \[ \int \sqrt {\cos (x)} \sin (x) \, dx=-\frac {2}{3} \, \cos \left (x\right )^{\frac {3}{2}} \]
[In]
[Out]
none
Time = 0.27 (sec) , antiderivative size = 6, normalized size of antiderivative = 0.60 \[ \int \sqrt {\cos (x)} \sin (x) \, dx=-\frac {2}{3} \, \cos \left (x\right )^{\frac {3}{2}} \]
[In]
[Out]
Time = 0.09 (sec) , antiderivative size = 6, normalized size of antiderivative = 0.60 \[ \int \sqrt {\cos (x)} \sin (x) \, dx=-\frac {2\,{\cos \left (x\right )}^{3/2}}{3} \]
[In]
[Out]