simplify(..., canonical=true) gives noncanonical answer

simplify(..., canonical=true) gives noncanonical answer #9469