[math-fun] record computation of Pi ,