The antiderivative of cosine (formula with example)