When to Time your Tree Pruning