How do you find the antiderivative of cos^3 (x)dx?