Какая функция в Maple осуществляет переход к новой переменной в выражении?
Есть ещё algsubs. Мне показался эффективнее. Я делал даже так: a*b = sin(alpha)*r/m. Т.е. подстановка вместо сложного выражения, сложного же. Перед этим разворачивал (expand) выражение.