sin(3pi/4)