abs(x^2-y^2-k)+2*x*y=x+y solve for x