A poly-algorithmic approach to simplifying elementary functions