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