Simplification of real elementary functions

Abstract

We describe an algorithm, based on Risch's real structure theorem, that determines explicitely all the algebraic relations among a given set of real elementary functions. We also provide examples from its implementation that illustrate the advantages over the use of complex logarithms and exponentials.