sin(pi/8)