How do you verify 1+cos2xsin2x=cotx?