verify the identity
cot(0 - pi/2)= -ta 0
the 0 has - in them
cot(0 - pi/2)= -ta 0
the 0 has - in them