Availability:Arithmetic function (see is/2)
erf(+Expr)Wikipedia:
``In mathematics, the error function (also called the Gauss error
function) is a special function (non-elementary) of sigmoid shape which
occurs in probability, statistics and partial differential equations.''