This way "however" modifies "heavy", while "hard" means "the energy used" (which is stone, in this context.) "however much" is adjectival
The workers could not move the heavy stone however hard they tried
