- expr are constant expressions.
- l is a list of constant expressions.

- min determines which of a given set of constant expressions expr has minimum value. To do so, min tries to increase the precision used for evaluation until it can decide the ordering or some maximum precision is reached. In the latter case, a warning is printed indicating that there might actually be another expression that has a lesser value.
- Even though min determines the minimum expression by evaluation, it returns the expression that is minimum as is, i.e. as an expression tree that might be evaluated to any accuracy afterwards.
- min can be given either an arbitrary number of constant expressions in argument or a list of constant expressions. The list however must not be end-elliptic.
- Users should be aware that the behavior of min follows the IEEE 754-2008 standard with respect to NaNs. In particular, min evaluates to NaN if and only if all arguments of min are NaNs. This means that NaNs may disappear during computations.

-1.3862943611198906188344642429163531361510002687205

> min(17);

17

> min(l);

-1.3862943611198906188344642429163531361510002687205

sin(62)

> print(min(17 + log2(13)/log2(9),17 + log(13)/log(9)));

Warning: the tool is unable to decide a minimum computation by evaluation even though faithful evaluation of the terms has been possible. The terms will be considered to be equal.

17 + log(13) / log(9)