How do you find cos(cot13) without a calculator?