How do you find the exact value of cot (arctan (5/8))?