Evaluated derivative