[math-fun] AGM for Gamma(n/12)