[math-fun] Adam's pi machine