\[ \text {Global$\grave { }$x} \log (\text {Global$\grave { }$x}) \text {Global$\grave { }$y}'(\text {Global$\grave { }$x}) \sin (\text {Global$\grave { }$y}(\text {Global$\grave { }$x}))+\cos (\text {Global$\grave { }$y}(\text {Global$\grave { }$x})) (1-\text {Global$\grave { }$x} \cos (\text {Global$\grave { }$y}(\text {Global$\grave { }$x})))=0 \] ✓ Mathematica : cpu = 0.302218 (sec), leaf count = 35
\[\left \{\left \{\text {Global$\grave { }$y}(\text {Global$\grave { }$x})\to -\sec ^{-1}\left (\frac {\text {Global$\grave { }$x}-c_1}{\log (\text {Global$\grave { }$x})}\right )\right \},\left \{\text {Global$\grave { }$y}(\text {Global$\grave { }$x})\to \sec ^{-1}\left (\frac {\text {Global$\grave { }$x}-c_1}{\log (\text {Global$\grave { }$x})}\right )\right \}\right \}\]
✓ Maple : cpu = 0.582 (sec), leaf count = 13
\[ \left \{ y \left ( x \right ) =\arccos \left ( {\frac {\ln \left ( x \right ) }{{\it \_C1}+x}} \right ) \right \} \]