xy/2 = x + y + (x^2+y^2)^(1/2)