x
(x+(y+z))
(x+(yz))
(x+y(x+t))
x+y+xt