simplify cot(x+π)

cot (x+π) = (1 - tanx*tanπ)/(tanx+tanπ)

= 1/tanx = cotx

readily verifiable, since tanx and cotx have a period of π.