RIES
An inverse symbolic calculator that finds simple closed-form equations satisfied by a given number.
RIES takes a number and searches for simple closed-form equations that the number approximately satisfies — an “inverse symbolic calculator.” It was originally written as a command-line program by Robert Munafo; this page provides a web interface by Thomas Ahle.