\[ (\sin (x)+1) y'(x) \sin (y(x))+\cos (x) (\cos (y(x))-1)=0 \] ✓ Mathematica : cpu = 0.291876 (sec), leaf count = 32
\[\left \{\{y(x)\to 0\},\left \{y(x)\to 2 \sin ^{-1}\left (\frac {1}{4} c_1 \left (\sin \left (\frac {x}{2}\right )+\cos \left (\frac {x}{2}\right )\right )\right )\right \}\right \}\] ✓ Maple : cpu = 0.135 (sec), leaf count = 12
\[ \left \{ y \left ( x \right ) =\arccos \left ( \sin \left ( x \right ) {\it \_C1}+{\it \_C1}+1 \right ) \right \} \]