Don't call "over-optimize" when tools are clever

chapters/functions.tex

@@ -1186,7 +1186,7 @@ \subsection{Using the Derivative Annotation}\label{using-the-derivative-annotati
 \begin{nonnormative}
 A straightforward way of explaining a valid derivative is given by this model.
 The function value, \lstinline!x1!, should up to numerical precision match the integral of the derivative, \lstinline!x2!.
-Note that in practice tools may over-optimize this.
+Note that tools are not required to use the provided derivative, and might solve the equations completely without numeric integration.
 \begin{lstlisting}[language=modelica]
   function f
     input Real x;