Angenommen, ich habe einen Ausdruck wie (tatsächlich ist meiner viel komplexer, Tausende von Zeichen)

expr:a+b*c+b*c*d;

und ich möchte einen internen Unterausdruck durch ein Symbol ersetzen (nützlich, um die Neuberechnung gebräuchlicher Unterausdrücke zu vermeiden), sagen wirk anstelle vonb*c:

subst(b*c=k,expr);

kehrt zurück

k+b*c*d+a

Wie ich Maxima veranlassen kann, die "richtige" Substitution zu berechnen, um zurückzukehren (abgesehen von der offensichtlichen Vereinfachung hier)

k+k*d+a

?