[math-fun] error analysis with : a search for a mathematical expression using a large database