1: $.

2: \Until convergence

3: \State return trace function estimate, $