In Maple there is a useful command identify that tries to find a closed form expression based on its numeric approximation. As far as I know there is no built-in exact counterpart of this command in Mathematica, although RootApproximant and FindIntegerNullVector are helpful sometimes (while the first can only recognize algebraic numbers, and the latter requires a user to provide a set of candidate expressions to recognize a rational linear combination thereof).
I wonder if anybody has created (and willing to share) a user-defined function whose functionality is closer to (or exceeds) Maple's identify command and can recognize wider range of expressions.
