Russell J. Bradford James H. Davenport Towards better simplification of elementary functions. 16-22 2002 conf/issac/2002 ISSAC http://doi.acm.org/10.1145/780506.780509 db/conf/issac/issac2002.html#BradfordD02