max(x^2 - 3 * y^2, y^2 - 3 * x^2