\[ \text {Global$\grave { }$y}'(\text {Global$\grave { }$x}) (-\sin (\text {Global$\grave { }$y}(\text {Global$\grave { }$x}))+\text {Global$\grave { }$x} \sin (\text {Global$\grave { }$x} \text {Global$\grave { }$y}(\text {Global$\grave { }$x}))+\cos (\text {Global$\grave { }$y}(\text {Global$\grave { }$x})+\text {Global$\grave { }$x}))+\text {Global$\grave { }$y}(\text {Global$\grave { }$x}) \sin (\text {Global$\grave { }$x} \text {Global$\grave { }$y}(\text {Global$\grave { }$x}))+\cos (\text {Global$\grave { }$y}(\text {Global$\grave { }$x})+\text {Global$\grave { }$x})+\cos (\text {Global$\grave { }$x})=0 \] ✓ Mathematica : cpu = 0.208429 (sec), leaf count = 31
\[\text {Solve}\left [\cos (\text {Global$\grave { }$y}(\text {Global$\grave { }$x}))-\cos (\text {Global$\grave { }$x} \text {Global$\grave { }$y}(\text {Global$\grave { }$x}))+\sin (\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}))+\sin (\text {Global$\grave { }$x})=c_1,\text {Global$\grave { }$y}(\text {Global$\grave { }$x})\right ]\]
✓ Maple : cpu = 0.256 (sec), leaf count = 22
\[ \left \{ -\cos \left ( xy \left ( x \right ) \right ) +\sin \left ( y \left ( x \right ) +x \right ) +\sin \left ( x \right ) +\cos \left ( y \left ( x \right ) \right ) +{\it \_C1}=0 \right \} \]