How do you find the antiderivative of cos 5 x?