1 + x y a + x y 1 + a + a