Solve x*dy/dxlnxsiny+cosy(1-xcosy)=0

$$x \cdot \frac { d y } { d x } \ln x \sin y + \cos y ( 1 - x \cos y ) = 0$$

Solve for x

$$x=\left(-\frac{1}{2}\right)\left(\pi +\left(-2\right)\pi n_{1}+\left(-2\right)y\right)\left(yCosI(y)\right)^{-1}\text{, }n_{1}\in \mathrm{Z}\text{, }\left(\left(\left(\left(\left(\left(\left(y>\left(-\frac{1}{2}\right)\pi \text{ and }y<0\right)\text{ and }not(n_{1}>0)\right)\text{ or }\left(\left(y>0\text{ and }y<\frac{1}{2}\pi \right)\text{ and }not(n_{1}<1)\right)\right)\text{ or }\left(\left(\left(not(n_{1}=\frac{1}{2}+\left(-1\right)\pi ^{-1}y)\text{ and }\exists n_{25}\in \mathrm{Z}\text{ : }\left(y>\frac{1}{2}\pi +2\pi n_{25}\text{ and }y<2n_{25}\pi +\frac{3}{2}\pi \right)\text{, }not(n_{25}>-1)\right)\text{ and }\nexists n_{2}\in \mathrm{Z}\text{ : }y=\frac{1}{2}\pi +\pi n_{2}\right)\text{ and }not(y=0)\right)\right)\text{ or }\left(\left(\left(not(n_{1}=\frac{1}{2}+\left(-1\right)\pi ^{-1}y)\text{ and }\exists n_{30}\in \mathrm{Z}\text{ : }\left(y>\frac{3}{2}\pi +2n_{30}\pi \text{ and }y<\frac{5}{2}\pi +2n_{30}\pi \right)\text{, }not(n_{30}<0)\right)\text{ and }\nexists n_{2}\in \mathrm{Z}\text{ : }y=\frac{1}{2}\pi +\pi n_{2}\right)\text{ and }not(y=0)\right)\right)\text{ and }\left(\nexists n_{2}\in \mathrm{Z}\text{ : }y=\frac{1}{2}\pi +\pi n_{2}\text{ and }not(y=0)\right)\right)\text{ and }\left(\nexists n_{2}\in \mathrm{Z}\text{ : }y=\frac{1}{2}\pi +\pi n_{2}\text{ and }not(y=0)\right)\right)\text{ and }\left(\left(-\frac{1}{2}\right)\left(\pi +\left(-2\right)\pi n_{1}+\left(-2\right)y\right)\left(yCosI(y)\right)^{-1}>0\text{ and }\left(not(y=0)\text{ and }\nexists n_{2}\in \mathrm{Z}\text{ : }y=\frac{1}{2}\pi +\pi n_{2}\right)\right)$$

$$x>0$$