The expression is .
(Apply sum of angles formula )
(Apply difference of angles formula )
(Apply formula: )
(The values of )
(Apply sum of angles formula )
(The values of )
(Simplify)
(Add)
(Simplify)
is an identity.