Text this: Approximate Bisimulation and Optimization of Software Programs Based on Symbolic-Numeric Computation