If `(sinx)^y=x+y` then prove that `\frac{dy}{dx}=\frac{1-(x+y)y\cotx}{(x+y)\ln(sinx)-1}`