f1 = x1+x2

f2 = x3*x4*x5+x2*x4

f3 = x4*x6+x3

f4 = x4+x8

f5 = x3*x5

f6 = x6

f7 = x1+x2*x7+x5*x8

f8 = x1+x8

