DaemonicSigil comments on Explaining grokking through circuit efficiency