How do you use the sum and difference formula to simplify #cot(-(5pi)/12)#?