sin(13pi/6)