cos(2π/17)