Evaluate cos(arctan( square root of 3))