[ x[4] = k[11] - x[5],
  x[5] = 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[11] ]