Automated simplification of large symbolic expressions. - David H. Bailey; Jonathan M. Borwein; Alexander D. Kaiser (J. Symb. Comput., 2014)