for p=12 \prod_{i=2}^{p-1}{sin(\pi*p/i)