TelmanStudПрименить теорему Ли-Вессио-Гульдберга (ЛВГ), например.
Типа, отдаю на размышление ;)
Симметрий

, к сожалению, не нашлось (точнее, сводятся к точечным), симметрии

есть, ест-но, но как-то с ходу не подбираются..
А вот если снизить порядок

:

,

,
а потом сделать замену (независимой) переменной

,
получаем систему

,

- (почти) годную с т.з. ЛВГ, правая часть составлена из полей

;
последнее поле с множителем

, оно чтобы пополнить набор полей до алгебры.
Проблема в том, что из-за сделанной замены независимой переменной множитель при поле

не конкретная функция независимой переменной, как положено по ЛВГ, а неведома зверушка. Идея, что ЛВГ можно проапгрейдить, чтобы и такие случаи включались, чисто навскидку кажется, что это возможно.