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