https://findoptimal.com/en/double-tree/