\begin{center}\begin{minipage}{15cm}\begin{Verbatim}[frame=single]
> f = exp(x) + 5;
> f(-infty);
5
> evaluate(f,[-infty;infty]);
[5;infty]
> f(infty);
infty
> [-infty;5] * [3;4];
[-infty;20]
> -infty < 5;
true
> log(0);
-infty
> [log(0);17];
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;17]
> 
\end{Verbatim}
\end{minipage}\end{center}
