Include derivative.h