product k=0 to 7-1 of sin((2k+1)pi/(2*7))