We present a real root isolation procedure for univariate functions obtained by composition and rational operations from exp, log, and real constants. We discuss implementation of the procedure and give empirical results. The procedure requires the ability to determine signs of exp-log functions at simple roots of other exp-log functions. The currently known method to do this depends on Schanuel's conjecture .
Download Full PDF Version (Non-Commercial Use)