[ x[1] = x[2] + x[3], 1*k[2]*x[2] + 1*k[2]*x[3] + 1*k[2]*x[4] + 1*k[3]*x[5] + 1*k[4]*x[6] = k[2]*k[9] + k[3]*k[10] + k[4]*k[11] ]