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