[ Eq(x4, 2*k5*x1*k8/(k7 - k5*x1 + k6*k7 + k8*k5*x1 + ((k7 - k5*x1 + k6*k7 + k8*k5*x1)**2 - 4*(k7 - k5*x1)*k5*x1*k8)**(1/2))*k9),
  Eq(x5, k9 - x4) ]