[ x[3] = k[9] - x[4],
  x[4] = k[9]*2*k[5]*k[8]/(k[7]*x[1] - k[5] + k[6]*k[7]*x[1] + k[8]*k[5] + ((k[7]*x[1] - k[5] + k[6]*k[7]*x[1] + k[8]*k[5])^2 - 4*(k[7]*x[1] - k[5])*k[5]*k[8])^(1/2)) ]