Daniel Richardson John Fitch The Identity Problem for Elementary Functions and Constants. 285-290 1994 ISSAC http://doi.acm.org/10.1145/190347.190429 db/conf/issac/issac94.html#RichardsonF94