\left\{ \begin{array}{l} x^3 + 3x^2 + 6x + 4 = y^3 + 3y // x^3(3y-7) = (1 - sqrt{1 + x^2}\end{array} \right.