Description:

• sqrt is the square root, e.g. the inverse of the function square: sqrt(y) is the unique positive x such that x^2=y.
• It is defined only for x in [0; +Inf].