derivation of x