[ Eq(1*k2*x1 + 1*k3*x2 + 1*k4*x4, k2*k21 + k3*k22 + k4*k23) ]