How do you verify the identity tanx+cotx=2csc2x?