по формулам косинуса разности и синуса разности.
В Maple команда expand