[math-fun] cos(π/7)^(9/7) ?