[math-fun] a search for a mathematical expression using a large database