[math-fun] clean 16-th order AGM iteration