[ Eq(x9, k1 - x3),
  Eq(x10, 9/10 + Piecewise((441/10*t/(48 + t + 9/20*t**2), Ge(t, 0)), (0, True))) ]