[ Eq(x1, Piecewise((200, Or(Lt(t, 2), Ge(t, 8))), (Piecewise((300, And(Ge(t, 2), Lt(t, 5))), (Piecewise((100, And(Ge(t, 5), Lt(t, 8))), (200, True)), True)), True))) ]