sin(2pi/17)