Finite number of zeros? Is it true that any nonzero function $f: \mathbb R \to \mathbb R$ which is either:
1) constant, or
2) a polynomial, or
3) $\exp$, or
4) $\log$, or
5) any finite combination of the above using addition, subtraction, multiplication, division and composition, (and individually considered as functions from $\mathbb R$ to $\mathbb R$),
Has a finite number of zeros?

Another attempt. 
I'm actually interested in asymptotic behavior of functions, so a function f(x), as far as I'm concerned, is any expression constructed using the syntax below, such that starting from some point c>0, f(x) is defined for all x>c and takes real values everywhere in this range.
A function has the following syntax:

F --> real number
F --> exp
F --> ln
F --> -F
F --> F + F
F --> F(F)

Hope this specifies exactly what I mean and excludes everything I DON'T.
Any help is appreciated.
 A: All the functions under consideration are definable in $\mathbb{R}_{\exp}$, which is o-minimal. Thus their zero sets are finite boolean combinations of intervals. Since the functions are also all analytic, their zero sets are also discrete. Thus the only possible zero sets are finite.
A: I have no idea if the following strategy will actually work. But here goes a try.
Let $C$ be the class of functions defined in the problem. Given two distinct functions $f, g\in C$, define $E(f,g)$ to be the set of $x$ for which $f(x)=g(x)$. Suppose it is true (for any distinct $f, g\in C$) that every point of $E(f,g)$ is an isolated point of $E(f,g)$ (equivalently, that $E(f,g)$ has no limit points). Then in particular, with $f_0$ equaling the zero function and $f\ne f_0$, we see that $E(f,f_0)$ has no limit points; therefore the only way that $f$ could have infinitely many zeros is if it has a sequence of zeros tending to infinity. However, $f(1/x)$ is also in $C$ and cannot have a sequence of zeros tending to $0$, so $f(x)$ can't have a sequence of zeros tending to infinity. Therefore (?) $f$ has only finitely many zeros.
The reason this might be a viable strategy is that maybe it's possible to prove inductively (using the recursive definition of $C$) that $E(f,g)$ never has limit points....
