First-Principles Differentiation