Formel = Term,
Operation (Differenzieren, Vereinfachen) = Termumformung, gegeben durch Regelsystem.
Regel ist Paar von Termen mit Variablen: (f (x), g(x, x)),
Regelanwendung: wenn linke Seite paßt, dann ersetze durch entsprechende rechte Seite.
Beispiel:
D(sin(x), x)cos(x).
eigentlich:
D(x, x)1,
D(sin(t), x)
cos(t)*D(t, x).