How do you verify #(1+cos2x)/(sin2x) = cotx#?