differentiator: util-tree, main: simplify/optimize only once when taking higher-order derivatives.