cos(pi/7)=1/6+\sqrt(7)/6((cos(1/3arcos(1/(2\sqrt(7))))+\sqrt7/6*\sqrt3sin(1/3arcos(1/(2\sqrt(7)))