[ Eq(Derivative(x1, t), (1*k2 + (-1)*k3*k2*x1 + (-1)*k2*x1/(k1*x1 + k4))/k5) ]