product (1-2*i*cos(pi*(k-1/2)/17)), k=1..17