Interesting. I would have thought that a reversible computation would produce a new algorithm with the domain and range swapped. Naming truly is the final boss of computation. But now I see it's one-step backtracking in a way that allows saving energy, supposedly. Very much still reversible, but definitely nothing remotely comparable to time travel. "uncomputation" was the much, much better name.
Edit: i see now. Well, this is much less exciting than I thought. Still, I'm excited for all the other people excited.
2 + 2 + 2
<=> reversable
2 + 2 + 2, 2 + 4
<=> reversable
2 + 2 + 2, 2 + 4, 6
=> irreversible
6