sin(4pi/3)