{ x9 = k1 - x3,
  x10 = 9/10 + piecewise(441/10*t/(48 + t + 9/20*t^2), t >= 0, 0) }