формула - Редактор формул

При выводе громоздких формул на бумаге или в простых редакторах вроде Libre Math часто вкрадываются всякие дурацкие ошибки, такие как забытый минус, неправильная замена переменных, неверно переписанное выражение. В итоге после нескольких часов работы становится понятно, что результат вычислений неверный, и порой начать вычисления с самого начала, чем понять, где именно была допущена ошибка.
Возможно, кто-то из опытных математиков сможет подсказать редактор формул, позволяющий избежать подобных ошибок? То есть, программа, в которой можно не просто ввести формулу, но и делать с ней простейшие равносильные преобразования: вынесение/внесение за скобки, замена переменных, сокращение подобных и подобное.