Um editor de texto para cálculo literal

Os computadores facilitaram muito o cálculo numérico. No entanto, sinto dificuldade em encontrar um programa que lide com cálculo literal.
Suponha que você tenha a seguinte função:

f(x)=ax⁵+bx⁴+cx³+dx²+ex+f

Note que escrever os expoentes como caracteres sobrescritos já é um problema não facilmente solucionável pelos editores de texto moderno.

Suponha agora que você queira calcular a função h(x), tal que h(x)=f(x-1).x

Isso significa que será necessário desenvolver o seguinte polinômio:

h(x)= [a(x-1)⁵+b(x-1)⁴+c(x-1)³+d(x-1)²+e(x-1)+f].x

Como seria bom se, com um clique do "mouse", um editor de textos desenvolvesse cada uma das potências do binômio (x-1), gerando automaticamente o seguinte resultado:

h(x)=[a(x⁵-5x⁴+10x³-10x²+5x-1)+b(x⁴-4x³+6x²-4x+1)+c(x³-3x²+3x-1)+d(x²-2x+1)+e(x-1)+f].x

E como seria bom se, em seguida, o programa eliminasse os parênteses dentro dos colchetes, dando origem a:

h(x)=[ax⁵-5ax⁴+10ax³-10ax²+5ax-a+bx⁴-4bx³+6bx²-4bx+b+cx³-3cx²+3cx-c+dx²-2dx+d+ex-e+f].x

Imagine agora se o programa somasse os termos semelhantes em x^5, x^4, x^3, x^2, x dentro dos colchetes:

h(x)=[ax⁵+(-5a+b)x⁴+(10a-4b+c)x³+(-10a+6b-3c+d)x²+(5a-4b+3c-2d+e)x+(-a+b-c+d-e+f)].x

Imagine que, por fim, ele eliminasse também os colchetes, dando o resultado final:

h(x)=ax⁶+(-5a+b)x⁵+(10a-4b+c)x⁴+(-10a+6b-3c+d)x³+(5a-4b+3c-2d+e)x²+(-a+b-c+d-e+f)x

Obviamente, as tarefas supracitadas não estão acima da capacidade dos computadores nem da dos programadores. E são tarefas utilíssimas, que poupariam enorme trabalho braçal e evitariam numerosos erros tantas vezes cometidos por pura distração.

Custo a crer que ninguém tenha sentido a necessidade de um editor para cálculo literal. E ainda reluto em crer que ninguém tenha ousado fazer um programa semelhante.