\[ \text {Global$\grave { }$y}'(\text {Global$\grave { }$x}) (\text {Global$\grave { }$x} \cos (\text {Global$\grave { }$y}(\text {Global$\grave { }$x}))+\cos (\text {Global$\grave { }$x}))+\sin (\text {Global$\grave { }$y}(\text {Global$\grave { }$x}))-\text {Global$\grave { }$y}(\text {Global$\grave { }$x}) \sin (\text {Global$\grave { }$x})=0 \] ✓ Mathematica : cpu = 0.04631 (sec), leaf count = 17
\[\text {Solve}\left [\text {Global$\grave { }$x} \sin (\text {Global$\grave { }$y}(\text {Global$\grave { }$x}))+\text {Global$\grave { }$y}(\text {Global$\grave { }$x}) \cos (\text {Global$\grave { }$x})=c_1,\text {Global$\grave { }$y}(\text {Global$\grave { }$x})\right ]\]
✓ Maple : cpu = 0.111 (sec), leaf count = 15
\[ \left \{ y \left ( x \right ) \cos \left ( x \right ) +x\sin \left ( y \left ( x \right ) \right ) +{\it \_C1}=0 \right \} \]