[ Eq(x1, k5 + k6*x2**2/(x2**2 + k7**2)) ]