n calls like (sqrt, exp, ln ...) is done here : given a function name, a list of argument, and a result, it remove points that cannot satisfy the relation : f(arg1,..,argn) = r; it returns a possibly bottom result</p></dd></dl></div></body></html>