mign := proc(a,n,m)
# n>>m>1,  |a|>1,\ (n=20, m=3, a=100*I)
 x^n+(a*x+1)^m;
end: