[ Eq(x5, x1 + x2 + x3) ]