[ Eq(x5, x1 + x3) ]