Abstract. The derivation on the differential-valued field T log of logarithmic transseries induces on its value group Γ log a certain map ψ. The structure Γ = (Γ log , ψ) is a divisible asymptotic couple. In [Geh14] we began a study of the first-order theory of (Γ log , ψ) where, among other things, we proved that the theory T log = Th(Γ log , ψ) has a universal axiomatization, is model complete and admits elimination of quantifiers (QE) in a natural first-order language. In that paper we posed the question whether T log has NIP (i.e., the Non-Independence Property). In this paper, we answer that question in the affirmative: T log does have NIP. Our method of proof relies on a complete survey of the 1-types of T log , which, in the presence of QE, is equivalent to a characterization of all simple extensions Γ α of Γ. We also show that T log does not have the Steinitz exchange property and we weigh in on the relationship between models of T log and the so-called precontraction groups of [Kuh94].