sin(pi/17)