From f6571ed69eb3fb9c62d58e884d65d39802cb0bf6 Mon Sep 17 00:00:00 2001 From: Henrik Tidefelt Date: Fri, 30 Apr 2021 01:05:25 +0200 Subject: [PATCH] Add section on trade-off in choice of inlining annotation --- chapters/functions.tex | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/chapters/functions.tex b/chapters/functions.tex index 121ba2a7c..6e812e4ce 100644 --- a/chapters/functions.tex +++ b/chapters/functions.tex @@ -1685,6 +1685,10 @@ \section{Function Inlining and Event Generation}\label{function-inlining-and-eve \end{tabular} \end{center} +Inlining a function makes the statements of the function body accessible to symbolic operations, potentially leading to expression simplifications and more efficient solution of equations. +At the same time, another important consequence of inlining a function is that any annotations for derivatives or inverses are lost. +Hence, one needs to find the right balance between inlining too early (loss of provided derivatives and inverses) and too late (earlier stages of symbolic processing cannot benefit from symbolic simplifications). + \begin{annotationdefinition}[Inline] \begin{synopsis}[grammar]\begin{lstlisting} "Inline" "=" ( false | true )