f1 = x1+x2

f2 = x3*x5+x2

f3 = x4*x6+x3

f4 = x4+x8

f5 = x3*x5

f6 = x6

f7 = x7

f8 = x1+x8

