Heuristically Matching Solution Spaces of Arithmetic Formulas to Efficiently Reuse Solutions