x1 : x6
x2 : x1
x3 : x1
x4 : x2 + x3
x5 : x3
x6 : (~x4)(~x5)
