Cumulative distribution functions for a sinusoid plus Gaussian noise (Corresp.)