How do you evaluate tan^-1(tan(sqrt3/3))?