#: TermsInSmall 100M

Autodeclare Symbol x,n;

Off Parallel;

Local test = x^16;
.sort


*Identify x^n?{>=13} = x^13*(x1+...+x12)^(n-13);
*.sort
*Identify x^n?{>=9} = x^9*(x1+...+x12)^(n-9);
*.sort
*Identify x^n?{>=5} = x^5*(x1+...+x12)^(n-5);
*.sort
*Identify x^n?{>=3} = x^3*(x1+...+x12)^(n-3);
*.sort

Identify x = (x1+...+x12);

.end