FermiâWalker differentiation