\[ \int \cos (2 x) \sqrt {4-\sin (2 x)} \, dx \]
Optimal antiderivative \[ -\frac {\left (4-\sin \left (2 x \right )\right )^{\frac {3}{2}}}{3} \]
command
integrate(cos(2*x)*(4-sin(2*x))^(1/2),x, algorithm="giac")
Giac 1.9.0-11 via sagemath 9.6 output
\[ -\frac {1}{3} \, {\left (-\sin \left (2 \, x\right ) + 4\right )}^{\frac {3}{2}} \]
Giac 1.7.0 via sagemath 9.3 output
\[ \text {Exception raised: NotImplementedError} \]________________________________________________________________________________________