(* These are the first nine c's in the BCH formula for
   writing exp(X)*exp(Y) into a single exponential. 

   They are defined as functions taking two arguments
   for later use. Here Cmt[X,Y] is the bracket function
   in Mathematica. It could be just governed by several 
   rules for doing bracket operations in Mathematica.  

                         Ren-Cang Li, June 1, 1996
                         na.rcli@na-net.ornl.gov   *)

c[1][X_,Y_]=X+Y;
c[2][X_,Y_]=1/2 Cmt[X,Y];
c[3][X_,Y_]=1/12 (Cmt[Y,Cmt[Y,X]]+Cmt[X,Cmt[X,Y]]);
c[4][X_,Y_]=1/24 Cmt[X,Cmt[Y,Cmt[Y,X]]];
c[5][X_,Y_]=(- Cmt[X,Cmt[X,Cmt[X,Cmt[X,Y]]]] - 
      6 Cmt[X,Cmt[Y,Cmt[X,Cmt[X,Y]]]] - 
      2 Cmt[X,Cmt[Y,Cmt[Y,Cmt[X,Y]]]] + 
      2 Cmt[Y,Cmt[X,Cmt[X,Cmt[X,Y]]]] + 
      6 Cmt[Y,Cmt[Y,Cmt[X,Cmt[X,Y]]]] + 
        Cmt[Y,Cmt[Y,Cmt[Y,Cmt[X,Y]]]]) / 720;
c[6][X_,Y_]= ( Cmt[X,Cmt[X,Cmt[Y,Cmt[X,Cmt[X,Y]]]]] - 
      11 Cmt[X,Cmt[X,Cmt[Y,Cmt[Y,Cmt[X,Y]]]]] - 
      2  Cmt[X,Cmt[Y,Cmt[X,Cmt[X,Cmt[X,Y]]]]] + 
      33 Cmt[X,Cmt[Y,Cmt[Y,Cmt[X,Cmt[X,Y]]]]] + 
      7  Cmt[X,Cmt[Y,Cmt[Y,Cmt[Y,Cmt[X,Y]]]]] + 
      7  Cmt[Y,Cmt[X,Cmt[X,Cmt[X,Cmt[X,Y]]]]] + 
      3  Cmt[Y,Cmt[X,Cmt[Y,Cmt[X,Cmt[X,Y]]]]] - 
      2  Cmt[Y,Cmt[X,Cmt[Y,Cmt[Y,Cmt[X,Y]]]]] - 
         Cmt[Y,Cmt[Y,Cmt[X,Cmt[X,Cmt[X,Y]]]]] + 
         Cmt[Y,Cmt[Y,Cmt[Y,Cmt[X,Cmt[X,Y]]]]]) / 8640;
c[7][X_,Y_]= (4*Cmt[X, Cmt[X, Cmt[X, Cmt[X, Cmt[X, Cmt[X, Y]]]]]] + 
     19*Cmt[X, Cmt[X, Cmt[X, Cmt[Y, Cmt[X, Cmt[X, Y]]]]]] - 
     3*Cmt[X, Cmt[X, Cmt[X, Cmt[Y, Cmt[Y, Cmt[X, Y]]]]]] - 
     14*Cmt[X, Cmt[X, Cmt[Y, Cmt[X, Cmt[X, Cmt[X, Y]]]]]] - 
     3*Cmt[X, Cmt[X, Cmt[Y, Cmt[Y, Cmt[X, Cmt[X, Y]]]]]] + 
     19*Cmt[X, Cmt[X, Cmt[Y, Cmt[Y, Cmt[Y, Cmt[X, Y]]]]]] + 
     31*Cmt[X, Cmt[Y, Cmt[X, Cmt[X, Cmt[X, Cmt[X, Y]]]]]] + 
     111*Cmt[X, Cmt[Y, Cmt[X, Cmt[Y, Cmt[X, Cmt[X, Y]]]]]] - 
     14*Cmt[X, Cmt[Y, Cmt[X, Cmt[Y, Cmt[Y, Cmt[X, Y]]]]]] - 
     13*Cmt[X, Cmt[Y, Cmt[Y, Cmt[X, Cmt[X, Cmt[X, Y]]]]]] + 
     55*Cmt[X, Cmt[Y, Cmt[Y, Cmt[Y, Cmt[X, Cmt[X, Y]]]]]] + 
     12*Cmt[X, Cmt[Y, Cmt[Y, Cmt[Y, Cmt[Y, Cmt[X, Y]]]]]] - 
     12*Cmt[Y, Cmt[X, Cmt[X, Cmt[X, Cmt[X, Cmt[X, Y]]]]]] - 
     55*Cmt[Y, Cmt[X, Cmt[X, Cmt[Y, Cmt[X, Cmt[X, Y]]]]]] + 
     23*Cmt[Y, Cmt[X, Cmt[X, Cmt[Y, Cmt[Y, Cmt[X, Y]]]]]] + 
     14*Cmt[Y, Cmt[X, Cmt[Y, Cmt[X, Cmt[X, Cmt[X, Y]]]]]] - 
     141*Cmt[Y, Cmt[X, Cmt[Y, Cmt[Y, Cmt[X, Cmt[X, Y]]]]]] - 
     31*Cmt[Y, Cmt[X, Cmt[Y, Cmt[Y, Cmt[Y, Cmt[X, Y]]]]]] - 
     19*Cmt[Y, Cmt[Y, Cmt[X, Cmt[X, Cmt[X, Cmt[X, Y]]]]]] + 
     33*Cmt[Y, Cmt[Y, Cmt[X, Cmt[Y, Cmt[X, Cmt[X, Y]]]]]] + 
     14*Cmt[Y, Cmt[Y, Cmt[X, Cmt[Y, Cmt[Y, Cmt[X, Y]]]]]] - 
     7*Cmt[Y, Cmt[Y, Cmt[Y, Cmt[X, Cmt[X, Cmt[X, Y]]]]]] - 
     19*Cmt[Y, Cmt[Y, Cmt[Y, Cmt[Y, Cmt[X, Cmt[X, Y]]]]]] - 
     4*Cmt[Y, Cmt[Y, Cmt[Y, Cmt[Y, Cmt[Y, Cmt[X, Y]]]]]])/120960;
c[8][X_,Y_] = (-4*Cmt[X, Cmt[X, Cmt[X, Cmt[X, Cmt[Y, Cmt[X, Cmt[X, Y]]]]]]] + 
     35*Cmt[X, Cmt[X, Cmt[X, Cmt[X, Cmt[Y, Cmt[Y, Cmt[X, Y]]]]]]] + 
     11*Cmt[X, Cmt[X, Cmt[X, Cmt[Y, Cmt[X, Cmt[X, Cmt[X, Y]]]]]]] - 
     150*Cmt[X, Cmt[X, Cmt[X, Cmt[Y, Cmt[Y, Cmt[X, Cmt[X, Y]]]]]]] - 
     Cmt[X, Cmt[X, Cmt[X, Cmt[Y, Cmt[Y, Cmt[Y, Cmt[X, Y]]]]]]] - 
     13*Cmt[X, Cmt[X, Cmt[Y, Cmt[X, Cmt[X, Cmt[X, Cmt[X, Y]]]]]]] + 
     240*Cmt[X, Cmt[X, Cmt[Y, Cmt[X, Cmt[Y, Cmt[X, Cmt[X, Y]]]]]]] - 
     10*Cmt[X, Cmt[X, Cmt[Y, Cmt[X, Cmt[Y, Cmt[Y, Cmt[X, Y]]]]]]] + 
     10*Cmt[X, Cmt[X, Cmt[Y, Cmt[Y, Cmt[X, Cmt[X, Cmt[X, Y]]]]]]] + 
     149*Cmt[X, Cmt[X, Cmt[Y, Cmt[Y, Cmt[Y, Cmt[X, Cmt[X, Y]]]]]]] + 
     27*Cmt[X, Cmt[X, Cmt[Y, Cmt[Y, Cmt[Y, Cmt[Y, Cmt[X, Y]]]]]]] + 
     9*Cmt[X, Cmt[Y, Cmt[X, Cmt[X, Cmt[X, Cmt[X, Cmt[X, Y]]]]]]] - 
     154*Cmt[X, Cmt[Y, Cmt[X, Cmt[X, Cmt[Y, Cmt[X, Cmt[X, Y]]]]]]] + 
     107*Cmt[X, Cmt[Y, Cmt[X, Cmt[X, Cmt[Y, Cmt[Y, Cmt[X, Y]]]]]]] - 
     52*Cmt[X, Cmt[Y, Cmt[X, Cmt[Y, Cmt[X, Cmt[X, Cmt[X, Y]]]]]]] - 
     537*Cmt[X, Cmt[Y, Cmt[X, Cmt[Y, Cmt[Y, Cmt[X, Cmt[X, Y]]]]]]] - 
     91*Cmt[X, Cmt[Y, Cmt[X, Cmt[Y, Cmt[Y, Cmt[Y, Cmt[X, Y]]]]]]] - 
     19*Cmt[X, Cmt[Y, Cmt[Y, Cmt[X, Cmt[X, Cmt[X, Cmt[X, Y]]]]]]] + 
     213*Cmt[X, Cmt[Y, Cmt[Y, Cmt[X, Cmt[Y, Cmt[X, Cmt[X, Y]]]]]]] + 
     74*Cmt[X, Cmt[Y, Cmt[Y, Cmt[X, Cmt[Y, Cmt[Y, Cmt[X, Y]]]]]]] - 
     59*Cmt[X, Cmt[Y, Cmt[Y, Cmt[Y, Cmt[X, Cmt[X, Cmt[X, Y]]]]]]] - 
     64*Cmt[X, Cmt[Y, Cmt[Y, Cmt[Y, Cmt[Y, Cmt[X, Cmt[X, Y]]]]]]] - 
     27*Cmt[X, Cmt[Y, Cmt[Y, Cmt[Y, Cmt[Y, Cmt[Y, Cmt[X, Y]]]]]]] - 
     27*Cmt[Y, Cmt[X, Cmt[X, Cmt[X, Cmt[X, Cmt[X, Cmt[X, Y]]]]]]] - 
     64*Cmt[Y, Cmt[X, Cmt[X, Cmt[X, Cmt[Y, Cmt[X, Cmt[X, Y]]]]]]] - 
     13*Cmt[Y, Cmt[X, Cmt[X, Cmt[X, Cmt[Y, Cmt[Y, Cmt[X, Y]]]]]]] + 
     74*Cmt[Y, Cmt[X, Cmt[X, Cmt[Y, Cmt[X, Cmt[X, Cmt[X, Y]]]]]]] + 
     75*Cmt[Y, Cmt[X, Cmt[X, Cmt[Y, Cmt[Y, Cmt[X, Cmt[X, Y]]]]]]] - 
     19*Cmt[Y, Cmt[X, Cmt[X, Cmt[Y, Cmt[Y, Cmt[Y, Cmt[X, Y]]]]]]] - 
     91*Cmt[Y, Cmt[X, Cmt[Y, Cmt[X, Cmt[X, Cmt[X, Cmt[X, Y]]]]]]] - 
     399*Cmt[Y, Cmt[X, Cmt[Y, Cmt[X, Cmt[Y, Cmt[X, Cmt[X, Y]]]]]]] - 
     52*Cmt[Y, Cmt[X, Cmt[Y, Cmt[X, Cmt[Y, Cmt[Y, Cmt[X, Y]]]]]]] + 
     61*Cmt[Y, Cmt[X, Cmt[Y, Cmt[Y, Cmt[X, Cmt[X, Cmt[X, Y]]]]]]] - 
     154*Cmt[Y, Cmt[X, Cmt[Y, Cmt[Y, Cmt[Y, Cmt[X, Cmt[X, Y]]]]]]] + 
     9*Cmt[Y, Cmt[X, Cmt[Y, Cmt[Y, Cmt[Y, Cmt[Y, Cmt[X, Y]]]]]]] + 
     27*Cmt[Y, Cmt[Y, Cmt[X, Cmt[X, Cmt[X, Cmt[X, Cmt[X, Y]]]]]]] + 
     149*Cmt[Y, Cmt[Y, Cmt[X, Cmt[X, Cmt[Y, Cmt[X, Cmt[X, Y]]]]]]] + 
     41*Cmt[Y, Cmt[Y, Cmt[X, Cmt[X, Cmt[Y, Cmt[Y, Cmt[X, Y]]]]]]] - 
     10*Cmt[Y, Cmt[Y, Cmt[X, Cmt[Y, Cmt[X, Cmt[X, Cmt[X, Y]]]]]]] + 
     147*Cmt[Y, Cmt[Y, Cmt[X, Cmt[Y, Cmt[Y, Cmt[X, Cmt[X, Y]]]]]]] - 
     13*Cmt[Y, Cmt[Y, Cmt[X, Cmt[Y, Cmt[Y, Cmt[Y, Cmt[X, Y]]]]]]] - 
     Cmt[Y, Cmt[Y, Cmt[Y, Cmt[X, Cmt[X, Cmt[X, Cmt[X, Y]]]]]]] - 
     57*Cmt[Y, Cmt[Y, Cmt[Y, Cmt[X, Cmt[Y, Cmt[X, Cmt[X, Y]]]]]]] + 
     11*Cmt[Y, Cmt[Y, Cmt[Y, Cmt[X, Cmt[Y, Cmt[Y, Cmt[X, Y]]]]]]] + 
     4*Cmt[Y, Cmt[Y, Cmt[Y, Cmt[Y, Cmt[X, Cmt[X, Cmt[X, Y]]]]]]] - 
     4*Cmt[Y, Cmt[Y, Cmt[Y, Cmt[Y, Cmt[Y, Cmt[X, Cmt[X, Y]]]]]]])/1451520;
c[9][X_,Y_] = (-36*Cmt[X, Cmt[X, Cmt[X, Cmt[X, Cmt[X, Cmt[X, Cmt[X, Cmt[X, Y]]]]]]]] - 
     166*Cmt[X, Cmt[X, Cmt[X, Cmt[X, Cmt[X, Cmt[Y, Cmt[X, Cmt[X, Y]]]]]]]] + 
     23*Cmt[X, Cmt[X, Cmt[X, Cmt[X, Cmt[X, Cmt[Y, Cmt[Y, Cmt[X, Y]]]]]]]] + 
     117*Cmt[X, Cmt[X, Cmt[X, Cmt[X, Cmt[Y, Cmt[X, Cmt[X, Cmt[X, Y]]]]]]]] + 
     56*Cmt[X, Cmt[X, Cmt[X, Cmt[X, Cmt[Y, Cmt[Y, Cmt[X, Cmt[X, Y]]]]]]]] - 
     129*Cmt[X, Cmt[X, Cmt[X, Cmt[X, Cmt[Y, Cmt[Y, Cmt[Y, Cmt[X, Y]]]]]]]] - 
     241*Cmt[X, Cmt[X, Cmt[X, Cmt[Y, Cmt[X, Cmt[X, Cmt[X, Cmt[X, Y]]]]]]]] - 
     1046*Cmt[X, Cmt[X, Cmt[X, Cmt[Y, Cmt[X, Cmt[Y, Cmt[X, Cmt[X, Y]]]]]]]] + 
     78*Cmt[X, Cmt[X, Cmt[X, Cmt[Y, Cmt[X, Cmt[Y, Cmt[Y, Cmt[X, Y]]]]]]]] + 
     112*Cmt[X, Cmt[X, Cmt[X, Cmt[Y, Cmt[Y, Cmt[X, Cmt[X, Cmt[X, Y]]]]]]]] - 
     59*Cmt[X, Cmt[X, Cmt[X, Cmt[Y, Cmt[Y, Cmt[Y, Cmt[X, Cmt[X, Y]]]]]]]] - 
     59*Cmt[X, Cmt[X, Cmt[X, Cmt[Y, Cmt[Y, Cmt[Y, Cmt[Y, Cmt[X, Y]]]]]]]] + 
     219*Cmt[X, Cmt[X, Cmt[Y, Cmt[X, Cmt[X, Cmt[X, Cmt[X, Cmt[X, Y]]]]]]]] + 
     1394*Cmt[X, Cmt[X, Cmt[Y, Cmt[X, Cmt[X, Cmt[Y, Cmt[X, Cmt[X, Y]]]]]]]] + 
     313*Cmt[X, Cmt[X, Cmt[Y, Cmt[X, Cmt[X, Cmt[Y, Cmt[Y, Cmt[X, Y]]]]]]]] - 
     268*Cmt[X, Cmt[X, Cmt[Y, Cmt[X, Cmt[Y, Cmt[X, Cmt[X, Cmt[X, Y]]]]]]]] - 
     619*Cmt[X, Cmt[X, Cmt[Y, Cmt[X, Cmt[Y, Cmt[Y, Cmt[X, Cmt[X, Y]]]]]]]] + 
     51*Cmt[X, Cmt[X, Cmt[Y, Cmt[X, Cmt[Y, Cmt[Y, Cmt[Y, Cmt[X, Y]]]]]]]] + 
     219*Cmt[X, Cmt[X, Cmt[Y, Cmt[Y, Cmt[X, Cmt[X, Cmt[X, Cmt[X, Y]]]]]]]] + 
     1479*Cmt[X, Cmt[X, Cmt[Y, Cmt[Y, Cmt[X, Cmt[Y, Cmt[X, Cmt[X, Y]]]]]]]] + 
     358*Cmt[X, Cmt[X, Cmt[Y, Cmt[Y, Cmt[X, Cmt[Y, Cmt[Y, Cmt[X, Y]]]]]]]] - 
     233*Cmt[X, Cmt[X, Cmt[Y, Cmt[Y, Cmt[Y, Cmt[X, Cmt[X, Cmt[X, Y]]]]]]]] + 
     416*Cmt[X, Cmt[X, Cmt[Y, Cmt[Y, Cmt[Y, Cmt[Y, Cmt[X, Cmt[X, Y]]]]]]]] - 
     49*Cmt[X, Cmt[X, Cmt[Y, Cmt[Y, Cmt[Y, Cmt[Y, Cmt[Y, Cmt[X, Y]]]]]]]] - 
     361*Cmt[X, Cmt[Y, Cmt[X, Cmt[X, Cmt[X, Cmt[X, Cmt[X, Cmt[X, Y]]]]]]]] - 
     2016*Cmt[X, Cmt[Y, Cmt[X, Cmt[X, Cmt[X, Cmt[Y, Cmt[X, Cmt[X, Y]]]]]]]] + 
     153*Cmt[X, Cmt[Y, Cmt[X, Cmt[X, Cmt[X, Cmt[Y, Cmt[Y, Cmt[X, Y]]]]]]]] + 
     782*Cmt[X, Cmt[Y, Cmt[X, Cmt[X, Cmt[Y, Cmt[X, Cmt[X, Cmt[X, Y]]]]]]]] - 
     759*Cmt[X, Cmt[Y, Cmt[X, Cmt[X, Cmt[Y, Cmt[Y, Cmt[X, Cmt[X, Y]]]]]]]] - 
     509*Cmt[X, Cmt[Y, Cmt[X, Cmt[X, Cmt[Y, Cmt[Y, Cmt[Y, Cmt[X, Y]]]]]]]] - 
     1281*Cmt[X, Cmt[Y, Cmt[X, Cmt[Y, Cmt[X, Cmt[X, Cmt[X, Cmt[X, Y]]]]]]]] - 
     4421*Cmt[X, Cmt[Y, Cmt[X, Cmt[Y, Cmt[X, Cmt[Y, Cmt[X, Cmt[X, Y]]]]]]]] - 
     412*Cmt[X, Cmt[Y, Cmt[X, Cmt[Y, Cmt[X, Cmt[Y, Cmt[Y, Cmt[X, Y]]]]]]]] + 
     407*Cmt[X, Cmt[Y, Cmt[X, Cmt[Y, Cmt[Y, Cmt[X, Cmt[X, Cmt[X, Y]]]]]]]] - 
     2174*Cmt[X, Cmt[Y, Cmt[X, Cmt[Y, Cmt[Y, Cmt[Y, Cmt[X, Cmt[X, Y]]]]]]]] - 
     89*Cmt[X, Cmt[Y, Cmt[X, Cmt[Y, Cmt[Y, Cmt[Y, Cmt[Y, Cmt[X, Y]]]]]]]] + 
     249*Cmt[X, Cmt[Y, Cmt[Y, Cmt[X, Cmt[X, Cmt[X, Cmt[X, Cmt[X, Y]]]]]]]] + 
     849*Cmt[X, Cmt[Y, Cmt[Y, Cmt[X, Cmt[X, Cmt[Y, Cmt[X, Cmt[X, Y]]]]]]]] + 
     833*Cmt[X, Cmt[Y, Cmt[Y, Cmt[X, Cmt[X, Cmt[Y, Cmt[Y, Cmt[X, Y]]]]]]]] - 
     58*Cmt[X, Cmt[Y, Cmt[Y, Cmt[X, Cmt[Y, Cmt[X, Cmt[X, Cmt[X, Y]]]]]]]] - 
     1089*Cmt[X, Cmt[Y, Cmt[Y, Cmt[X, Cmt[Y, Cmt[Y, Cmt[X, Cmt[X, Y]]]]]]]] - 
     449*Cmt[X, Cmt[Y, Cmt[Y, Cmt[X, Cmt[Y, Cmt[Y, Cmt[Y, Cmt[X, Y]]]]]]]] - 
     241*Cmt[X, Cmt[Y, Cmt[Y, Cmt[Y, Cmt[X, Cmt[X, Cmt[X, Cmt[X, Y]]]]]]]] + 
     119*Cmt[X, Cmt[Y, Cmt[Y, Cmt[Y, Cmt[X, Cmt[Y, Cmt[X, Cmt[X, Y]]]]]]]] + 
     393*Cmt[X, Cmt[Y, Cmt[Y, Cmt[Y, Cmt[X, Cmt[Y, Cmt[Y, Cmt[X, Y]]]]]]]] - 
     198*Cmt[X, Cmt[Y, Cmt[Y, Cmt[Y, Cmt[Y, Cmt[X, Cmt[X, Cmt[X, Y]]]]]]]] - 
     814*Cmt[X, Cmt[Y, Cmt[Y, Cmt[Y, Cmt[Y, Cmt[Y, Cmt[X, Cmt[X, Y]]]]]]]] - 
     144*Cmt[X, Cmt[Y, Cmt[Y, Cmt[Y, Cmt[Y, Cmt[Y, Cmt[Y, Cmt[X, Y]]]]]]]] + 
     144*Cmt[Y, Cmt[X, Cmt[X, Cmt[X, Cmt[X, Cmt[X, Cmt[X, Cmt[X, Y]]]]]]]] + 
     814*Cmt[Y, Cmt[X, Cmt[X, Cmt[X, Cmt[X, Cmt[Y, Cmt[X, Cmt[X, Y]]]]]]]] - 
     567*Cmt[Y, Cmt[X, Cmt[X, Cmt[X, Cmt[X, Cmt[Y, Cmt[Y, Cmt[X, Y]]]]]]]] - 
     393*Cmt[Y, Cmt[X, Cmt[X, Cmt[X, Cmt[Y, Cmt[X, Cmt[X, Cmt[X, Y]]]]]]]] + 
     2176*Cmt[Y, Cmt[X, Cmt[X, Cmt[X, Cmt[Y, Cmt[Y, Cmt[X, Cmt[X, Y]]]]]]]] + 
     241*Cmt[Y, Cmt[X, Cmt[X, Cmt[X, Cmt[Y, Cmt[Y, Cmt[Y, Cmt[X, Y]]]]]]]] + 
     449*Cmt[Y, Cmt[X, Cmt[X, Cmt[Y, Cmt[X, Cmt[X, Cmt[X, Cmt[X, Y]]]]]]]] - 
     1206*Cmt[Y, Cmt[X, Cmt[X, Cmt[Y, Cmt[X, Cmt[Y, Cmt[X, Cmt[X, Y]]]]]]]] + 
     58*Cmt[Y, Cmt[X, Cmt[X, Cmt[Y, Cmt[X, Cmt[Y, Cmt[Y, Cmt[X, Y]]]]]]]] - 
     68*Cmt[Y, Cmt[X, Cmt[X, Cmt[Y, Cmt[Y, Cmt[X, Cmt[X, Cmt[X, Y]]]]]]]] - 
     849*Cmt[Y, Cmt[X, Cmt[X, Cmt[Y, Cmt[Y, Cmt[Y, Cmt[X, Cmt[X, Y]]]]]]]] - 
     249*Cmt[Y, Cmt[X, Cmt[X, Cmt[Y, Cmt[Y, Cmt[Y, Cmt[Y, Cmt[X, Y]]]]]]]] + 
     89*Cmt[Y, Cmt[X, Cmt[Y, Cmt[X, Cmt[X, Cmt[X, Cmt[X, Cmt[X, Y]]]]]]]] + 
     2174*Cmt[Y, Cmt[X, Cmt[Y, Cmt[X, Cmt[X, Cmt[Y, Cmt[X, Cmt[X, Y]]]]]]]] - 
     1217*Cmt[Y, Cmt[X, Cmt[Y, Cmt[X, Cmt[X, Cmt[Y, Cmt[Y, Cmt[X, Y]]]]]]]] + 
     412*Cmt[Y, Cmt[X, Cmt[Y, Cmt[X, Cmt[Y, Cmt[X, Cmt[X, Cmt[X, Y]]]]]]]] + 
     6851*Cmt[Y, Cmt[X, Cmt[Y, Cmt[X, Cmt[Y, Cmt[Y, Cmt[X, Cmt[X, Y]]]]]]]] + 
     1281*Cmt[Y, Cmt[X, Cmt[Y, Cmt[X, Cmt[Y, Cmt[Y, Cmt[Y, Cmt[X, Y]]]]]]]] + 
     509*Cmt[Y, Cmt[X, Cmt[Y, Cmt[Y, Cmt[X, Cmt[X, Cmt[X, Cmt[X, Y]]]]]]]] - 
     1671*Cmt[Y, Cmt[X, Cmt[Y, Cmt[Y, Cmt[X, Cmt[Y, Cmt[X, Cmt[X, Y]]]]]]]] - 
     782*Cmt[Y, Cmt[X, Cmt[Y, Cmt[Y, Cmt[X, Cmt[Y, Cmt[Y, Cmt[X, Y]]]]]]]] + 
     657*Cmt[Y, Cmt[X, Cmt[Y, Cmt[Y, Cmt[Y, Cmt[X, Cmt[X, Cmt[X, Y]]]]]]]] + 
     2016*Cmt[Y, Cmt[X, Cmt[Y, Cmt[Y, Cmt[Y, Cmt[Y, Cmt[X, Cmt[X, Y]]]]]]]] + 
     361*Cmt[Y, Cmt[X, Cmt[Y, Cmt[Y, Cmt[Y, Cmt[Y, Cmt[Y, Cmt[X, Y]]]]]]]] + 
     49*Cmt[Y, Cmt[Y, Cmt[X, Cmt[X, Cmt[X, Cmt[X, Cmt[X, Cmt[X, Y]]]]]]]] - 
     416*Cmt[Y, Cmt[Y, Cmt[X, Cmt[X, Cmt[X, Cmt[Y, Cmt[X, Cmt[X, Y]]]]]]]] + 
     143*Cmt[Y, Cmt[Y, Cmt[X, Cmt[X, Cmt[X, Cmt[Y, Cmt[Y, Cmt[X, Y]]]]]]]] - 
     358*Cmt[Y, Cmt[Y, Cmt[X, Cmt[X, Cmt[Y, Cmt[X, Cmt[X, Cmt[X, Y]]]]]]]] - 
     1209*Cmt[Y, Cmt[Y, Cmt[X, Cmt[X, Cmt[Y, Cmt[Y, Cmt[X, Cmt[X, Y]]]]]]]] - 
     219*Cmt[Y, Cmt[Y, Cmt[X, Cmt[X, Cmt[Y, Cmt[Y, Cmt[Y, Cmt[X, Y]]]]]]]] - 
     51*Cmt[Y, Cmt[Y, Cmt[X, Cmt[Y, Cmt[X, Cmt[X, Cmt[X, Cmt[X, Y]]]]]]]] + 
     349*Cmt[Y, Cmt[Y, Cmt[X, Cmt[Y, Cmt[X, Cmt[Y, Cmt[X, Cmt[X, Y]]]]]]]] + 
     268*Cmt[Y, Cmt[Y, Cmt[X, Cmt[Y, Cmt[X, Cmt[Y, Cmt[Y, Cmt[X, Y]]]]]]]] - 
     223*Cmt[Y, Cmt[Y, Cmt[X, Cmt[Y, Cmt[Y, Cmt[X, Cmt[X, Cmt[X, Y]]]]]]]] - 
     1394*Cmt[Y, Cmt[Y, Cmt[X, Cmt[Y, Cmt[Y, Cmt[Y, Cmt[X, Cmt[X, Y]]]]]]]] - 
     219*Cmt[Y, Cmt[Y, Cmt[X, Cmt[Y, Cmt[Y, Cmt[Y, Cmt[Y, Cmt[X, Y]]]]]]]] + 
     59*Cmt[Y, Cmt[Y, Cmt[Y, Cmt[X, Cmt[X, Cmt[X, Cmt[X, Cmt[X, Y]]]]]]]] + 
     59*Cmt[Y, Cmt[Y, Cmt[Y, Cmt[X, Cmt[X, Cmt[Y, Cmt[X, Cmt[X, Y]]]]]]]] - 
     197*Cmt[Y, Cmt[Y, Cmt[Y, Cmt[X, Cmt[X, Cmt[Y, Cmt[Y, Cmt[X, Y]]]]]]]] - 
     78*Cmt[Y, Cmt[Y, Cmt[Y, Cmt[X, Cmt[Y, Cmt[X, Cmt[X, Cmt[X, Y]]]]]]]] + 
     1301*Cmt[Y, Cmt[Y, Cmt[Y, Cmt[X, Cmt[Y, Cmt[Y, Cmt[X, Cmt[X, Y]]]]]]]] + 
     241*Cmt[Y, Cmt[Y, Cmt[Y, Cmt[X, Cmt[Y, Cmt[Y, Cmt[Y, Cmt[X, Y]]]]]]]] + 
     129*Cmt[Y, Cmt[Y, Cmt[Y, Cmt[Y, Cmt[X, Cmt[X, Cmt[X, Cmt[X, Y]]]]]]]] - 
     311*Cmt[Y, Cmt[Y, Cmt[Y, Cmt[Y, Cmt[X, Cmt[Y, Cmt[X, Cmt[X, Y]]]]]]]] - 
     117*Cmt[Y, Cmt[Y, Cmt[Y, Cmt[Y, Cmt[X, Cmt[Y, Cmt[Y, Cmt[X, Y]]]]]]]] + 
     62*Cmt[Y, Cmt[Y, Cmt[Y, Cmt[Y, Cmt[Y, Cmt[X, Cmt[X, Cmt[X, Y]]]]]]]] + 
     166*Cmt[Y, Cmt[Y, Cmt[Y, Cmt[Y, Cmt[Y, Cmt[Y, Cmt[X, Cmt[X, Y]]]]]]]] + 
     36*Cmt[Y, Cmt[Y, Cmt[Y, Cmt[Y, Cmt[Y, Cmt[Y, Cmt[Y, Cmt[X, Y]]]]]]]])/43545600;
