Is this an algorithm to remove removable singularities, or just a heuristic solution?  I think it will work only for rational `expr`.  Otherwise, the only way, probably, is the hard way - calculate limits.