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