Tuning an algebraic manipulation system through measurements

This paper describes a measurement tool that has been used to analyze, tune, and redesign in part the PL/I-FORMAC Symbolic Mathematics Interpreter. In a number of examples, details are given both on the FORMAC system and on the application of the measurement tool. The basic tool, called invocation count measurement, is simple but quite effective. Its application enabled us to improve FORMAC considerabl