Given:

Let

Let cos x = t ⇒ -sin x dx = dt ⇒ sin x dx = dt