How do you verify the identity #cosx(tan^2x+1)=secx#?