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