Поле рациональных дробей
Общие множители в числителе и знаменателе рациональной дроби не сокращаются автоматически. Чтобы их сократить, прибегают к функции Cancel:

Можно раскрывать скобки только в числителе или только в знаменателе рациональной дроби. Для этого предназначены функции ExpandNumerator и Expand Denominator. Получить числитель и знаменатель рациональной дроби можно с помощью функций Numerator и Denominator, т.е. тех же самых функций, что используются для получения числителя и знаменателя рационального числа.
Для упрощения различных выражений, в том числе и рациональных, полезно применять функцию simplify, которая выполняет алгебраические преобразования над выражением и приводит его к простейшей (с точки зрения системы Mathematica) форме. Данную функцию удобно применять в постфиксной входной форме, т.е. приписывая ее имя после // в конце входного выражения:

Функцию Simplify можно применять также для упрощения выражений при определенных условиях. Вот пример.
Simplify[a^3+b^3+c^3-3*a*b*c,a+b+c==0] 0