[ x[22] = (x[12] - x[23])/2,
  x[23] = (x[25] - (x[12]^2*(1 - 4*k[14]) + 2*x[25]*x[12]*(4*k[14] - 1) + x[25]^2)^(1/2))/(1 - 4*k[14]),
  x[24] = x[25] - x[22] - x[23],
  1*k[17]*x[13] + 1*k[17]*x[14] = k[17]*k[95] ]