The <i>result</i> of the symbolic derivation grows faster than linearly, as you can see from the Product rule for example.<p>As a result, while the evaluation is linear with input tree size, the tree it is evaluating is typically much larger than the input expression.