y'(x)=y(x) (-(\log (x)-\log (\log (y(x)))))