How do you verify secx-tanx=(1-sinx)/cosx?