cos(pi/7)+cos(3*pi/7)+cos(5*pi/7)