sin(pi/45)