If the formula generates an integer sequence, then searching that sequence on OEIS should give a lot of good information.