always return a canonical unevaluated Mul from radsimp