uniqueness

[bo198214]

here are the equations that make half-iterate of exp(x) unique :

(under condition f(x) maps reals to reals and f(x) > x )

exp(x)

= f(f(x))

= D f(f(x)) = f ' (f(x)) * f ' (x)

= D^2 f(f(x)) = f '' (f(x)) * f ' (x)^2 + f ' (f(x)) * f '' (x)

= D^3 f(f(x)) = D^4 f(f(x))

Arent these equations valid for every half iterate of exp?