ch6 tests behave differently depending on seemingly equivalent series g/- about sicmutils HOT 5 CLOSED

(def canonicalize-partials*
  (ruleset
   ;; First turn nests into products.
   ((partial :i*) ((partial :j*) :f))
   =>
   ((* (partial :i*) (partial :j*)) :f)

   ((partial :i*) ((* (partial :j*) :more*) :f))
   =>
   ((* (partial :i*) (partial :j*) :more*) :f)

   ;; Exponentiation of operators makes things hairy
   ((expt (partial :i*) :n) ((partial :j*) :f))
   =>
   ((* (expt (partial :i*) :n) (partial :j*)) :f)

   ((partial :i*) ((expt (partial :j*) :n) :f))
   =>
   ((* (partial :i*) (expt (partial :j*) :n)) :f)

   ((expt (partial :i*) :n) ((expt (partial :j*) :m) :f))
   =>
   ((* (expt (partial :i*) :n) (expt (partial :j*) :m)) :f)


   ;; Already some accumulation
   ((partial :i*) ((* (partial :j*) :more*) :f))
   =>
   ((* (partial :i*) (partial :j*) :more*) :f)

   ((expt (partial :i*) :n) ((* (partial :j*) :more*) :f))
   =>
   ((* (expt (partial :i*) :n) (partial :j*) :more*) :f)

   ((partial :i*) ((* (expt (partial :j*) :m) :more*) :f))
   =>
   ((* (partial :i*) (expt (partial :j*) :m) :more*) :f)

   ((expt (partial :i*) :n) ((* (expt (partial :j*) :m) :more*) :f))
   =>
   ((* (expt (partial :i*) :n) (expt (partial :j*) :m) :more*) :f)

   ;; Next sort products, if OK
   #_#_#_(((* :xs* (partial :i*) :ys* (partial :j*) :zs*)
           ;; TODO check that this is waht we mean with symbol
           (:? f symbol?))
          :args*)
   (let ((args (expression args)))
     (and commute-partials?
          (symb:elementary-access? i args)
          (symb:elementary-access? j args)
          (list< j i)))
   (((* :xs* (partial :j*) :ys* (partial :i*) :zs*) :f)
    :args*)
   ))