Резервное копирование веб-сайтов на PHP?

Я хотел бы знать, существует ли простой алгоритм преобразования простых символьных алгебраических выражений. В идеале я хотел бы иметь возможность переписать любое такое выражение с одной переменной с левой стороны. Например, учитывая ввод:

m = (x + y) / 2

... Я хотел бы иметь возможность спросить о x в терминах м и y , или y в терминах x и m , и получаем следующее:

x = 2*m - y
y = 2*m - x

Конечно, мы все годами делали этот алгоритм на бумаге. Но мне было интересно, есть ли для этого название. Это кажется достаточно простым, но если бы кто-то уже каталогизировал различные "подводные камни", это облегчило бы жизнь.

Для моих целей мне не понадобится это для работы с квадратиками.

(И да, системы CAS делают это, и да, я знаю, что могу использовать их как библиотеку. Я бы хотел избежать такой зависимости в моем приложении. Я действительно хотел бы знать, существуют ли именованные алгоритмы для решения этой проблемы.)