[ Eq(x8, x1/100000000),
  Eq(x9, x2/10000000),
  Eq(x10, x3/100) ]