Antiderivative of cos pi