[ Eq(Derivative(x2, t), 0) ]