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