How do you find the exact value of cot(arctan(35))?