"derivasjonsformelverk" er et 21-bokstavers substantiv som brukes som synonym for "derivasjonsformlene". derivasjonsformlene betyr: Samling av derivasjonsformler