RIES — Robert Munafo's Inverse Equation Solver

Give RIES a number such as 2.506628 and it searches for simple equations that might explain it, including √(2π). It still feels slightly impossible.

The documentation is worth keeping with the program: it explains inverse equation solving, expression enumeration, and computational number theory through examples. I liked it enough to rewrite it in Rust.