How do you find the antiderivative of cos pi x?