Given:

⇒ y = (cos x)^y

Taking log both the sides, we get

log y = y log(cos x)

On differentiating both the sides, we get

Hence Proved