*** ../src/test/32/sumformal	2014-03-25 01:59:21.000000000 -0700
--- gp.out	2015-05-12 08:54:17.014641305 -0700
***************
*** 7,10 ****
  1/3*n^3 + 1/2*n^2 + 1/6*n
  1/2*y*x^2 + (1/2*y + 1)*x
  (1/2*y^2 + 1/2*y)*x + y
! Total time spent: 4
--- 7,10 ----
  1/3*n^3 + 1/2*n^2 + 1/6*n
  1/2*y*x^2 + (1/2*y + 1)*x
  (1/2*y^2 + 1/2*y)*x + y
! Total time spent: 0