[ Eq(1*k2*x1 + 1*k2*x2 + 1*k3*x3 + 1*k4*x4, k2*k8 + k3*k9 + k4*k10) ]