How do you calculate tan(cot1(9))?