The antiderivative on the right side must be $\displaystyle -\frac{1}{2}\cos y^2$. The evaluation that follows correctly uses the missing minus sign.
