How do you verify the identity #lnabs(cotx)+lnabs(tanxcosx)=lnabs(cosx)#?