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