How do you differentiate #tan(2pix+pi/2)#?