How do you evaluate cos(tan^-1(sqrt3/3 + sin^-1 (1/2)))?