A simplify(expr, 'symbolic') formálisan egyszerûsíti a megadott kifejezést, azaz nem ellenõrzi, hogy érvényes-e az egyszerûsítés a kifejezés minden lehetséges értékére. Pl. az sqrt(x^2) kifejezést akkor szabad formálisan x-é egyszerûsíteni, ha x valós, nemnegativ szám, emiatt a sima simplify nem fogja azt x-é alakítani.
simplify(sqrt(x^2));# az eredmény x elõjelétõl függ.
# A simplify a symbolic opcióval elvégzi az formális egyszerûsítést:
simplify(sqrt(x^2),'symbolic');
A simplify(expr, size) egyszerûsítõ parancs megpróbálja, olyan módon átalakítani a kifejezést, hogy az minél kisebb méretû, rövidebb legyen: