tan(pi/3)