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