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