Integrand size = 15, antiderivative size = 25 \[ \int \cos ^3(x) \cos ^{\frac {2}{3}}(2 x) \sin (x) \, dx=-\frac {3}{40} \cos ^{\frac {5}{3}}(2 x)-\frac {3}{64} \cos ^{\frac {8}{3}}(2 x) \]
[Out]
Time = 0.04 (sec) , antiderivative size = 25, normalized size of antiderivative = 1.00, number of steps used = 4, number of rules used = 3, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.200, Rules used = {4442, 272, 45} \[ \int \cos ^3(x) \cos ^{\frac {2}{3}}(2 x) \sin (x) \, dx=-\frac {3}{64} \cos ^{\frac {8}{3}}(2 x)-\frac {3}{40} \cos ^{\frac {5}{3}}(2 x) \]
[In]
[Out]
Rule 45
Rule 272
Rule 4442
Rubi steps \begin{align*} \text {integral}& = -\text {Subst}\left (\int x^3 \left (-1+2 x^2\right )^{2/3} \, dx,x,\cos (x)\right ) \\ & = -\left (\frac {1}{2} \text {Subst}\left (\int x (-1+2 x)^{2/3} \, dx,x,\cos ^2(x)\right )\right ) \\ & = -\left (\frac {1}{2} \text {Subst}\left (\int \left (\frac {1}{2} (-1+2 x)^{2/3}+\frac {1}{2} (-1+2 x)^{5/3}\right ) \, dx,x,\cos ^2(x)\right )\right ) \\ & = -\frac {3}{40} \left (-1+2 \cos ^2(x)\right )^{5/3}-\frac {3}{64} \left (-1+2 \cos ^2(x)\right )^{8/3} \\ \end{align*}
Time = 0.08 (sec) , antiderivative size = 20, normalized size of antiderivative = 0.80 \[ \int \cos ^3(x) \cos ^{\frac {2}{3}}(2 x) \sin (x) \, dx=-\frac {3}{320} \cos ^{\frac {5}{3}}(2 x) (8+5 \cos (2 x)) \]
[In]
[Out]
\[\int \left (\cos ^{4}\left (x \right )\right ) \left (\cos ^{\frac {2}{3}}\left (2 x \right )\right ) \tan \left (x \right )d x\]
[In]
[Out]
none
Time = 0.27 (sec) , antiderivative size = 26, normalized size of antiderivative = 1.04 \[ \int \cos ^3(x) \cos ^{\frac {2}{3}}(2 x) \sin (x) \, dx=-\frac {3}{320} \, {\left (20 \, \cos \left (x\right )^{4} - 4 \, \cos \left (x\right )^{2} - 3\right )} {\left (2 \, \cos \left (x\right )^{2} - 1\right )}^{\frac {2}{3}} \]
[In]
[Out]
Timed out. \[ \int \cos ^3(x) \cos ^{\frac {2}{3}}(2 x) \sin (x) \, dx=\text {Timed out} \]
[In]
[Out]
\[ \int \cos ^3(x) \cos ^{\frac {2}{3}}(2 x) \sin (x) \, dx=\int { \cos \left (2 \, x\right )^{\frac {2}{3}} \cos \left (x\right )^{4} \tan \left (x\right ) \,d x } \]
[In]
[Out]
none
Time = 0.29 (sec) , antiderivative size = 25, normalized size of antiderivative = 1.00 \[ \int \cos ^3(x) \cos ^{\frac {2}{3}}(2 x) \sin (x) \, dx=-\frac {3}{64} \, {\left (2 \, \cos \left (x\right )^{2} - 1\right )}^{\frac {8}{3}} - \frac {3}{40} \, {\left (2 \, \cos \left (x\right )^{2} - 1\right )}^{\frac {5}{3}} \]
[In]
[Out]
Timed out. \[ \int \cos ^3(x) \cos ^{\frac {2}{3}}(2 x) \sin (x) \, dx=\int {\cos \left (2\,x\right )}^{2/3}\,{\cos \left (x\right )}^4\,\mathrm {tan}\left (x\right ) \,d x \]
[In]
[Out]