You can pretty concretely and easily check that the AD primatives are correct by comparing them to numerical differentiation.