Formulas for the_silver_searcher and its dependencies

[#64259146]