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