How do you find the antiderivative of # cos 5 x#?