Multiphase averaging and the inverse spectral solution of the Korteweg—de Vries equation | Synapse