"derivasjonsprosedyre" er et 20-bokstavers substantiv som brukes som synonym for "derivasjonsformel". derivasjonsformel betyr: En prosedyre for å finne den deriverte.