inverse derivation