"Formulas", of course, is also a perfectly acceptable plural form of formula". Ask Merriam-Webster. Or Webster 1913, for that matter. "Vertexes" is also an acceptable plural form of vertex.