Before revision: There are now several comprehensive web applications, stand-alone computer programs and computer algebra functions that, given a floating point number such as 6.518670730718491, can return concise nonfloat constants such as \, 3   +   + 1 \, that closely approximate the float.
After revision: There are now several comprehensive web applications, stand-alone computer programs and computer algebra functions that, given a floating point number such as 6.518670730718491, can return concise nonfloat constants such as \, 3  +  ln 9 + 1 \, that closely approximate the float.