x, y, z = symbols('x, y, z', real=True)
nonlinsolve([x * y - 1, 4 * x ** 2 + y ** 2 - 5], [x, y])
Since the example in the documentation is broken, how do I solve a non-linear system of equations numerically in SymPy?