\[ \text {Global$\grave { }$y}'(\text {Global$\grave { }$x}) \left (\text {Global$\grave { }$x}^2 \cos (\text {Global$\grave { }$y}(\text {Global$\grave { }$x}))+2 \text {Global$\grave { }$y}(\text {Global$\grave { }$x}) \sin (\text {Global$\grave { }$x})\right )+2 \text {Global$\grave { }$x} \sin (\text {Global$\grave { }$y}(\text {Global$\grave { }$x}))+\text {Global$\grave { }$y}(\text {Global$\grave { }$x})^2 \cos (\text {Global$\grave { }$x})=0 \] ✓ Mathematica : cpu = 0.0626378 (sec), leaf count = 21
\[\text {Solve}\left [\text {Global$\grave { }$x}^2 \sin (\text {Global$\grave { }$y}(\text {Global$\grave { }$x}))+\text {Global$\grave { }$y}(\text {Global$\grave { }$x})^2 \sin (\text {Global$\grave { }$x})=c_1,\text {Global$\grave { }$y}(\text {Global$\grave { }$x})\right ]\]
✓ Maple : cpu = 0.122 (sec), leaf count = 19
\[ \left \{ \left ( y \left ( x \right ) \right ) ^{2}\sin \left ( x \right ) +{x}^{2}\sin \left ( y \left ( x \right ) \right ) +{\it \_C1}=0 \right \} \]