Harvey-Hoeven algorithm