Simplify x y zx