differentiation first principles