sin(3pi/8)