Simplify x xy y