y_1 = x_1, ..., y_n = x_n, y_{n + 1} = \dot{x_1}, ..., y_{2n} = \dot{x_n}