Let, cos x = t

Differentiating both side with respect to x

⇒ -dt = sin x dx

Using formula

Again, put t = cos x