On success, extract the resulting algorithm.