...
The course staff is also providing a simple test file for the eval function and a file containing a sequence of raw input formulas (to be parsed by parse function in parse.ss). A good solution to this problem will include much more comprehensive test data for all functions, including some much larger
test cases for reduce. The normalize function is difficult to test on large data because the printed
output for some important normalized trees (represented as DAGs (Directed Acyclic Graphs) in memory) is so large.
...