\prod_{i=1}^{17}\cos(i\pi/17)=-\frac 1{65536}