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