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