Applying Reversibility Theory for the Performance Evaluation of Reversible Computations