The EM iteration alternates between performing an expectation ( E ) step , which creates a function for the expectation of the log -likelihood evaluated using the current estimate for the parameters , and a maximization ( M ) step , which computes parameters maximizing the expected log - likelihood found on the E step .