The Efficiency of a Homology Algorithm based on Discrete Morse Theory and Coreductions