Differentiation From First Principles Ax N