Subtract and simplify.

Domain all a, not and 1, and all b, not