O(dL* log L*)
Only outputting the final estimate as an explicit map causes computational costs of
O(n)