Применяет к любому тригонометрическому выражению основное тригонометрическое тождество

Нет. Функция применяет подходящие тождества для упрощения, а не обязательно основное тригонометрическое тождество к любому выражению.