Verify that \(\mathbf{F}=abla f\) and evaluate the line integral of \(\mathbf{F}\) over the given path.

\(\mathbf{F}(x, y)=\langle\cos y,-x \sin yangle, f(x, y)=x \cos y\); upper half of the unit circle centered at the origin, oriented counterclockwise