Subtract and simplify.

Domain all x, and all y,