#915 2*a*2^k isn't simplified to a*2^(k+1)

[Raymond Toy]

2*a*2^k isn't simplified. But a*2^k*2 is. There are
many other situations where we don't simplify such
products.

[Robert Dodier]

Logged In: YES
user_id=501686

Observed in 5.9.3.99rc2. Looks like this is happening (or
not happening) in SIMPTIMES.

[Dieter Kaiser]

With revision 1.80 of simp.lisp the example simplifies as expected:

(%i1) 2*a*2^k;
(%o1) a*2^(k+1)

Closing this bug report as fixed.

Dieter Kaiser