Представляет все произведения тригонометрических функций в тригонометрической форме

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