Функция trigsimp упрощает тригонометрические выражения, применяя тригонометрические тождества.
trigsimp