Il y a en fait (du plus rapide au plus lent):
ratnormal normal simplify expand
effectivement, developper/expand ne fait que distribuer, personnellement je ne l'utilise pas pour des polynomes c'est souvent 10 fois plus lent.
ratnormal se limite aux simplifications rationnelles, elle restera rapide.
normal va en plus tenter des simplifications algebriques et reste souvent aussi rapide.
simplify est la plus sophistiquee, mais peut s'emballer dans des calculs interminables, c'est donc delicat de l'imposer systematiquement.
si pour des polynomes le resultat est souvent le meme, comparez ces 4 fonctions par exemple avec: