For example, it would be nice to get - `f''(f, f)` - `\sum_{i} b_i c_i^2` from `t = rootedtree([1, 2, 2])`.