powerseries



>
> >> I think the summand in (%o1) isn't fully simplified:
> >>   (%i44) (3^(i1+1)-2*2^i1)*x^i1;


Worth figuring out why this happens.  My guess is that some code in
powerseries is generating unsimplified subexpressions and then passing them
to add/mul/etc., which assume that their arguments are simplified.  But I'm
afraid I don't have time to look into this (I'm full-time employed
again...).

>> The standard expand( ...,0,0) trick doesn't simplify (%o1) to
> >> the (%o2). Yikes.
>

That is really bad.  What is ?print( <expression which won't simplify> )?

            -s