\[ (\sin (\text {Global$\grave { }$x})+1) \text {Global$\grave { }$y}'(\text {Global$\grave { }$x}) \sin (\text {Global$\grave { }$y}(\text {Global$\grave { }$x}))+\cos (\text {Global$\grave { }$x}) (\cos (\text {Global$\grave { }$y}(\text {Global$\grave { }$x}))-1)=0 \] ✓ Mathematica : cpu = 0.120819 (sec), leaf count = 32
\[\left \{\{\text {Global$\grave { }$y}(\text {Global$\grave { }$x})\to 0\},\left \{\text {Global$\grave { }$y}(\text {Global$\grave { }$x})\to 2 \sin ^{-1}\left (\frac {1}{4} c_1 \left (\sin \left (\frac {\text {Global$\grave { }$x}}{2}\right )+\cos \left (\frac {\text {Global$\grave { }$x}}{2}\right )\right )\right )\right \}\right \}\]
✓ Maple : cpu = 0.148 (sec), leaf count = 16
\[ \left \{ y \left ( x \right ) =\pi -\arccos \left ( \sin \left ( x \right ) {\it \_C1}+{\it \_C1}-1 \right ) \right \} \]