"derivasjonsprosedyrer" er et 21-bokstavers substantiv som brukes som synonym for "derivasjonsformlene". derivasjonsformlene betyr: Prosedyrer for å finne deriverte