The Story of MagicMath Solver