In Maxima kannst du genauso schrittweise vereinfachen, wie es
intelligente Wesen (gehört Jan dazu?) ohne Maxima tun würden:
1) Im Zähler y ausklammern lassen
2) Im Nenner x ausklammern lassen
3) (xy+1)/(xy+1) kürzen lassen
Da es unendlich viele Wege gibt, vom Ausgangsterm zum Endergebnis zu
kommen, und Maxima nicht so vorgeht, wie man es gewohnt ist, geht das
nicht automatisch.
Maxima betrachtet eine sehr große Menge von Termen, die äquivalent zum
Ausgangsterm sind und bewertet deren Einfachheit anhand ausgeklügelter
(nicht immer sinnvoller) Algorithmen. Das heißt, wenn deine Schritte
lauten T1->T2->T3->T4, kann Maxima jeden der Terme T2, T3, T4 in einem
einzigen Schritt erhalten, so daß keine individuellen Schritte definiert
sind.
Markus