[ 1*k[10]*x[2] + 1*k[11]*x[3] + 1*k[12]*x[4] + 1*k[12]*x[5] + 1*k[10]*x[6] = k[10]*k[13] + k[11]*k[14] + k[12]*k[15] ]