Since the rank of a production is always smaller than its length, this is reduced to O(|p|ϕ(p)).
the size of the normal-form transformation of an LCFRS G of fan-out ϕ is O(ϕ|G|) in the worst case, and linear space in practice, since the fan-out is typically bounded by a small integer.