%% /. CyclicRule

Out[107]=

            p                        p
  R     R       (-R     + R    ) R
   pedf  acb       pdef    pedf   acb
  ----------- + ---------------------- + 
      45                  45
   
                p       p
    R     (-R     + R    )
     pedf    abc     acb
    ---------------------- + 
              18
   
                           p       p              p
    (-R     + R    ) (-R     + R    )   R     R
       pdef    pedf     abc     acb      pecf  adb
    --------------------------------- + ----------- + 
                   18                       45
   
                         p               p       p
    (-R     + R    ) R       R     (-R     + R    )
       pcef    pecf   adb     pecf    abd     adb
    ---------------------- + ---------------------- + 
              45                       18
   
                           p       p              p
    (-R     + R    ) (-R     + R    )   R     R
       pcef    pecf     abd     adb      pebf  adc
    --------------------------------- + ----------- + 
                   18                       45
   
                         p               p       p
    (-R     + R    ) R       R     (-R     + R    )
       pbef    pebf   adc     pebf    acd     adc
    ---------------------- + ---------------------- + 
              45                       18
   
                           p       p              p
    (-R     + R    ) (-R     + R    )   R     R
       pbef    pebf     acd     adc      pdcf  aeb
    --------------------------------- + ----------- + 
                   18                       45
   
                         p               p       p
    (-R     + R    ) R       R     (-R     + R    )
       pcdf    pdcf   aeb     pdcf    abe     aeb
    ---------------------- + ---------------------- + 
              45                       18
   
                           p       p              p
    (-R     + R    ) (-R     + R    )   R     R
       pcdf    pdcf     abe     aeb      pdbf  aec
    --------------------------------- + ----------- + 
                   18                       45
   
                         p               p       p
    (-R     + R    ) R       R     (-R     + R    )
       pbdf    pdbf   aec     pdbf    ace     aec
    ---------------------- + ---------------------- + 
              45                       18
   
                           p       p              p
    (-R     + R    ) (-R     + R    )   R     R
       pbdf    pdbf     ace     aec      pcbf  aed
    --------------------------------- + ----------- + 
                   18                       45
   
                         p               p       p
    (-R     + R    ) R       R     (-R     + R    )
       pbcf    pcbf   aed     pcbf    ade     aed
    ---------------------- + ---------------------- + 
              45                       18
   
                           p       p              p
    (-R     + R    ) (-R     + R    )   R     R
       pbcf    pcbf     ade     aed      pdce  afb
    --------------------------------- + ----------- + 
                   18                       45
   
                         p               p       p
    (-R     + R    ) R       R     (-R     + R    )
       pcde    pdce   afb     pdce    abf     afb
    ---------------------- + ---------------------- + 
              45                       18
   
                           p       p              p
    (-R     + R    ) (-R     + R    )   R     R
       pcde    pdce     abf     afb      pdbe  afc
    --------------------------------- + ----------- + 
                   18                       45
   
                         p               p       p
    (-R     + R    ) R       R     (-R     + R    )
       pbde    pdbe   afc     pdbe    acf     afc
    ---------------------- + ---------------------- + 
              45                       18
   
                           p       p              p
    (-R     + R    ) (-R     + R    )   R     R
       pbde    pdbe     acf     afc      pcbe  afd
    --------------------------------- + ----------- + 
                   18                       45
   
                         p               p       p
    (-R     + R    ) R       R     (-R     + R    )
       pbce    pcbe   afd     pcbe    adf     afd
    ---------------------- + ---------------------- + 
              45                       18
   
                           p       p              p
    (-R     + R    ) (-R     + R    )   R     R
       pbce    pcbe     adf     afd      pcbd  afe
    --------------------------------- + ----------- + 
                   18                       45
   
                         p               p       p
    (-R     + R    ) R       R     (-R     + R    )
       pbcd    pcbd   afe     pcbd    aef     afe
    ---------------------- + ---------------------- + 
              45                       18
   
                           p       p              p
    (-R     + R    ) (-R     + R    )   R     R
       pbcd    pcbd     aef     afe      peaf  bdc
    --------------------------------- + ----------- + 
                   18                       45
   
                         p               p       p
    (-R     + R    ) R       R     (-R     + R    )
       paef    peaf   bdc     peaf    bcd     bdc
    ---------------------- + ---------------------- + 
              45                       18
   
                           p       p              p
    (-R     + R    ) (-R     + R    )   R     R
       paef    peaf     bcd     bdc      pdaf  bec
    --------------------------------- + ----------- + 
                   18                       45
   
                         p               p       p
    (-R     + R    ) R       R     (-R     + R    )
       padf    pdaf   bec     pdaf    bce     bec
    ---------------------- + ---------------------- + 
              45                       18
   
                           p       p              p
    (-R     + R    ) (-R     + R    )   R     R
       padf    pdaf     bce     bec      pcaf  bed
    --------------------------------- + ----------- + 
                   18                       45
   
                         p               p       p
    (-R     + R    ) R       R     (-R     + R    )
       pacf    pcaf   bed     pcaf    bde     bed
    ---------------------- + ---------------------- + 
              45                       18
   
                           p       p              p
    (-R     + R    ) (-R     + R    )   R     R
       pacf    pcaf     bde     bed      pdae  bfc
    --------------------------------- + ----------- + 
                   18                       45
   
                         p               p       p
    (-R     + R    ) R       R     (-R     + R    )
       pade    pdae   bfc     pdae    bcf     bfc
    ---------------------- + ---------------------- + 
              45                       18
   
                           p       p              p
    (-R     + R    ) (-R     + R    )   R     R
       pade    pdae     bcf     bfc      pcae  bfd
    --------------------------------- + ----------- + 
                   18                       45
   
                         p               p       p
    (-R     + R    ) R       R     (-R     + R    )
       pace    pcae   bfd     pcae    bdf     bfd
    ---------------------- + ---------------------- + 
              45                       18
   
                           p       p              p
    (-R     + R    ) (-R     + R    )   R     R
       pace    pcae     bdf     bfd      pcad  bfe
    --------------------------------- + ----------- + 
                   18                       45
   
                         p               p       p
    (-R     + R    ) R       R     (-R     + R    )
       pacd    pcad   bfe     pcad    bef     bfe
    ---------------------- + ---------------------- + 
              45                       18
   
                           p       p              p
    (-R     + R    ) (-R     + R    )   R     R
       pacd    pcad     bef     bfe      pbaf  ced
    --------------------------------- + ----------- + 
                   18                       45
   
                         p                  p       p
    (-R     + R    ) R       13 R     (-R     + R    )
       pabf    pbaf   ced        pbaf    cde     ced
    ---------------------- - ------------------------- + 
              45                        90
   
                           p       p              p
    (-R     + R    ) (-R     + R    )   R     R
       pabf    pbaf     cde     ced      pbae  cfd
    --------------------------------- + ----------- + 
                   18                       45
   
                         p                  p       p
    (-R     + R    ) R       13 R     (-R     + R    )
       pabe    pbae   cfd        pbae    cdf     cfd
    ---------------------- - ------------------------- + 
              45                        90
   
                           p       p              p
    (-R     + R    ) (-R     + R    )   R     R
       pabe    pbae     cdf     cfd      pbad  cfe
    --------------------------------- + ----------- + 
                   18                       45
   
                         p                  p       p
    (-R     + R    ) R       13 R     (-R     + R    )
       pabd    pbad   cfe        pbad    cef     cfe
    ---------------------- - ------------------------- + 
              45                        90
   
                           p       p              p
    (-R     + R    ) (-R     + R    )   R     R
       pabd    pbad     cef     cfe      pbac  dfe
    --------------------------------- + ----------- + 
                   18                       45
   
                         p                  p       p
    (-R     + R    ) R       13 R     (-R     + R    )
       pabc    pbac   dfe        pbac    def     dfe
    ---------------------- - ------------------------- + 
              45                        90
   
                           p       p
    (-R     + R    ) (-R     + R    )
       pabc    pbac     def     dfe
    ---------------------------------
                   18

Up to A Very Large Scale Pattern Matching Problem in MathTensor