Leading logs in QCD axion effective field theory