X : (X+Y3)(~Z)
Y1 : X
Y2 : Y1
Y3 : Y2
Z : X
