Evaluate cot(tan^-1(a) + cot^-1(a))