The Story of Smart Math Solver