cos(pi/7)