[ Eq(x22, (x12 - x23)/2),
  Eq(x23, (x25 - (x12**2*(1 - 4*k14) + 2*x25*x12*(4*k14 - 1) + x25**2)**(1/2))/(1 - 4*k14)),
  Eq(x24, x25 - x22 - x23),
  Eq(1*k17*x13 + 1*k17*x14, k17*k95) ]