simple_equal has a line of bogus and unreachable code (defined in mload of all places)
(defun $simple_equal (f g)
"checks if equal up to simp flags"
(cond ((quote-simple-equal f g))
((quote-simple-equal g f))
((and (numberp f) (numberp g)
(or (eql f g))
(< (- f g) 1.0e-4))) <-- never happens
Also, simple_equal isn't documented. It's likely that
simple_equal isn't needed, but it's nice that it
(apparently) tests for equality without converting
CRE expressions to general form.