[ x[9] = k[1] - x[3], x[10] = 9/10 + piecewise(t >= 0, 441/10*t/(48 + t + 9/20*t^2), 0) ]