cos(4pi/17)-4pi/17