How do you simplify #cot(x+y)# to trigonometric functions of x and y?