Let f x y z x yz