(-xy) - (x6^2+2xy-3)