van Nek wrote: > The change occured somewhere in between 5.9.3 and 5.10.0 Thanks for looking at this. I wonder if this was not caused by my change in rev 1.20 and rev 1.21 in simp.lisp, where I changed the code to make things like 2*3*2^k return 3*2^(k+1) instead of 6*2^k. (Bug 1477696). Ray