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