sin(pi/7)