James C. Beaumont Russell J. Bradford James H. Davenport Better simplification of elementary functions through power series. 30-36 2003 conf/issac/2003 ISSAC http://doi.acm.org/10.1145/860854.860867 db/conf/issac/issac2003.html#BeaumontBD03