Simplification by doing the xor to integers, not bits