Evaluate tan(pi/6)