  ***   at top-level: sumformal(1/n)
  ***                 ^--------------
  *** sumformal: incorrect type in sumformal [not a t_POL] (t_RFRAC).
0
x
1/2*n^2 + 1/2*n
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
