cot(x+y)=-tan(x+12π+y),