[math-fun] distribution of formula entities on OEIS