I have the following system of equations:
\begin{cases} \frac{\cos (x)}{1+y^2}=0 \\ \frac{-2y\cdot \sin(x)}{(1+y^2)^2}=0 \end{cases}
The first equation has the solution $x=k\pi-\pi/2$ for an integer $k$ and any real $y$. The second one has the solutions $x=k\pi$ for any real $y$ OR $y=0$ for any real $x$. My question is: how does one find the solution(s) of the system of equation?