The info file documents a function SIMP, which "causes
exp to be simplified regardless of the setting of the
switch SIMP which inhibits simplification if FALSE".
But there is no such function defined.
It is also not clear if this is supposed to force
resimplification of the whole expression, or only the part
without SIMP flags.