Насчет приведения к каноническому виду ничего не скажу. Обычно к каноническому виду приводят уравнения с частными производными.
А здесь надо из первого уравнения выразить y: y = -1/2 * x'.
А потом подставить во второе уравнение. Получим:
(-1/2 * x')' = -2x - 1/2 * x'