infsums(a_+b_,x_):=infsums(a,x)+infsums(b,x); infsums(k_*y_,x_) := If(isfree(k,x), k*infsums(y,x)); infsums(y_):=infsums(y,x);