AIUI, it's just a linear penalty because, at worst, you have to run each computation backwards to "uncompute it".
That's under the (necessary) assumption that you don't even try to avoid erasure operations that need for their own sake rather than as an intermediate step.
That's under the (necessary) assumption that you don't even try to avoid erasure operations that need for their own sake rather than as an intermediate step.