antiderivative of cos^3(x)sin^2(x) dx