Optimizing Reversible Simulation of Injective Functions