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