\frac{\pi}{17}=cos{x}