How do you find cos( cot^{-1} sqrt{3} )cos(cot13) without a calculator?