Expand Using Sum/Difference Formulas cot(-(5pi)/12)