                                V1 := p[1] x[1]

                                V2 := p[2] x[3]

                                V3 := p[3] x[5]

                                V4 := p[4] x[7]

                                V5 := p[5] x[9]

                                V6 := p[6] x[11]

                             V7 := p[7] x[13] x[14]

                                V8 := p[8] x[16]

                                V9 := p[9] x[17]

                               V10 := p[10] x[10]

                               V11 := p[11] x[20]

                               V12 := p[12] x[22]

                               V13 := p[13] x[24]

                               V14 := p[14] x[6]

                               V15 := p[15] x[26]

                               V16 := p[16] x[27]

                               V17 := p[17] x[29]

                               V18 := p[18] x[30]

                               V19 := p[19] x[32]

                               V20 := p[20] x[33]

                               V21 := p[21] x[35]

                               V22 := p[22] x[37]

                               V23 := p[23] x[38]

                               V24 := p[24] x[36]

                               V25 := p[25] x[41]

                         p[26] x[45] x[43]   p[29] x[45] x[44]
                         ----------------- - -----------------
                               p[28]               p[27]
                  V26 := -------------------------------------
                                       x[43]   x[44]
                                   1 + ----- + -----
                                       p[28]   p[27]

                               V27 := p[30] x[46]

                         p[31] x[49] x[48]   p[34] x[49] x[43]
                         ----------------- - -----------------
                               p[33]               p[32]
                  V28 := -------------------------------------
                                       x[48]   x[43]
                                   1 + ----- + -----
                                       p[33]   p[32]

                               V29 := p[35] x[50]

                               V30 := p[36] x[51]

                         p[37] x[47] x[48]   p[40] x[47] x[53]
                         ----------------- - -----------------
                               p[39]               p[38]
                  V31 := -------------------------------------
                                       x[48]   x[53]
                                   1 + ----- + -----
                                       p[39]   p[38]

                         p[41] x[39] x[54]   p[44] x[39] x[55]
                         ----------------- - -----------------
                               p[43]               p[42]
                  V32 := -------------------------------------
                                       x[54]   x[55]
                                   1 + ----- + -----
                                       p[43]   p[42]

                               V33 := p[45] x[56]

                               V34 := p[46] x[58]

            /p[47] x[21] x[60]   p[55] x[21] x[44]\ /        /x[61]\p[51]\
            |----------------- - -----------------| |p[50] + |-----|     |
            \      p[54]               p[53]      / \        \p[49]/     /
     V35 := --------------------------------------------------------------
                        /    x[60]   x[44]\ /    /x[61]\p[52]\
                        |1 + ----- + -----| |1 + |-----|     |
                        \    p[54]   p[53]/ \    \p[48]/     /

                         p[56] x[64] x[62]   p[59] x[64] x[63]
                         ----------------- - -----------------
                               p[58]               p[57]
                  V36 := -------------------------------------
                                       x[62]   x[63]
                                   1 + ----- + -----
                                       p[58]   p[57]

                          p[60] x[4] x[65]   p[63] x[4] x[66]
                          ---------------- - ----------------
                               p[62]              p[61]
                   V37 := -----------------------------------
                                       x[65]   x[66]
                                   1 + ----- + -----
                                       p[62]   p[61]

                         p[64] x[39] x[67]   p[67] x[39] x[63]
                         ----------------- - -----------------
                               p[66]               p[65]
                  V38 := -------------------------------------
                                       x[67]   x[63]
                                   1 + ----- + -----
                                       p[66]   p[65]

                         p[68] x[12] x[68]   p[71] x[12] x[69]
                         ----------------- - -----------------
                               p[70]               p[69]
                  V39 := -------------------------------------
                                       x[68]   x[69]
                                   1 + ----- + -----
                                       p[70]   p[69]

                               V40 := p[72] x[70]

                                      /        /x[44]\p[77]\
                          p[73] x[71] |p[76] + |-----|     |
                                      \        \p[75]/     /
                   V41 := ----------------------------------
                                       /x[44]\p[78]
                                   1 + |-----|
                                       \p[74]/

                               V42 := p[79] x[73]

                         p[80] x[75] x[69]   p[83] x[75] x[65]
                         ----------------- - -----------------
                               p[82]               p[81]
                  V43 := -------------------------------------
                                       x[69]   x[65]
                                   1 + ----- + -----
                                       p[82]   p[81]

                         p[84] x[28] x[76]   p[87] x[28] x[77]
                         ----------------- - -----------------
                               p[86]               p[85]
                  V44 := -------------------------------------
                                       x[76]   x[77]
                                   1 + ----- + -----
                                       p[86]   p[85]

                     /p[88] x[15] x[78]   p[94] x[15] x[79]\
                     |----------------- - -----------------| p[89]
                     \      p[93]               p[92]      /
              V45 := ---------------------------------------------
                        /    x[78]   x[79]\ /    /x[48]\p[90]\
                        |1 + ----- + -----| |1 + |-----|     |
                        \    p[93]   p[92]/ \    \p[91]/     /

                               V46 := p[95] x[80]

                               V47 := p[96] x[82]

       /p[97] x[81] x[84]   p[125] x[81] x[85]\ /         /x[86] \p[111]
V48 := |----------------- - ------------------| |p[110] + |------|
       \     p[124]               p[123]      / \         \p[104]/

    /x[74] \p[112] /x[87] \p[113] /x[88] \p[114] /x[74] \p[115] /x[87] \p[116]\
    |------|       |------|       |------|       |------|       |------|      |
    \p[105]/       \p[106]/       \p[107]/       \p[108]/       \p[109]/      /

       / //    x[84]    x[85] \ /    /x[86]\p[117] /x[74]\p[118] /x[87] \p[119]
      /  ||1 + ------ + ------| |1 + |-----|       |-----|       |------|
     /   \\    p[124]   p[123]/ \    \p[98]/       \p[99]/       \p[100]/

    /x[88] \p[120] /x[74] \p[121] /x[87] \p[122]\\
    |------|       |------|       |------|      ||
    \p[101]/       \p[102]/       \p[103]/      //

                                  p[126] x[89] x[76]
                           V49 := -------------------
                                         /    x[76] \
                                  p[127] |1 + ------|
                                         \    p[127]/

                              V50 := p[128] x[90]

                        p[129] x[18] x[44]   p[132] x[18] x[63]
                        ------------------ - ------------------
                              p[131]               p[130]
                 V51 := ---------------------------------------
                                      x[44]    x[63]
                                  1 + ------ + ------
                                      p[131]   p[130]

                              V52 := p[133] x[91]

                              V53 := p[134] x[57]

                              V54 := p[135] x[93]

                              V55 := p[136] x[94]

                        p[137] x[97] x[44]   p[140] x[97] x[96]
                        ------------------ - ------------------
                              p[139]               p[138]
                 V56 := ---------------------------------------
                                      x[44]    x[96]
                                  1 + ------ + ------
                                      p[139]   p[138]

                              V57 := p[141] x[98]

                              V58 := p[142] x[72]

                              V59 := p[143] x[101]

                        p[144] x[97] x[63]   p[147] x[97] x[67]
                        ------------------ - ------------------
                              p[146]               p[145]
                 V60 := ---------------------------------------
                                      x[63]    x[67]
                                  1 + ------ + ------
                                      p[146]   p[145]

                              V61 := p[148] x[59]

                              V62 := p[149] x[102]

                              V63 := p[150] x[99]

                              V64 := p[151] x[103]

                        p[152] x[31] x[66]   p[155] x[31] x[48]
                        ------------------ - ------------------
                              p[154]               p[153]
                 V65 := ---------------------------------------
                                      x[66]    x[48]
                                  1 + ------ + ------
                                      p[154]   p[153]

                              V66 := p[156] x[104]

                              V67 := p[157] x[105]

                              V68 := p[158] x[107]

                       p[159] x[25] x[48]   p[162] x[25] x[109]
                       ------------------ - -------------------
                             p[161]               p[160]
                V69 := ----------------------------------------
                                     x[48]    x[109]
                                 1 + ------ + ------
                                     p[161]   p[160]

                              V70 := p[163] x[95]

                       p[164] x[34] x[53]   p[167] x[34] x[110]
                       ------------------ - -------------------
                             p[166]               p[165]
                V71 := ----------------------------------------
                                     x[53]    x[110]
                                 1 + ------ + ------
                                     p[166]   p[165]

                              V72 := p[168] x[111]

                        p[169] x[39] x[96]   p[172] x[39] x[44]
                        ------------------ - ------------------
                              p[171]               p[170]
                 V73 := ---------------------------------------
                                      x[96]    x[44]
                                  1 + ------ + ------
                                      p[171]   p[170]

                              V74 := p[173] x[112]

                              V75 := p[174] x[113]

                        p[175] x[40] x[85]   p[178] x[40] x[44]
                        ------------------ - ------------------
                              p[177]               p[176]
                 V76 := ---------------------------------------
                                      x[85]    x[44]
                                  1 + ------ + ------
                                      p[177]   p[176]

                              V77 := p[179] x[114]

                         p[180] x[8] x[55]   p[183] x[8] x[44]
                         ----------------- - -----------------
                              p[182]              p[181]
                  V78 := -------------------------------------
                                      x[55]    x[44]
                                  1 + ------ + ------
                                      p[182]   p[181]

                              V79 := p[184] x[115]

                              V80 := p[185] x[116]

                       p[186] x[100] x[44]   p[189] x[100] x[60]
                       ------------------- - -------------------
                             p[188]                p[187]
                V81 := -----------------------------------------
                                      x[44]    x[60]
                                  1 + ------ + ------
                                      p[188]   p[187]

                       p[190] x[100] x[63]   p[193] x[100] x[62]
                       ------------------- - -------------------
                             p[192]                p[191]
                V82 := -----------------------------------------
                                      x[63]    x[62]
                                  1 + ------ + ------
                                      p[192]   p[191]

                        p[194] x[23] x[63]   p[197] x[23] x[84]
                        ------------------ - ------------------
                              p[196]               p[195]
                 V83 := ---------------------------------------
                                      x[63]    x[84]
                                  1 + ------ + ------
                                      p[196]   p[195]

                              V84 := p[198] x[118]

                        p[199] x[2] x[109]   p[202] x[2] x[77]
                        ------------------ - -----------------
                              p[201]              p[200]
                 V85 := --------------------------------------
                                     x[109]   x[77]
                                 1 + ------ + ------
                                     p[201]   p[200]

                        p[203] x[92] x[79]   p[206] x[92] x[68]
                        ------------------ - ------------------
                              p[205]               p[204]
                 V86 := ---------------------------------------
                                      x[79]    x[68]
                                  1 + ------ + ------
                                      p[205]   p[204]

                       p[207] x[106] x[77]   p[210] x[106] x[44]
                       ------------------- - -------------------
                             p[209]                p[208]
                V87 := -----------------------------------------
                                      x[77]    x[44]
                                  1 + ------ + ------
                                      p[209]   p[208]

                              V88 := p[211] x[119]

                       p[212] x[19] x[110]   p[215] x[19] x[76]
                       ------------------- - ------------------
                             p[214]                p[213]
                V89 := ----------------------------------------
                                     x[110]   x[76]
                                 1 + ------ + ------
                                     p[214]   p[213]

                              V90 := p[216] x[42]

                              V91 := p[217] x[120]

                              V92 := p[218] x[52]

                              V93 := p[219] x[121]

                              V94 := p[220] x[122]

                              V95 := p[221] x[123]

                              V96 := p[222] x[117]

                              V97 := p[223] x[108]

         /p[224] x[124] x[48]   p[232] x[124] x[76]\ /         /x[83] \p[228]\
         |------------------- - -------------------| |p[227] + |------|      |
         \      p[231]                p[230]       / \         \p[226]/      /
  V98 := ---------------------------------------------------------------------
                      /    x[48]    x[76] \ /    /x[83] \p[229]\
                      |1 + ------ + ------| |1 + |------|      |
                      \    p[231]   p[230]/ \    \p[225]/      /

                        f[1] := -p[1] x[1] + p[17] x[29]

                               f[2] := p[1] x[1]

                       f[3] := -p[2] x[3] + p[173] x[112]

                               f[4] := p[2] x[3]

                               f[5] := -p[3] x[5]

                         f[6] := p[3] x[5] - p[14] x[6]

                       f[7] := -p[4] x[7] + p[168] x[111]

                               f[8] := p[4] x[7]

                               f[9] := -p[5] x[9]

                        f[10] := p[5] x[9] - p[10] x[10]

                       f[11] := -p[6] x[11] + p[72] x[70]

                              f[12] := p[6] x[11]

                    f[13] := -p[7] x[13] x[14] + p[15] x[26]

                    f[14] := -p[7] x[13] x[14] + p[22] x[37]

                           f[15] := p[7] x[13] x[14]

                              f[16] := -p[8] x[16]

                        f[17] := p[8] x[16] - p[9] x[17]

                              f[18] := p[9] x[17]

                              f[19] := p[10] x[10]

                     f[20] := -p[11] x[20] + p[143] x[101]

                              f[21] := p[11] x[20]

                      f[22] := -p[12] x[22] + p[13] x[24]

                              f[23] := p[12] x[22]

                             f[24] := -p[13] x[24]

                              f[25] := p[14] x[6]

                      f[26] := -p[15] x[26] + p[35] x[50]

                      f[27] := -p[16] x[27] + p[19] x[32]

                              f[28] := p[16] x[27]

                             f[29] := -p[17] x[29]

                     f[30] := -p[18] x[30] + p[151] x[103]

                              f[31] := p[18] x[30]

                             f[32] := -p[19] x[32]

                     f[33] := -p[20] x[33] + p[174] x[113]

                              f[34] := p[20] x[33]

                             f[35] := -p[21] x[35]

                       f[36] := p[21] x[35] - p[24] x[36]

                      f[37] := -p[22] x[37] + p[133] x[91]

                     f[38] := -p[23] x[38] + p[179] x[114]

                              f[39] := p[23] x[38]

                              f[40] := p[24] x[36]

                             f[41] := -p[25] x[41]

                      f[42] := p[25] x[41] - p[216] x[42]

           p[26] x[45] x[43]   p[29] x[45] x[44]
           ----------------- - -----------------
                 p[28]               p[27]
f[43] := - -------------------------------------
                         x[43]   x[44]
                     1 + ----- + -----
                         p[28]   p[27]

       p[31] x[49] x[48]   p[34] x[49] x[43]
       ----------------- - -----------------
             p[33]               p[32]
     + -------------------------------------
                     x[48]   x[43]
                 1 + ----- + -----
                     p[33]   p[32]

         p[26] x[45] x[43]   p[29] x[45] x[44]
         ----------------- - -----------------
               p[28]               p[27]
f[44] := -------------------------------------
                       x[43]   x[44]
                   1 + ----- + -----
                       p[28]   p[27]

       /p[47] x[21] x[60]   p[55] x[21] x[44]\ /        /x[61]\p[51]\
       |----------------- - -----------------| |p[50] + |-----|     |
       \      p[54]               p[53]      / \        \p[49]/     /
     + --------------------------------------------------------------
                   /    x[60]   x[44]\ /    /x[61]\p[52]\
                   |1 + ----- + -----| |1 + |-----|     |
                   \    p[54]   p[53]/ \    \p[48]/     /

       p[129] x[18] x[44]   p[132] x[18] x[63]
       ------------------ - ------------------
             p[131]               p[130]
     - ---------------------------------------
                     x[44]    x[63]
                 1 + ------ + ------
                     p[131]   p[130]

       p[137] x[97] x[44]   p[140] x[97] x[96]
       ------------------ - ------------------
             p[139]               p[138]
     - ---------------------------------------
                     x[44]    x[96]
                 1 + ------ + ------
                     p[139]   p[138]

       p[169] x[39] x[96]   p[172] x[39] x[44]
       ------------------ - ------------------
             p[171]               p[170]
     + ---------------------------------------
                     x[96]    x[44]
                 1 + ------ + ------
                     p[171]   p[170]

       p[175] x[40] x[85]   p[178] x[40] x[44]
       ------------------ - ------------------
             p[177]               p[176]
     + ---------------------------------------
                     x[85]    x[44]
                 1 + ------ + ------
                     p[177]   p[176]

       p[180] x[8] x[55]   p[183] x[8] x[44]
       ----------------- - -----------------
            p[182]              p[181]
     + -------------------------------------
                    x[55]    x[44]
                1 + ------ + ------
                    p[182]   p[181]

       p[186] x[100] x[44]   p[189] x[100] x[60]
       ------------------- - -------------------
             p[188]                p[187]
     - -----------------------------------------
                      x[44]    x[60]
                  1 + ------ + ------
                      p[188]   p[187]

       p[207] x[106] x[77]   p[210] x[106] x[44]
       ------------------- - -------------------
             p[209]                p[208]
     + -----------------------------------------
                      x[77]    x[44]
                  1 + ------ + ------
                      p[209]   p[208]

bytes used=1007792, alloc=327620, time=0.05
                             f[45] := p[223] x[108]

                     f[46] := -p[30] x[46] + p[211] x[119]

                              f[47] := p[30] x[46]

           p[31] x[49] x[48]   p[34] x[49] x[43]
           ----------------- - -----------------
                 p[33]               p[32]
f[48] := - -------------------------------------
                         x[48]   x[43]
                     1 + ----- + -----
                         p[33]   p[32]

       p[37] x[47] x[48]   p[40] x[47] x[53]
       ----------------- - -----------------
             p[39]               p[38]
     - -------------------------------------
                     x[48]   x[53]
                 1 + ----- + -----
                     p[39]   p[38]

       p[152] x[31] x[66]   p[155] x[31] x[48]
       ------------------ - ------------------
             p[154]               p[153]
     + ---------------------------------------
                     x[66]    x[48]
                 1 + ------ + ------
                     p[154]   p[153]

       p[159] x[25] x[48]   p[162] x[25] x[109]
       ------------------ - -------------------
             p[161]               p[160]
     - ----------------------------------------
                     x[48]    x[109]
                 1 + ------ + ------
                     p[161]   p[160]

       /p[224] x[124] x[48]   p[232] x[124] x[76]\ /         /x[83] \p[228]\
       |------------------- - -------------------| |p[227] + |------|      |
       \      p[231]                p[230]       / \         \p[226]/      /
     - ---------------------------------------------------------------------
                    /    x[48]    x[76] \ /    /x[83] \p[229]\
                    |1 + ------ + ------| |1 + |------|      |
                    \    p[231]   p[230]/ \    \p[225]/      /

                             f[49] := p[218] x[52]

                             f[50] := -p[35] x[50]

                             f[51] := -p[36] x[51]

                      f[52] := p[36] x[51] - p[218] x[52]

         p[37] x[47] x[48]   p[40] x[47] x[53]
         ----------------- - -----------------
               p[39]               p[38]
f[53] := -------------------------------------
                       x[48]   x[53]
                   1 + ----- + -----
                       p[39]   p[38]

       p[164] x[34] x[53]   p[167] x[34] x[110]
       ------------------ - -------------------
             p[166]               p[165]
     - ----------------------------------------
                     x[53]    x[110]
                 1 + ------ + ------
                     p[166]   p[165]

                p[41] x[39] x[54]   p[44] x[39] x[55]
                ----------------- - -----------------
                      p[43]               p[42]         p[126] x[89] x[76]
     f[54] := - ------------------------------------- + -------------------
                              x[54]   x[55]                    /    x[76] \
                          1 + ----- + -----             p[127] |1 + ------|
                              p[43]   p[42]                    \    p[127]/

         p[41] x[39] x[54]   p[44] x[39] x[55]
         ----------------- - -----------------
               p[43]               p[42]
f[55] := -------------------------------------
                       x[54]   x[55]
                   1 + ----- + -----
                       p[43]   p[42]

       p[180] x[8] x[55]   p[183] x[8] x[44]
       ----------------- - -----------------
            p[182]              p[181]
     - -------------------------------------
                    x[55]    x[44]
                1 + ------ + ------
                    p[182]   p[181]

                             f[56] := -p[45] x[56]

                      f[57] := p[45] x[56] - p[134] x[57]

                             f[58] := -p[46] x[58]

                      f[59] := p[46] x[58] - p[148] x[59]

           /p[47] x[21] x[60]   p[55] x[21] x[44]\ /        /x[61]\p[51]\
           |----------------- - -----------------| |p[50] + |-----|     |
           \      p[54]               p[53]      / \        \p[49]/     /
f[60] := - --------------------------------------------------------------
                       /    x[60]   x[44]\ /    /x[61]\p[52]\
                       |1 + ----- + -----| |1 + |-----|     |
                       \    p[54]   p[53]/ \    \p[48]/     /

       p[186] x[100] x[44]   p[189] x[100] x[60]
       ------------------- - -------------------
             p[188]                p[187]
     + -----------------------------------------
                      x[44]    x[60]
                  1 + ------ + ------
                      p[188]   p[187]

                                   f[61] := 0

           p[56] x[64] x[62]   p[59] x[64] x[63]
           ----------------- - -----------------
                 p[58]               p[57]
f[62] := - -------------------------------------
                         x[62]   x[63]
                     1 + ----- + -----
                         p[58]   p[57]

       p[190] x[100] x[63]   p[193] x[100] x[62]
       ------------------- - -------------------
             p[192]                p[191]
     + -----------------------------------------
                      x[63]    x[62]
                  1 + ------ + ------
                      p[192]   p[191]

         p[56] x[64] x[62]   p[59] x[64] x[63]
         ----------------- - -----------------
               p[58]               p[57]
f[63] := -------------------------------------
                       x[62]   x[63]
                   1 + ----- + -----
                       p[58]   p[57]

       p[64] x[39] x[67]   p[67] x[39] x[63]
       ----------------- - -----------------
             p[66]               p[65]
     + -------------------------------------
                     x[67]   x[63]
                 1 + ----- + -----
                     p[66]   p[65]

       p[129] x[18] x[44]   p[132] x[18] x[63]
       ------------------ - ------------------
             p[131]               p[130]
     + ---------------------------------------
                     x[44]    x[63]
                 1 + ------ + ------
                     p[131]   p[130]

       p[144] x[97] x[63]   p[147] x[97] x[67]
       ------------------ - ------------------
             p[146]               p[145]
     - ---------------------------------------
                     x[63]    x[67]
                 1 + ------ + ------
                     p[146]   p[145]

       p[190] x[100] x[63]   p[193] x[100] x[62]
       ------------------- - -------------------
             p[192]                p[191]
     - -----------------------------------------
                      x[63]    x[62]
                  1 + ------ + ------
                      p[192]   p[191]

       p[194] x[23] x[63]   p[197] x[23] x[84]
       ------------------ - ------------------
             p[196]               p[195]
     - ---------------------------------------
                     x[63]    x[84]
                 1 + ------ + ------
                     p[196]   p[195]

                             f[64] := p[149] x[102]

           p[60] x[4] x[65]   p[63] x[4] x[66]
           ---------------- - ----------------
                p[62]              p[61]
f[65] := - -----------------------------------
                        x[65]   x[66]
                    1 + ----- + -----
                        p[62]   p[61]

       p[80] x[75] x[69]   p[83] x[75] x[65]
       ----------------- - -----------------
             p[82]               p[81]
     + -------------------------------------
                     x[69]   x[65]
                 1 + ----- + -----
                     p[82]   p[81]

         p[60] x[4] x[65]   p[63] x[4] x[66]
         ---------------- - ----------------
              p[62]              p[61]
f[66] := -----------------------------------
                      x[65]   x[66]
                  1 + ----- + -----
                      p[62]   p[61]

       p[152] x[31] x[66]   p[155] x[31] x[48]
       ------------------ - ------------------
             p[154]               p[153]
     - ---------------------------------------
                     x[66]    x[48]
                 1 + ------ + ------
                     p[154]   p[153]

           p[64] x[39] x[67]   p[67] x[39] x[63]
           ----------------- - -----------------
                 p[66]               p[65]
f[67] := - -------------------------------------
                         x[67]   x[63]
                     1 + ----- + -----
                         p[66]   p[65]

       p[144] x[97] x[63]   p[147] x[97] x[67]
       ------------------ - ------------------
             p[146]               p[145]
     + ---------------------------------------
                     x[63]    x[67]
                 1 + ------ + ------
                     p[146]   p[145]

           p[68] x[12] x[68]   p[71] x[12] x[69]
           ----------------- - -----------------
                 p[70]               p[69]
f[68] := - -------------------------------------
                         x[68]   x[69]
                     1 + ----- + -----
                         p[70]   p[69]

       p[203] x[92] x[79]   p[206] x[92] x[68]
       ------------------ - ------------------
             p[205]               p[204]
     + ---------------------------------------
                     x[79]    x[68]
                 1 + ------ + ------
                     p[205]   p[204]

         p[68] x[12] x[68]   p[71] x[12] x[69]
         ----------------- - -----------------
               p[70]               p[69]
f[69] := -------------------------------------
                       x[68]   x[69]
                   1 + ----- + -----
                       p[70]   p[69]

       p[80] x[75] x[69]   p[83] x[75] x[65]
       ----------------- - -----------------
             p[82]               p[81]
     - -------------------------------------
                     x[69]   x[65]
                 1 + ----- + -----
                     p[82]   p[81]

                             f[70] := -p[72] x[70]

                                        /        /x[44]\p[77]\
                            p[73] x[71] |p[76] + |-----|     |
                                        \        \p[75]/     /
                 f[71] := - ----------------------------------
                                         /x[44]\p[78]
                                     1 + |-----|
                                         \p[74]/

                                /        /x[44]\p[77]\
                    p[73] x[71] |p[76] + |-----|     |
                                \        \p[75]/     /
           f[72] := ---------------------------------- - p[142] x[72]
                                 /x[44]\p[78]
                             1 + |-----|
                                 \p[74]/

                      f[73] := -p[79] x[73] + p[128] x[90]

                              f[74] := p[79] x[73]

                             f[75] := p[148] x[59]

           p[84] x[28] x[76]   p[87] x[28] x[77]
           ----------------- - -----------------
                 p[86]               p[85]         p[126] x[89] x[76]
f[76] := - ------------------------------------- - -------------------
                         x[76]   x[77]                    /    x[76] \
                     1 + ----- + -----             p[127] |1 + ------|
                         p[86]   p[85]                    \    p[127]/

       p[212] x[19] x[110]   p[215] x[19] x[76]
       ------------------- - ------------------
             p[214]                p[213]
     + ----------------------------------------
                     x[110]   x[76]
                 1 + ------ + ------
                     p[214]   p[213]

       /p[224] x[124] x[48]   p[232] x[124] x[76]\ /         /x[83] \p[228]\
       |------------------- - -------------------| |p[227] + |------|      |
       \      p[231]                p[230]       / \         \p[226]/      /
     + ---------------------------------------------------------------------
                    /    x[48]    x[76] \ /    /x[83] \p[229]\
                    |1 + ------ + ------| |1 + |------|      |
                    \    p[231]   p[230]/ \    \p[225]/      /

         p[84] x[28] x[76]   p[87] x[28] x[77]
         ----------------- - -----------------
               p[86]               p[85]
f[77] := -------------------------------------
                       x[76]   x[77]
                   1 + ----- + -----
                       p[86]   p[85]

       p[199] x[2] x[109]   p[202] x[2] x[77]
       ------------------ - -----------------
             p[201]              p[200]
     + --------------------------------------
                    x[109]   x[77]
                1 + ------ + ------
                    p[201]   p[200]

       p[207] x[106] x[77]   p[210] x[106] x[44]
       ------------------- - -------------------
             p[209]                p[208]
     - -----------------------------------------
                      x[77]    x[44]
                  1 + ------ + ------
                      p[209]   p[208]

                       /p[88] x[15] x[78]   p[94] x[15] x[79]\
                       |----------------- - -----------------| p[89]
                       \      p[93]               p[92]      /
            f[78] := - ---------------------------------------------
                          /    x[78]   x[79]\ /    /x[48]\p[90]\
                          |1 + ----- + -----| |1 + |-----|     |
                          \    p[93]   p[92]/ \    \p[91]/     /

         /p[88] x[15] x[78]   p[94] x[15] x[79]\
         |----------------- - -----------------| p[89]
         \      p[93]               p[92]      /
f[79] := ---------------------------------------------
            /    x[78]   x[79]\ /    /x[48]\p[90]\
            |1 + ----- + -----| |1 + |-----|     |
            \    p[93]   p[92]/ \    \p[91]/     /

       p[203] x[92] x[79]   p[206] x[92] x[68]
       ------------------ - ------------------
             p[205]               p[204]
     - ---------------------------------------
                     x[79]    x[68]
                 1 + ------ + ------
                     p[205]   p[204]

                     f[80] := -p[95] x[80] + p[198] x[118]

                              f[81] := p[95] x[80]

                      f[82] := -p[96] x[82] + p[135] x[93]

                              f[83] := p[96] x[82]

           /p[97] x[81] x[84]   p[125] x[81] x[85]\ /         /x[86] \p[111]
f[84] := - |----------------- - ------------------| |p[110] + |------|
           \     p[124]               p[123]      / \         \p[104]/

    /x[74] \p[112] /x[87] \p[113] /x[88] \p[114] /x[74] \p[115] /x[87] \p[116]\
    |------|       |------|       |------|       |------|       |------|      |
    \p[105]/       \p[106]/       \p[107]/       \p[108]/       \p[109]/      /

       / //    x[84]    x[85] \ /    /x[86]\p[117] /x[74]\p[118] /x[87] \p[119]
      /  ||1 + ------ + ------| |1 + |-----|       |-----|       |------|
     /   \\    p[124]   p[123]/ \    \p[98]/       \p[99]/       \p[100]/

    /x[88] \p[120] /x[74] \p[121] /x[87] \p[122]\\
    |------|       |------|       |------|      ||
    \p[101]/       \p[102]/       \p[103]/      //

       p[194] x[23] x[63]   p[197] x[23] x[84]
       ------------------ - ------------------
             p[196]               p[195]
     + ---------------------------------------
                     x[63]    x[84]
                 1 + ------ + ------
                     p[196]   p[195]

         /p[97] x[81] x[84]   p[125] x[81] x[85]\ /         /x[86] \p[111]
f[85] := |----------------- - ------------------| |p[110] + |------|
         \     p[124]               p[123]      / \         \p[104]/

    /x[74] \p[112] /x[87] \p[113] /x[88] \p[114] /x[74] \p[115] /x[87] \p[116]\
    |------|       |------|       |------|       |------|       |------|      |
    \p[105]/       \p[106]/       \p[107]/       \p[108]/       \p[109]/      /

       / //    x[84]    x[85] \ /    /x[86]\p[117] /x[74]\p[118] /x[87] \p[119]
      /  ||1 + ------ + ------| |1 + |-----|       |-----|       |------|
     /   \\    p[124]   p[123]/ \    \p[98]/       \p[99]/       \p[100]/

    /x[88] \p[120] /x[74] \p[121] /x[87] \p[122]\\
    |------|       |------|       |------|      ||
    \p[101]/       \p[102]/       \p[103]/      //

       p[175] x[40] x[85]   p[178] x[40] x[44]
       ------------------ - ------------------
             p[177]               p[176]
     - ---------------------------------------
                     x[85]    x[44]
                 1 + ------ + ------
                     p[177]   p[176]

                             f[86] := p[217] x[120]

                             f[87] := p[163] x[95]

                             f[88] := p[216] x[42]

                             f[89] := p[150] x[99]

                             f[90] := -p[128] x[90]

                             f[91] := -p[133] x[91]

                             f[92] := p[134] x[57]

                             f[93] := -p[135] x[93]

                             f[94] := -p[136] x[94]

                      f[95] := p[136] x[94] - p[163] x[95]

         p[137] x[97] x[44]   p[140] x[97] x[96]
         ------------------ - ------------------
               p[139]               p[138]
f[96] := ---------------------------------------
                       x[44]    x[96]
                   1 + ------ + ------
                       p[139]   p[138]

       p[169] x[39] x[96]   p[172] x[39] x[44]
       ------------------ - ------------------
             p[171]               p[170]
     - ---------------------------------------
                     x[96]    x[44]
                 1 + ------ + ------
                     p[171]   p[170]

                             f[97] := p[219] x[121]

                             f[98] := -p[141] x[98]

                      f[99] := p[141] x[98] - p[150] x[99]

                             f[100] := p[142] x[72]

                            f[101] := -p[143] x[101]

                    f[102] := -p[149] x[102] + p[156] x[104]

                            f[103] := -p[151] x[103]

                            f[104] := -p[156] x[104]

                    f[105] := -p[157] x[105] + p[184] x[115]

                            f[106] := p[157] x[105]

                            f[107] := -p[158] x[107]

                    f[108] := p[158] x[107] - p[223] x[108]

          p[159] x[25] x[48]   p[162] x[25] x[109]
          ------------------ - -------------------
                p[161]               p[160]
f[109] := ----------------------------------------
                        x[48]    x[109]
                    1 + ------ + ------
                        p[161]   p[160]

       p[199] x[2] x[109]   p[202] x[2] x[77]
       ------------------ - -----------------
             p[201]              p[200]
     - --------------------------------------
                    x[109]   x[77]
                1 + ------ + ------
                    p[201]   p[200]

          p[164] x[34] x[53]   p[167] x[34] x[110]
          ------------------ - -------------------
                p[166]               p[165]
f[110] := ----------------------------------------
                        x[53]    x[110]
                    1 + ------ + ------
                        p[166]   p[165]

       p[212] x[19] x[110]   p[215] x[19] x[76]
       ------------------- - ------------------
             p[214]                p[213]
     - ----------------------------------------
                     x[110]   x[76]
                 1 + ------ + ------
                     p[214]   p[213]

                            f[111] := -p[168] x[111]

                            f[112] := -p[173] x[112]

                            f[113] := -p[174] x[113]

                            f[114] := -p[179] x[114]

                            f[115] := -p[184] x[115]

                            f[116] := -p[185] x[116]

                    f[117] := p[185] x[116] - p[222] x[117]

                            f[118] := -p[198] x[118]

                            f[119] := -p[211] x[119]

                    f[120] := -p[217] x[120] + p[221] x[123]

                    f[121] := -p[219] x[121] + p[220] x[122]

                            f[122] := -p[220] x[122]

                            f[123] := -p[221] x[123]

                            f[124] := p[222] x[117]

bytes used=1615104, alloc=327620, time=0.05
