Elementary functions: an algorithmic approach - Burrowes, Theodore C. (The Intext series in mathematics, 1974)