xy=(1/2){x^2+y^2-(x-y)^2}