This paper presents a polynomial lime algorithm for determining whether a given univariate rational function over an arbitrary field is the composition of two rational functions over that Held, and finds them if so.