anchor.diff:      <@ assocSubSub1 @>; <@ assocSubSub2 @>; 
       <@ assocSubAdd1 @>; <@ assocSubAdd2 @>;
       <@ assocMultDiv1 @>; <@ assocMultDiv2 @>; 
  -    <@ assocDivMult @>;
  +    <@ assocDivMult @>; <@ assocMultMult @>;
       <@ comAdd @>; <@ comMult @>;
     ]
   
  
positive.code:   [
      <@ distrMultAdd1 @>; <@ distrMultAdd2 @>; 
      <@ distrMultSub1 @>; <@ distrMultSub2 @>; 
      <@ addDiv1 @>;
    ]
  
  let algebraicExpansionRules = 
  
negative.code:     <@ addNeg @> ; 
      <@ multDivide1 @>; 
      <@ multDivide2 @>; 
      <@ negZero @>;
      <@ invOne @>
      <@ invInv @>
    ]
  
  let algebraicSimplificationRules = 
  