How do you evaluate #cos(arctan sqrt 3 + arc cot sqrt3) #?