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