How do you evaluate tan(pi/6)?