How do you verify #(1-cos^2x)(1+(1/tan^2x)) = 1#?