sin(pi/3)