sqrt(2+sqrt(2+sqrt(2-2cos(pi/9))))=2cos(pi/9)