How Are Math Formulas Discovered