[math-fun] Reversible computation