I tried it using the identity that you chose, but it became
more and more complicated, so I tried the "product to sum"
formula above, and, as you see, it was fairly straight forward.  
I could also have used the "sum to product" formula working 
with the right side.  The formulas you need for such problems are:
Sum or difference to product:


 


 


 


 Product to sum or difference
Product to sum or difference


 


 


 All those are easily proved using formulas for sin(AħB) and cos(AħB)
Edwin
 
All those are easily proved using formulas for sin(AħB) and cos(AħB)
Edwin
(AKA AnlytcPhil)