Let, cos x = t

Differentiating both sides with respect to x

⇒ -dt = sin x dx

Use formula

Again, put t = cos x