rederivation (derivation + re-; repetition_again)
A second or subsequent derivation