43.3 Problem number 255

\[ \int \cos ^3(x) \sin ^{\frac {5}{2}}(x) \, dx \]

Optimal antiderivative \[ \frac {2 \left (\sin ^{\frac {7}{2}}\left (x \right )\right )}{7}-\frac {2 \left (\sin ^{\frac {11}{2}}\left (x \right )\right )}{11} \]

command

integrate(cos(x)**3*sin(x)**(5/2),x)

Sympy 1.10.1 under Python 3.10.4 output

\[ \frac {8 \sin ^{\frac {11}{2}}{\left (x \right )}}{77} + \frac {2 \sin ^{\frac {7}{2}}{\left (x \right )} \cos ^{2}{\left (x \right )}}{7} \]

Sympy 1.8 under Python 3.8.8 output

\[ \text {Timed out} \]________________________________________________________________________________________