\begin{center}\begin{minipage}{15cm}\begin{Verbatim}[frame=single]
> evaluate(exp(x),[-infty;0]);
[0;1]
> dirtyinfnorm(exp(x),[-infty;0]);
Warning: a bound of the interval is infinite or NaN.
This command cannot handle such intervals.
NaN
> 
> f = log(x);
> [f(0); f(1)];
Warning: inclusion property is satisfied but the diameter may be greater than th
e least possible.
Warning: at least one of the given expressions is not a constant but requires ev
aluation.
Evaluation is guaranteed to ensure the inclusion property. The approximate resul
t is at least 165 bit accurate.
[-infty;0]
> 
\end{Verbatim}
\end{minipage}\end{center}
