I have some very large Trig expressions that I want to analyze. On one of these TrigFactor listed
-2 Sin[\[Beta]/2 - \[Gamma]/2] Sin[\[Beta]/2 + \[Gamma]/2]
then I did
In[56]:= Simplify[-2 Sin[\[Beta]/2 - \[Gamma]/2] Sin[\[Beta]/
2 + \[Gamma]/2]]
Out[56]= Cos[\[Beta]] - Cos[\[Gamma]]
Great. The final term is much more useful. I'm puzzled how Mathematica derived the first version of the factor. Did it find the latter result and then convert it to the first? There is nothing in the original expression that would call for half-angles. I would like to see derivation chain of this and other Trig manipulations.