Formule derivation