If $x=x=e^{\cos 2 t}$ and $y=e^{\sin 2 t}$, prove that $\frac{d y}{d x}=-\frac{y \log x}{x \log y}$