G1: Differentiation from First Principles