derivative of x times derivative of x