Simplificando-se a expressão cot g xcos sec x​ , obtém-se: