[math-fun] quintic AGM