How do you calculate tan(cot^-1 (9))?