sin(pi/4)