Script started on Tue 27 Nov 2012 13:58:10 GMT
]0;gaius@j228-gm: ~/Sandpit/pgegaius@j228-gm:~/Sandpit/pge$ maxima

Maxima 5.21.1 http://maxima.sourceforge.net
using Lisp GNU Common Lisp (GCL) GCL 2.6.7 (a.k.a. GCL)
Distributed under the GNU Public License. See the file COPYING.
Dedicated to the memory of William Schelter.
The function bug_report() provides bug reporting information.
(%i1) 
(%i1) C(X) := ''1 - X^2/2 + X^4/4 ;

                                           2    4
                                          X    X
(%o1)                         C(X) := 1 - -- + --
                                          2    4
(%i2) 
(%i2) S(X) := ''C(%pi/2-X);

                                        %pi
(%o2)                         S(X) := C(--- - X)
                                         2
(%i3) 
(%i3) ((a + b*t + c*t^2/2 + d * S(e * t + f)) - (g + h * t + i * t^2/2 + j * S(k*t+l)))^2  
+


((m + n*t + o*t^2/2 + p * S(q * t + r)) - (s + u * t + v * t^2/2 + w * S(x*t+y)))^2 - z;

                                   %pi 4                %pi 2
                      (- y - t x + ---)    (- y - t x + ---)          2
                                    2                    2           t  v
(%o3) - z + expt(- w (------------------ - ------------------ + 1) - ---- - t u
                              4                    2                  2
                   %pi 4                %pi 2
      (- q t - r + ---)    (- q t - r + ---)            2
                    2                    2           o t
 + p (------------------ - ------------------ + 1) + ---- + n t - s + m, 2)
              4                    2                  2
                          %pi 4                %pi 2
             (- k t - l + ---)    (- k t - l + ---)
                           2                    2
 + expt(- j (------------------ - ------------------ + 1)
                     4                    2
                   %pi 4                %pi 2
      (- e t - f + ---)    (- e t - f + ---)            2      2
                    2                    2           i t    c t
 + d (------------------ - ------------------ + 1) - ---- + ---- - h t + b t
              4                    2                  2      2
 - g + a, 2)
(%i4) 
(%i4) ratsimp(%);

                       2  8              2           2     7
(%o4) - (4096 z - 256 w  y  + (1024 %pi w  - 2048 t w  x) y
            2  2  2               2                     2   2   6
 + (- 7168 t  w  x  + 7168 %pi t w  x + (1024 - 1792 %pi ) w ) y
             3  2  3              2  2  2                    2     2
 + (- 14336 t  w  x  + 21504 %pi t  w  x  + (6144 - 10752 %pi ) t w  x
            3              2   5             4  2  4              3  2  3
 + (1792 %pi  - 3072 %pi) w ) y  + (- 17920 t  w  x  + 35840 %pi t  w  x
                     2   2  2  2            3                 2
 + (15360 - 26880 %pi ) t  w  x  + (8960 %pi  - 15360 %pi) t w  x
              4           2          2            2                       4  4
 + (- 1120 %pi  + 3840 %pi  - 3072) w  + (- 1024 t  v - 2048 t u + 512 p q  t
            3                 3   3            2  2               2
 + (2048 p q  r - 1024 %pi p q ) t  + (3072 p q  r  - 3072 %pi p q  r
           2            2            2              3                 2
 + (768 %pi  - 1024) p q  + 1024 o) t  + (2048 p q r  - 3072 %pi p q r
            2                                    3
 + (1536 %pi  - 2048) p q r + (1024 %pi - 256 %pi ) p q + 2048 n) t - 2048 s
          4               3           2            2
 + 512 p r  - 1024 %pi p r  + (768 %pi  - 1024) p r
                      3               4          2                         4
 + (1024 %pi - 256 %pi ) p r + (32 %pi  - 256 %pi  + 2048) p + 2048 m) w) y
             5  2  5              4  2  4                     2   3  2  3
 + (- 14336 t  w  x  + 35840 %pi t  w  x  + (20480 - 35840 %pi ) t  w  x
             3               2  2  2               4            2             2
 + (17920 %pi  - 30720 %pi) t  w  x  + ((- 4480 %pi  + 15360 %pi  - 12288) t w
            3           2             4  5            3                 3   4
 + (- 4096 t  v - 8192 t  u + 2048 p q  t  + (8192 p q  r - 4096 %pi p q ) t
             2  2                2              2            2            3
 + (12288 p q  r  - 12288 %pi p q  r + (3072 %pi  - 4096) p q  + 4096 o) t
              3                  2            2
 + (8192 p q r  - 12288 %pi p q r  + (6144 %pi  - 8192) p q r
                       3                 2
 + (4096 %pi - 1024 %pi ) p q + 8192 n) t
                       4               3            2            2
 + (- 8192 s + 2048 p r  - 4096 %pi p r  + (3072 %pi  - 4096) p r
                       3                4           2
 + (4096 %pi - 1024 %pi ) p r + (128 %pi  - 1024 %pi  + 8192) p + 8192 m) t) w)
             5           3              2
 x + (448 %pi  - 2560 %pi  + 6144 %pi) w
              2                                4  4
 + (2048 %pi t  v + 4096 %pi t u - 1024 %pi p q  t
            2    3               3     3
 + (2048 %pi  p q  - 4096 %pi p q  r) t
                  2  2           2    2                         3     2
 + (- 6144 %pi p q  r  + 6144 %pi  p q  r + (2048 %pi - 1536 %pi ) p q
                2                    3           2      2
 - 2048 %pi o) t  + (- 4096 %pi p q r  + 6144 %pi  p q r
                       3                  4           2
 + (4096 %pi - 3072 %pi ) p q r + (512 %pi  - 2048 %pi ) p q - 4096 %pi n) t
                            4           2    3                       3     2
 + 4096 %pi s - 1024 %pi p r  + 2048 %pi  p r  + (2048 %pi - 1536 %pi ) p r
           4           2                 5          3
 + (512 %pi  - 2048 %pi ) p r + (- 64 %pi  + 512 %pi  - 4096 %pi) p
                   3            6  2  6              5  2  5
 - 4096 %pi m) w) y  + (- 7168 t  w  x  + 21504 %pi t  w  x
                     2   4  2  4             3               3  2  3
 + (15360 - 26880 %pi ) t  w  x  + (17920 %pi  - 30720 %pi) t  w  x
               4            2           2  2
 + ((- 6720 %pi  + 23040 %pi  - 18432) t  w
            4            3             4  6             3                 3   5
 + (- 6144 t  v - 12288 t  u + 3072 p q  t  + (12288 p q  r - 6144 %pi p q ) t
             2  2                2              2            2            4
 + (18432 p q  r  - 18432 %pi p q  r + (4608 %pi  - 6144) p q  + 6144 o) t
               3                  2            2
 + (12288 p q r  - 18432 %pi p q r  + (9216 %pi  - 12288) p q r
                       3                  3
 + (6144 %pi - 1536 %pi ) p q + 12288 n) t
                        4               3            2            2
 + (- 12288 s + 3072 p r  - 6144 %pi p r  + (4608 %pi  - 6144) p r
                       3                4           2                        2
 + (6144 %pi - 1536 %pi ) p r + (192 %pi  - 1536 %pi  + 12288) p + 12288 m) t )
     2             5           3                 2
 w) x  + ((1344 %pi  - 7680 %pi  + 18432 %pi) t w
              3                2                 4  5
 + (6144 %pi t  v + 12288 %pi t  u - 3072 %pi p q  t
            2    3                3     4
 + (6144 %pi  p q  - 12288 %pi p q  r) t
                   2  2            2    2                         3     2
 + (- 18432 %pi p q  r  + 18432 %pi  p q  r + (6144 %pi - 4608 %pi ) p q
                3                     3            2      2
 - 6144 %pi o) t  + (- 12288 %pi p q r  + 18432 %pi  p q r
                        3                   4           2
 + (12288 %pi - 9216 %pi ) p q r + (1536 %pi  - 6144 %pi ) p q - 12288 %pi n)
  2                              4           2    3
 t  + (12288 %pi s - 3072 %pi p r  + 6144 %pi  p r
                       3     2            4           2
 + (6144 %pi - 4608 %pi ) p r  + (1536 %pi  - 6144 %pi ) p r
             5           3
 + (- 192 %pi  + 1536 %pi  - 12288 %pi) p - 12288 %pi m) t) w) x
             6          4           2          2
 + (- 112 %pi  + 960 %pi  - 4608 %pi  + 4096) w
                    2   2                     2
 + ((2048 - 1536 %pi ) t  v + (4096 - 3072 %pi ) t u
           2            4  4             2            3
 + (768 %pi  - 1024) p q  t  + ((3072 %pi  - 4096) p q  r
                       3     3   3             2            2  2
 + (2048 %pi - 1536 %pi ) p q ) t  + ((4608 %pi  - 6144) p q  r
                       3     2              4           2            2
 + (6144 %pi - 4608 %pi ) p q  r + (1152 %pi  - 3072 %pi  + 2048) p q
            2             2             2              3
 + (1536 %pi  - 2048) o) t  + ((3072 %pi  - 4096) p q r
                       3       2            4           2
 + (6144 %pi - 4608 %pi ) p q r  + (2304 %pi  - 6144 %pi  + 4096) p q r
             5           3                            2
 + (- 384 %pi  + 2048 %pi  - 2048 %pi) p q + (3072 %pi  - 4096) n) t
                   2              2            4                       3     3
 + (4096 - 3072 %pi ) s + (768 %pi  - 1024) p r  + (2048 %pi - 1536 %pi ) p r
            4           2            2             5           3
 + (1152 %pi  - 3072 %pi  + 2048) p r  + (- 384 %pi  + 2048 %pi  - 2048 %pi) p
            6          4           2                      2                2
 r + (48 %pi  - 448 %pi  + 3584 %pi  - 4096) p + (3072 %pi  - 4096) m) w) y
            7  2  7             6  2  6                    2   5  2  5
 + (- 2048 t  w  x  + 7168 %pi t  w  x  + (6144 - 10752 %pi ) t  w  x
            3               4  2  4               4            2           3  2
 + (8960 %pi  - 15360 %pi) t  w  x  + ((- 4480 %pi  + 15360 %pi  - 12288) t  w
            5           4             4  7            3                 3   6
 + (- 4096 t  v - 8192 t  u + 2048 p q  t  + (8192 p q  r - 4096 %pi p q ) t
             2  2                2              2            2            5
 + (12288 p q  r  - 12288 %pi p q  r + (3072 %pi  - 4096) p q  + 4096 o) t
              3                  2            2
 + (8192 p q r  - 12288 %pi p q r  + (6144 %pi  - 8192) p q r
                       3                 4
 + (4096 %pi - 1024 %pi ) p q + 8192 n) t
                       4               3            2            2
 + (- 8192 s + 2048 p r  - 4096 %pi p r  + (3072 %pi  - 4096) p r
                       3                4           2                      3
 + (4096 %pi - 1024 %pi ) p r + (128 %pi  - 1024 %pi  + 8192) p + 8192 m) t )
     3             5           3               2  2
 w) x  + ((1344 %pi  - 7680 %pi  + 18432 %pi) t  w
              4                3                 4  6
 + (6144 %pi t  v + 12288 %pi t  u - 3072 %pi p q  t
            2    3                3     5
 + (6144 %pi  p q  - 12288 %pi p q  r) t
                   2  2            2    2                         3     2
 + (- 18432 %pi p q  r  + 18432 %pi  p q  r + (6144 %pi - 4608 %pi ) p q
                4                     3            2      2
 - 6144 %pi o) t  + (- 12288 %pi p q r  + 18432 %pi  p q r
                        3                   4           2
 + (12288 %pi - 9216 %pi ) p q r + (1536 %pi  - 6144 %pi ) p q - 12288 %pi n)
  3                              4           2    3
 t  + (12288 %pi s - 3072 %pi p r  + 6144 %pi  p r
                       3     2            4           2
 + (6144 %pi - 4608 %pi ) p r  + (1536 %pi  - 6144 %pi ) p r
             5           3                                2      2
 + (- 192 %pi  + 1536 %pi  - 12288 %pi) p - 12288 %pi m) t ) w) x
              6           4           2            2
 + ((- 224 %pi  + 1920 %pi  - 9216 %pi  + 8192) t w
                    2   3                     2   2
 + ((4096 - 3072 %pi ) t  v + (8192 - 6144 %pi ) t  u
            2            4  5             2            3
 + (1536 %pi  - 2048) p q  t  + ((6144 %pi  - 8192) p q  r
                       3     3   4             2             2  2
 + (4096 %pi - 3072 %pi ) p q ) t  + ((9216 %pi  - 12288) p q  r
                        3     2              4           2            2
 + (12288 %pi - 9216 %pi ) p q  r + (2304 %pi  - 6144 %pi  + 4096) p q
            2             3             2              3
 + (3072 %pi  - 4096) o) t  + ((6144 %pi  - 8192) p q r
                        3       2            4            2
 + (12288 %pi - 9216 %pi ) p q r  + (4608 %pi  - 12288 %pi  + 8192) p q r
             5           3                            2             2
 + (- 768 %pi  + 4096 %pi  - 4096 %pi) p q + (6144 %pi  - 8192) n) t
                    2               2            4
 + ((8192 - 6144 %pi ) s + (1536 %pi  - 2048) p r
                       3     3            4           2            2
 + (4096 %pi - 3072 %pi ) p r  + (2304 %pi  - 6144 %pi  + 4096) p r
             5           3
 + (- 768 %pi  + 4096 %pi  - 4096 %pi) p r
          6          4           2                      2
 + (96 %pi  - 896 %pi  + 7168 %pi  - 8192) p + (6144 %pi  - 8192) m) t) w) x
          7          5           3              2
 + (16 %pi  - 192 %pi  + 1536 %pi  - 4096 %pi) w
            3              2              3
 + ((512 %pi  - 2048 %pi) t  v + (1024 %pi  - 4096 %pi) t u
                      3     4  4                        3     3
 + (1024 %pi - 256 %pi ) p q  t  + ((4096 %pi - 1024 %pi ) p q  r
           4           2     3   3                        3     2  2
 + (512 %pi  - 2048 %pi ) p q ) t  + ((6144 %pi - 1536 %pi ) p q  r
            4           2     2               5           3                2
 + (1536 %pi  - 6144 %pi ) p q  r + (- 384 %pi  + 2048 %pi  - 2048 %pi) p q
                      3      2                        3       3
 + (2048 %pi - 512 %pi ) o) t  + ((4096 %pi - 1024 %pi ) p q r
            4           2       2             5           3
 + (1536 %pi  - 6144 %pi ) p q r  + (- 768 %pi  + 4096 %pi  - 4096 %pi) p q r
           6           4           2                            3
 + (128 %pi  - 1024 %pi  + 2048 %pi ) p q + (4096 %pi - 1024 %pi ) n) t
            3                                    3     4
 + (1024 %pi  - 4096 %pi) s + (1024 %pi - 256 %pi ) p r
           4           2     3             5           3                2
 + (512 %pi  - 2048 %pi ) p r  + (- 384 %pi  + 2048 %pi  - 2048 %pi) p r
           6           4           2
 + (128 %pi  - 1024 %pi  + 2048 %pi ) p r
            7          5           3                                     3
 + (- 16 %pi  + 192 %pi  - 1536 %pi  + 4096 %pi) p + (4096 %pi - 1024 %pi ) m)
             8  2  8             7  2  7                   2   6  2  6
 w) y - 256 t  w  x  + 1024 %pi t  w  x  + (1024 - 1792 %pi ) t  w  x
            3              5  2  5               4           2          4  2
 + (1792 %pi  - 3072 %pi) t  w  x  + ((- 1120 %pi  + 3840 %pi  - 3072) t  w
            6           5            4  8            3                 3   7
 + (- 1024 t  v - 2048 t  u + 512 p q  t  + (2048 p q  r - 1024 %pi p q ) t
            2  2               2             2            2            6
 + (3072 p q  r  - 3072 %pi p q  r + (768 %pi  - 1024) p q  + 1024 o) t
              3                 2            2
 + (2048 p q r  - 3072 %pi p q r  + (1536 %pi  - 2048) p q r
                      3                 5
 + (1024 %pi - 256 %pi ) p q + 2048 n) t
                      4               3           2            2
 + (- 2048 s + 512 p r  - 1024 %pi p r  + (768 %pi  - 1024) p r
                      3               4          2                      4
 + (1024 %pi - 256 %pi ) p r + (32 %pi  - 256 %pi  + 2048) p + 2048 m) t ) w)
  4            5           3              3  2
 x  + ((448 %pi  - 2560 %pi  + 6144 %pi) t  w
              5               4                 4  7
 + (2048 %pi t  v + 4096 %pi t  u - 1024 %pi p q  t
            2    3               3     6
 + (2048 %pi  p q  - 4096 %pi p q  r) t
                  2  2           2    2                         3     2
 + (- 6144 %pi p q  r  + 6144 %pi  p q  r + (2048 %pi - 1536 %pi ) p q
                5                    3           2      2
 - 2048 %pi o) t  + (- 4096 %pi p q r  + 6144 %pi  p q r
                       3                  4           2                     4
 + (4096 %pi - 3072 %pi ) p q r + (512 %pi  - 2048 %pi ) p q - 4096 %pi n) t
                             4           2    3                       3     2
 + (4096 %pi s - 1024 %pi p r  + 2048 %pi  p r  + (2048 %pi - 1536 %pi ) p r
           4           2                 5          3
 + (512 %pi  - 2048 %pi ) p r + (- 64 %pi  + 512 %pi  - 4096 %pi) p
                3      3              6          4           2          2  2
 - 4096 %pi m) t ) w) x  + ((- 112 %pi  + 960 %pi  - 4608 %pi  + 4096) t  w
                    2   4                     2   3
 + ((2048 - 1536 %pi ) t  v + (4096 - 3072 %pi ) t  u
           2            4  6             2            3
 + (768 %pi  - 1024) p q  t  + ((3072 %pi  - 4096) p q  r
                       3     3   5             2            2  2
 + (2048 %pi - 1536 %pi ) p q ) t  + ((4608 %pi  - 6144) p q  r
                       3     2              4           2            2
 + (6144 %pi - 4608 %pi ) p q  r + (1152 %pi  - 3072 %pi  + 2048) p q
            2             4             2              3
 + (1536 %pi  - 2048) o) t  + ((3072 %pi  - 4096) p q r
                       3       2            4           2
 + (6144 %pi - 4608 %pi ) p q r  + (2304 %pi  - 6144 %pi  + 4096) p q r
             5           3                            2             3
 + (- 384 %pi  + 2048 %pi  - 2048 %pi) p q + (3072 %pi  - 4096) n) t
                    2              2            4                       3     3
 + ((4096 - 3072 %pi ) s + (768 %pi  - 1024) p r  + (2048 %pi - 1536 %pi ) p r
            4           2            2             5           3
 + (1152 %pi  - 3072 %pi  + 2048) p r  + (- 384 %pi  + 2048 %pi  - 2048 %pi) p
            6          4           2                      2             2
 r + (48 %pi  - 448 %pi  + 3584 %pi  - 4096) p + (3072 %pi  - 4096) m) t ) w)
  2           7          5           3                2
 x  + ((16 %pi  - 192 %pi  + 1536 %pi  - 4096 %pi) t w
            3              3              3              2
 + ((512 %pi  - 2048 %pi) t  v + (1024 %pi  - 4096 %pi) t  u
                      3     4  5                        3     3
 + (1024 %pi - 256 %pi ) p q  t  + ((4096 %pi - 1024 %pi ) p q  r
           4           2     3   4                        3     2  2
 + (512 %pi  - 2048 %pi ) p q ) t  + ((6144 %pi - 1536 %pi ) p q  r
            4           2     2               5           3                2
 + (1536 %pi  - 6144 %pi ) p q  r + (- 384 %pi  + 2048 %pi  - 2048 %pi) p q
                      3      3                        3       3
 + (2048 %pi - 512 %pi ) o) t  + ((4096 %pi - 1024 %pi ) p q r
            4           2       2             5           3
 + (1536 %pi  - 6144 %pi ) p q r  + (- 768 %pi  + 4096 %pi  - 4096 %pi) p q r
           6           4           2                            3      2
 + (128 %pi  - 1024 %pi  + 2048 %pi ) p q + (4096 %pi - 1024 %pi ) n) t
             3                                    3     4
 + ((1024 %pi  - 4096 %pi) s + (1024 %pi - 256 %pi ) p r
           4           2     3             5           3                2
 + (512 %pi  - 2048 %pi ) p r  + (- 384 %pi  + 2048 %pi  - 2048 %pi) p r
           6           4           2
 + (128 %pi  - 1024 %pi  + 2048 %pi ) p r
            7          5           3                                     3
 + (- 16 %pi  + 192 %pi  - 1536 %pi  + 4096 %pi) p + (4096 %pi - 1024 %pi ) m)
                 8         6          4           2          2
 t) w) x + (- %pi  + 16 %pi  - 192 %pi  + 1024 %pi  - 4096) w
             4          2          2               4           2
 + ((- 64 %pi  + 512 %pi  - 4096) t  v + (- 128 %pi  + 1024 %pi  - 8192) t u
          4          2            4  4            4           2            3
 + (32 %pi  - 256 %pi  + 2048) p q  t  + ((128 %pi  - 1024 %pi  + 8192) p q  r
            5          3                3   3
 + (- 64 %pi  + 512 %pi  - 4096 %pi) p q ) t
            4           2             2  2
 + ((192 %pi  - 1536 %pi  + 12288) p q  r
             5           3                 2
 + (- 192 %pi  + 1536 %pi  - 12288 %pi) p q  r
          6          4           2            2
 + (48 %pi  - 448 %pi  + 3584 %pi  - 4096) p q
          4          2             2            4           2              3
 + (64 %pi  - 512 %pi  + 4096) o) t  + ((128 %pi  - 1024 %pi  + 8192) p q r
             5           3                   2
 + (- 192 %pi  + 1536 %pi  - 12288 %pi) p q r
          6          4           2
 + (96 %pi  - 896 %pi  + 7168 %pi  - 8192) p q r
            7          5           3
 + (- 16 %pi  + 192 %pi  - 1536 %pi  + 4096 %pi) p q
           4           2                          4           2
 + (128 %pi  - 1024 %pi  + 8192) n) t + (- 128 %pi  + 1024 %pi  - 8192) s
          4          2            4            5          3                3
 + (32 %pi  - 256 %pi  + 2048) p r  + (- 64 %pi  + 512 %pi  - 4096 %pi) p r
          6          4           2            2
 + (48 %pi  - 448 %pi  + 3584 %pi  - 4096) p r
            7          5           3
 + (- 16 %pi  + 192 %pi  - 1536 %pi  + 4096 %pi) p r
         8         6          4           2
 + (2 %pi  - 32 %pi  + 384 %pi  - 2048 %pi  + 8192) p
           4           2                      4  2
 + (128 %pi  - 1024 %pi  + 8192) m) w - 1024 t  v
            3             4  6            3                 3   5
 + (- 4096 t  u + 1024 p q  t  + (4096 p q  r - 2048 %pi p q ) t
            2  2               2              2            2            4
 + (6144 p q  r  - 6144 %pi p q  r + (1536 %pi  - 2048) p q  + 2048 o) t
              3                 2            2
 + (4096 p q r  - 6144 %pi p q r  + (3072 %pi  - 4096) p q r
                      3                 3
 + (2048 %pi - 512 %pi ) p q + 4096 n) t
                       4               3            2            2
 + (- 4096 s + 1024 p r  - 2048 %pi p r  + (1536 %pi  - 2048) p r
                      3               4          2                      2
 + (2048 %pi - 512 %pi ) p r + (64 %pi  - 512 %pi  + 4096) p + 4096 m) t ) v
         2  2            4  5            3                 3   4
 - 4096 t  u  + (2048 p q  t  + (8192 p q  r - 4096 %pi p q ) t
             2  2                2              2            2            3
 + (12288 p q  r  - 12288 %pi p q  r + (3072 %pi  - 4096) p q  + 4096 o) t
              3                  2            2
 + (8192 p q r  - 12288 %pi p q r  + (6144 %pi  - 8192) p q r
                       3                 2
 + (4096 %pi - 1024 %pi ) p q + 8192 n) t
                       4               3            2            2
 + (- 8192 s + 2048 p r  - 4096 %pi p r  + (3072 %pi  - 4096) p r
                       3                4           2
 + (4096 %pi - 1024 %pi ) p r + (128 %pi  - 1024 %pi  + 8192) p + 8192 m) t) u
           2  8        2  8          4    4        2  8   8
 + (- 256 p  q  - 256 j  k  + 512 d e  j k  - 256 d  e ) t
            2  7               2  7            4    3         2  7
 + (- 2048 p  q  r + 1024 %pi p  q  + (2048 d e  j k  - 2048 j  k ) l
             2  7            3                 3     4               4    3
 + 1024 %pi j  k  + (2048 d e  f - 1024 %pi d e ) j k  - 1024 %pi d e  j k
         2  7               2  7   7            2  6  2             2  6
 - 2048 d  e  f + 1024 %pi d  e ) t  + (- 7168 p  q  r  + 7168 %pi p  q  r
                   2   2  6             4            4    2         2  6   2
 + (1024 - 1792 %pi ) p  q  - 1024 o p q  + (3072 d e  j k  - 7168 j  k ) l
              2  6            3                 3     3               4    2
 + (7168 %pi j  k  + (8192 d e  f - 4096 %pi d e ) j k  - 3072 %pi d e  j k ) l
                   2   2  6                       2  2               2
 + (1024 - 1792 %pi ) j  k  + (- 1024 i + 3072 d e  f  - 3072 %pi d e  f
           2            2              4
 + (768 %pi  - 1024) d e  + 1024 c) j k
            2    3               3       3           2            4    2
 + (2048 %pi  d e  - 4096 %pi d e  f) j k  + (768 %pi  - 1024) d e  j k
           4           2  6  2             2  6                     2   2  6
 + 1024 d e  i - 7168 d  e  f  + 7168 %pi d  e  f + (1024 - 1792 %pi ) d  e
             4   6             2  5  3              2  5  2
 - 1024 c d e ) t  + (- 14336 p  q  r  + 21504 %pi p  q  r
                     2   2  5             3               3              2  5
 + ((6144 - 10752 %pi ) p  q  - 4096 o p q ) r + (1792 %pi  - 3072 %pi) p  q
             4                 3            4              2  5   3
 - 2048 n p q  + 2048 %pi o p q  + (2048 d e  j k - 14336 j  k ) l
               2  5             3                 3     2               4
 + (21504 %pi j  k  + (12288 d e  f - 6144 %pi d e ) j k  - 3072 %pi d e  j k)
  2                     2   2  5                        2  2                2
 l  + ((6144 - 10752 %pi ) j  k  + (- 4096 i + 12288 d e  f  - 12288 %pi d e  f
            2            2              3
 + (3072 %pi  - 4096) d e  + 4096 c) j k
            2    3                3       2            2            4
 + (6144 %pi  d e  - 12288 %pi d e  f) j k  + (1536 %pi  - 2048) d e  j k) l
            3              2  5                         3                 2
 + (1792 %pi  - 3072 %pi) j  k  + (- 2048 h + 2048 d e f  - 3072 %pi d e f
            2                                    3                   4
 + (1536 %pi  - 2048) d e f + (1024 %pi - 256 %pi ) d e + 2048 b) j k
                             2  2           2    2
 + (2048 %pi i - 6144 %pi d e  f  + 6144 %pi  d e  f
                       3     2                  3
 + (2048 %pi - 1536 %pi ) d e  - 2048 %pi c) j k
             2            3                         3     3     2
 + ((3072 %pi  - 4096) d e  f + (2048 %pi - 1536 %pi ) d e ) j k
                      3     4                3                 3
 + (1024 %pi - 256 %pi ) d e  j k + (4096 d e  f - 2048 %pi d e ) i
           4            2  5  3              2  5  2
 + 2048 d e  h - 14336 d  e  f  + 21504 %pi d  e  f
                     2   2  5             3               3              2  5
 + ((6144 - 10752 %pi ) d  e  - 4096 c d e ) f + (1792 %pi  - 3072 %pi) d  e
             4                 3   5            4            2  4  4
 - 2048 b d e  + 2048 %pi c d e ) t  + (2048 p q  s - 17920 p  q  r
              2  4  3                      2   2  4             2   2
 + 35840 %pi p  q  r  + ((15360 - 26880 %pi ) p  q  - 6144 o p q ) r
             3               2  4             3                 2
 + ((8960 %pi  - 15360 %pi) p  q  - 8192 n p q  + 6144 %pi o p q ) r
               4           2          2              4                 3
 + ((- 1120 %pi  + 3840 %pi  - 3072) p  - 2048 m p) q  + 4096 %pi n p q
                   2       2         2           4            2  4   4
 + (2048 - 1536 %pi ) o p q  - 1024 o  + (512 d e  j - 17920 j  k ) l
               2  4            3                 3                    4     3
 + (35840 %pi j  k  + (8192 d e  f - 4096 %pi d e ) j k - 1024 %pi d e  j) l
                      2   2  4                        2  2                2
 + ((15360 - 26880 %pi ) j  k  + (- 6144 i + 18432 d e  f  - 18432 %pi d e  f
            2            2              2
 + (4608 %pi  - 6144) d e  + 6144 c) j k
            2    3                3                  2            4     2
 + (6144 %pi  d e  - 12288 %pi d e  f) j k + (768 %pi  - 1024) d e  j) l
             3               2  4                         3                  2
 + ((8960 %pi  - 15360 %pi) j  k  + (- 8192 h + 8192 d e f  - 12288 %pi d e f
            2                                     3                   3
 + (6144 %pi  - 8192) d e f + (4096 %pi - 1024 %pi ) d e + 8192 b) j k
                              2  2            2    2
 + (6144 %pi i - 18432 %pi d e  f  + 18432 %pi  d e  f
                       3     2                  2
 + (6144 %pi - 4608 %pi ) d e  - 6144 %pi c) j k
             2            3                         3     3
 + ((6144 %pi  - 8192) d e  f + (4096 %pi - 3072 %pi ) d e ) j k
                      3     4                    4           2          2
 + (1024 %pi - 256 %pi ) d e  j) l + ((- 1120 %pi  + 3840 %pi  - 3072) j
                      4               3           2            2
 + (- 2048 g + 512 d f  - 1024 %pi d f  + (768 %pi  - 1024) d f
                      3               4          2                         4
 + (1024 %pi - 256 %pi ) d f + (32 %pi  - 256 %pi  + 2048) d + 2048 a) j) k
                               3           2      2
 + (4096 %pi h - 4096 %pi d e f  + 6144 %pi  d e f
                       3                  4           2                       3
 + (4096 %pi - 3072 %pi ) d e f + (512 %pi  - 2048 %pi ) d e - 4096 %pi b) j k
                    2               2            2  2
 + ((2048 - 1536 %pi ) i + (4608 %pi  - 6144) d e  f
                       3     2              4           2            2
 + (6144 %pi - 4608 %pi ) d e  f + (1152 %pi  - 3072 %pi  + 2048) d e
            2               2                        3     3
 + (1536 %pi  - 2048) c) j k  + ((4096 %pi - 1024 %pi ) d e  f
           4           2     3               4          2            4
 + (512 %pi  - 2048 %pi ) d e ) j k + (32 %pi  - 256 %pi  + 2048) d e  j
         2            2  2               2              2            2
 - 1024 i  + (6144 d e  f  - 6144 %pi d e  f + (1536 %pi  - 2048) d e
                        3                 3              4            2  4  4
 + 2048 c) i + (8192 d e  f - 4096 %pi d e ) h + 2048 d e  g - 17920 d  e  f
              2  4  3                      2   2  4             2   2
 + 35840 %pi d  e  f  + ((15360 - 26880 %pi ) d  e  - 6144 c d e ) f
             3               2  4             3                 2
 + ((8960 %pi  - 15360 %pi) d  e  - 8192 b d e  + 6144 %pi c d e ) f
               4           2          2              4                 3
 + ((- 1120 %pi  + 3840 %pi  - 3072) d  - 2048 a d) e  + 4096 %pi b d e
                   2       2         2   4
 + (2048 - 1536 %pi ) c d e  - 1024 c ) t
             3                 3             2  3  5              2  3  4
 + ((8192 p q  r - 4096 %pi p q ) s - 14336 p  q  r  + 35840 %pi p  q  r
                      2   2  3                3
 + ((20480 - 35840 %pi ) p  q  - 4096 o p q) r
              3               2  3              2                    2
 + ((17920 %pi  - 30720 %pi) p  q  - 12288 n p q  + 6144 %pi o p q) r
                4            2           2              3                  2
 + (((- 4480 %pi  + 15360 %pi  - 12288) p  - 8192 m p) q  + 12288 %pi n p q
                   2                      5           3              2
 + (4096 - 3072 %pi ) o p q) r + ((448 %pi  - 2560 %pi  + 6144 %pi) p
                  3                   2       2           3
 + 4096 %pi m p) q  + (4096 - 3072 %pi ) n p q  + (512 %pi  - 2048 %pi) o p q
                     2  3  5               2  3
 - 4096 n o - 14336 j  k  l  + (35840 %pi j  k
            3                 3      4                      2   2  3
 + (2048 d e  f - 1024 %pi d e ) j) l  + ((20480 - 35840 %pi ) j  k
                        2  2                2              2            2
 + (- 4096 i + 12288 d e  f  - 12288 %pi d e  f + (3072 %pi  - 4096) d e
                          2    3               3        3
 + 4096 c) j k + (2048 %pi  d e  - 4096 %pi d e  f) j) l
              3               2  3                           3
 + ((17920 %pi  - 30720 %pi) j  k  + (- 12288 h + 12288 d e f
                  2            2                                      3
 - 18432 %pi d e f  + (9216 %pi  - 12288) d e f + (6144 %pi - 1536 %pi ) d e
               2                              2  2            2    2
 + 12288 b) j k  + (6144 %pi i - 18432 %pi d e  f  + 18432 %pi  d e  f
                       3     2
 + (6144 %pi - 4608 %pi ) d e  - 6144 %pi c) j k
             2            3                         3     3      2
 + ((3072 %pi  - 4096) d e  f + (2048 %pi - 1536 %pi ) d e ) j) l
                4            2           2
 + (((- 4480 %pi  + 15360 %pi  - 12288) j
                       4               3            2            2
 + (- 8192 g + 2048 d f  - 4096 %pi d f  + (3072 %pi  - 4096) d f
                       3                4           2                         3
 + (4096 %pi - 1024 %pi ) d f + (128 %pi  - 1024 %pi  + 8192) d + 8192 a) j) k
                                 3            2      2
 + (12288 %pi h - 12288 %pi d e f  + 18432 %pi  d e f
                        3                   4           2
 + (12288 %pi - 9216 %pi ) d e f + (1536 %pi  - 6144 %pi ) d e - 12288 %pi b) j
  2                    2               2             2  2
 k  + ((4096 - 3072 %pi ) i + (9216 %pi  - 12288) d e  f
                        3     2              4           2            2
 + (12288 %pi - 9216 %pi ) d e  f + (2304 %pi  - 6144 %pi  + 4096) d e
            2                                       3     3
 + (3072 %pi  - 4096) c) j k + ((4096 %pi - 1024 %pi ) d e  f
           4           2     3                  5           3              2
 + (512 %pi  - 2048 %pi ) d e ) j) l + ((448 %pi  - 2560 %pi  + 6144 %pi) j
                             4           2    3                       3     2
 + (4096 %pi g - 1024 %pi d f  + 2048 %pi  d f  + (2048 %pi - 1536 %pi ) d f
           4           2                 5          3
 + (512 %pi  - 2048 %pi ) d f + (- 64 %pi  + 512 %pi  - 4096 %pi) d
                   3                    2               2              3
 - 4096 %pi a) j) k  + ((4096 - 3072 %pi ) h + (3072 %pi  - 4096) d e f
                       3       2            4           2
 + (6144 %pi - 4608 %pi ) d e f  + (2304 %pi  - 6144 %pi  + 4096) d e f
             5           3                            2               2
 + (- 384 %pi  + 2048 %pi  - 2048 %pi) d e + (3072 %pi  - 4096) b) j k
            3                                     3     2  2
 + ((512 %pi  - 2048 %pi) i + (6144 %pi - 1536 %pi ) d e  f
            4           2     2               5           3                2
 + (1536 %pi  - 6144 %pi ) d e  f + (- 384 %pi  + 2048 %pi  - 2048 %pi) d e
                      3                    4           2            3
 + (2048 %pi - 512 %pi ) c) j k + ((128 %pi  - 1024 %pi  + 8192) d e  f
            5          3                3
 + (- 64 %pi  + 512 %pi  - 4096 %pi) d e ) j
                         3                 2            2
 + (- 4096 h + 4096 d e f  - 6144 %pi d e f  + (3072 %pi  - 4096) d e f
                      3
 + (2048 %pi - 512 %pi ) d e + 4096 b) i
             2  2                2              2            2
 + (12288 d e  f  - 12288 %pi d e  f + (3072 %pi  - 4096) d e  + 4096 c) h
            3                 3             2  3  5              2  3  4
 + (8192 d e  f - 4096 %pi d e ) g - 14336 d  e  f  + 35840 %pi d  e  f
                      2   2  3                3
 + ((20480 - 35840 %pi ) d  e  - 4096 c d e) f
              3               2  3              2                    2
 + ((17920 %pi  - 30720 %pi) d  e  - 12288 b d e  + 6144 %pi c d e) f
                4            2           2              3                  2
 + (((- 4480 %pi  + 15360 %pi  - 12288) d  - 8192 a d) e  + 12288 %pi b d e
                   2                      5           3              2
 + (4096 - 3072 %pi ) c d e) f + ((448 %pi  - 2560 %pi  + 6144 %pi) d
                  3                   2       2           3
 + 4096 %pi a d) e  + (4096 - 3072 %pi ) b d e  + (512 %pi  - 2048 %pi) c d e
              3              2  2                2              2            2
 - 4096 b c) t  + ((12288 p q  r  - 12288 %pi p q  r + (3072 %pi  - 4096) p q
                     2  2  6              2  2  5
 + 4096 o) s - 7168 p  q  r  + 21504 %pi p  q  r
                      2   2  2              4
 + ((15360 - 26880 %pi ) p  q  - 1024 o p) r
              3               2  2                               3
 + ((17920 %pi  - 30720 %pi) p  q  - 8192 n p q + 2048 %pi o p) r
                4            2           2               2
 + (((- 6720 %pi  + 23040 %pi  - 18432) p  - 12288 m p) q  + 12288 %pi n p q
                   2        2              5           3               2
 + (2048 - 1536 %pi ) o p) r  + (((1344 %pi  - 7680 %pi  + 18432 %pi) p
                   2                   2                  3
 + 12288 %pi m p) q  + (8192 - 6144 %pi ) n p q + (512 %pi  - 2048 %pi) o p) r
              6          4           2          2                   2        2
 + ((- 112 %pi  + 960 %pi  - 4608 %pi  + 4096) p  + (4096 - 3072 %pi ) m p) q
            3                              4          2
 + (1024 %pi  - 4096 %pi) n p q + (- 64 %pi  + 512 %pi  - 4096) o p - 4096 m o
         2         2  2  6              2  2  5
 - 4096 n  - 7168 j  k  l  + 21504 %pi j  k  l
                      2   2  2                       2  2               2
 + ((15360 - 26880 %pi ) j  k  + (- 1024 i + 3072 d e  f  - 3072 %pi d e  f
           2            2               4
 + (768 %pi  - 1024) d e  + 1024 c) j) l
              3               2  2                         3                  2
 + ((17920 %pi  - 30720 %pi) j  k  + (- 8192 h + 8192 d e f  - 12288 %pi d e f
            2                                     3
 + (6144 %pi  - 8192) d e f + (4096 %pi - 1024 %pi ) d e + 8192 b) j k
                             2  2           2    2
 + (2048 %pi i - 6144 %pi d e  f  + 6144 %pi  d e  f
                       3     2                   3
 + (2048 %pi - 1536 %pi ) d e  - 2048 %pi c) j) l
                4            2           2
 + (((- 6720 %pi  + 23040 %pi  - 18432) j
                        4               3            2            2
 + (- 12288 g + 3072 d f  - 6144 %pi d f  + (4608 %pi  - 6144) d f
                       3                4           2
 + (6144 %pi - 1536 %pi ) d f + (192 %pi  - 1536 %pi  + 12288) d + 12288 a) j)
  2                                 3            2      2
 k  + (12288 %pi h - 12288 %pi d e f  + 18432 %pi  d e f
                        3                   4           2
 + (12288 %pi - 9216 %pi ) d e f + (1536 %pi  - 6144 %pi ) d e - 12288 %pi b) j
                      2               2            2  2
 k + ((2048 - 1536 %pi ) i + (4608 %pi  - 6144) d e  f
                       3     2              4           2            2
 + (6144 %pi - 4608 %pi ) d e  f + (1152 %pi  - 3072 %pi  + 2048) d e
            2                2              5           3               2
 + (1536 %pi  - 2048) c) j) l  + (((1344 %pi  - 7680 %pi  + 18432 %pi) j
                              4           2    3                       3     2
 + (12288 %pi g - 3072 %pi d f  + 6144 %pi  d f  + (6144 %pi - 4608 %pi ) d f
            4           2                  5           3
 + (1536 %pi  - 6144 %pi ) d f + (- 192 %pi  + 1536 %pi  - 12288 %pi) d
                    2                    2               2              3
 - 12288 %pi a) j) k  + ((8192 - 6144 %pi ) h + (6144 %pi  - 8192) d e f
                        3       2            4            2
 + (12288 %pi - 9216 %pi ) d e f  + (4608 %pi  - 12288 %pi  + 8192) d e f
             5           3                            2
 + (- 768 %pi  + 4096 %pi  - 4096 %pi) d e + (6144 %pi  - 8192) b) j k
            3                                     3     2  2
 + ((512 %pi  - 2048 %pi) i + (6144 %pi - 1536 %pi ) d e  f
            4           2     2               5           3                2
 + (1536 %pi  - 6144 %pi ) d e  f + (- 384 %pi  + 2048 %pi  - 2048 %pi) d e
                      3                       6          4           2
 + (2048 %pi - 512 %pi ) c) j) l + ((- 112 %pi  + 960 %pi  - 4608 %pi  + 4096)
  2                    2              2            4
 j  + ((4096 - 3072 %pi ) g + (768 %pi  - 1024) d f
                       3     3            4           2            2
 + (2048 %pi - 1536 %pi ) d f  + (1152 %pi  - 3072 %pi  + 2048) d f
             5           3
 + (- 384 %pi  + 2048 %pi  - 2048 %pi) d f
          6          4           2                      2                2
 + (48 %pi  - 448 %pi  + 3584 %pi  - 4096) d + (3072 %pi  - 4096) a) j) k
             3                                     3       3
 + ((1024 %pi  - 4096 %pi) h + (4096 %pi - 1024 %pi ) d e f
            4           2       2             5           3
 + (1536 %pi  - 6144 %pi ) d e f  + (- 768 %pi  + 4096 %pi  - 4096 %pi) d e f
           6           4           2                            3
 + (128 %pi  - 1024 %pi  + 2048 %pi ) d e + (4096 %pi - 1024 %pi ) b) j k
             4          2                     4           2             2  2
 + ((- 64 %pi  + 512 %pi  - 4096) i + (192 %pi  - 1536 %pi  + 12288) d e  f
             5           3                 2
 + (- 192 %pi  + 1536 %pi  - 12288 %pi) d e  f
          6          4           2            2
 + (48 %pi  - 448 %pi  + 3584 %pi  - 4096) d e
          4          2                                    4               3
 + (64 %pi  - 512 %pi  + 4096) c) j + (- 4096 g + 1024 d f  - 2048 %pi d f
            2            2                      3
 + (1536 %pi  - 2048) d f  + (2048 %pi - 512 %pi ) d f
          4          2                               2
 + (64 %pi  - 512 %pi  + 4096) d + 4096 a) i - 4096 h
              3                  2            2
 + (8192 d e f  - 12288 %pi d e f  + (6144 %pi  - 8192) d e f
                       3
 + (4096 %pi - 1024 %pi ) d e + 8192 b) h
             2  2                2              2            2
 + (12288 d e  f  - 12288 %pi d e  f + (3072 %pi  - 4096) d e  + 4096 c) g
         2  2  6              2  2  5                      2   2  2
 - 7168 d  e  f  + 21504 %pi d  e  f  + ((15360 - 26880 %pi ) d  e  - 1024 c d)
  4              3               2  2                               3
 f  + ((17920 %pi  - 30720 %pi) d  e  - 8192 b d e + 2048 %pi c d) f
                4            2           2               2
 + (((- 6720 %pi  + 23040 %pi  - 18432) d  - 12288 a d) e  + 12288 %pi b d e
                   2        2              5           3               2
 + (2048 - 1536 %pi ) c d) f  + (((1344 %pi  - 7680 %pi  + 18432 %pi) d
                   2                   2                  3
 + 12288 %pi a d) e  + (8192 - 6144 %pi ) b d e + (512 %pi  - 2048 %pi) c d) f
              6          4           2          2                   2        2
 + ((- 112 %pi  + 960 %pi  - 4608 %pi  + 4096) d  + (4096 - 3072 %pi ) a d) e
            3                              4          2
 + (1024 %pi  - 4096 %pi) b d e + (- 64 %pi  + 512 %pi  - 4096) c d - 4096 a c
         2   2               3                  2            2
 - 4096 b ) t  + ((8192 p q r  - 12288 %pi p q r  + (6144 %pi  - 8192) p q r
                       3                          2    7             2    6
 + (4096 %pi - 1024 %pi ) p q + 8192 n) s - 2048 p  q r  + 7168 %pi p  q r
                    2   2    5             3               2                4
 + (6144 - 10752 %pi ) p  q r  + ((8960 %pi  - 15360 %pi) p  q - 2048 n p) r
                4            2           2                                3
 + (((- 4480 %pi  + 15360 %pi  - 12288) p  - 8192 m p) q + 4096 %pi n p) r
              5           3               2
 + (((1344 %pi  - 7680 %pi  + 18432 %pi) p  + 12288 %pi m p) q
                   2        2               6           4           2
 + (4096 - 3072 %pi ) n p) r  + (((- 224 %pi  + 1920 %pi  - 9216 %pi  + 8192)
  2                   2                    3
 p  + (8192 - 6144 %pi ) m p) q + (1024 %pi  - 4096 %pi) n p) r
           7          5           3              2
 + ((16 %pi  - 192 %pi  + 1536 %pi  - 4096 %pi) p
            3                                4           2
 + (1024 %pi  - 4096 %pi) m p) q + (- 128 %pi  + 1024 %pi  - 8192) n p
                    2    7             2    6                    2   2    5
 - 8192 m n - 2048 j  k l  + 7168 %pi j  k l  + (6144 - 10752 %pi ) j  k l
             3               2                           3                 2
 + ((8960 %pi  - 15360 %pi) j  k + (- 2048 h + 2048 d e f  - 3072 %pi d e f
            2                                    3                    4
 + (1536 %pi  - 2048) d e f + (1024 %pi - 256 %pi ) d e + 2048 b) j) l
                4            2           2
 + (((- 4480 %pi  + 15360 %pi  - 12288) j
                       4               3            2            2
 + (- 8192 g + 2048 d f  - 4096 %pi d f  + (3072 %pi  - 4096) d f
                       3                4           2
 + (4096 %pi - 1024 %pi ) d f + (128 %pi  - 1024 %pi  + 8192) d + 8192 a) j) k
                               3           2      2
 + (4096 %pi h - 4096 %pi d e f  + 6144 %pi  d e f
                       3                  4           2
 + (4096 %pi - 3072 %pi ) d e f + (512 %pi  - 2048 %pi ) d e - 4096 %pi b) j)
  3              5           3               2
 l  + (((1344 %pi  - 7680 %pi  + 18432 %pi) j
                              4           2    3                       3     2
 + (12288 %pi g - 3072 %pi d f  + 6144 %pi  d f  + (6144 %pi - 4608 %pi ) d f
            4           2                  5           3
 + (1536 %pi  - 6144 %pi ) d f + (- 192 %pi  + 1536 %pi  - 12288 %pi) d
                                        2               2              3
 - 12288 %pi a) j) k + ((4096 - 3072 %pi ) h + (3072 %pi  - 4096) d e f
                       3       2            4           2
 + (6144 %pi - 4608 %pi ) d e f  + (2304 %pi  - 6144 %pi  + 4096) d e f
             5           3                            2                2
 + (- 384 %pi  + 2048 %pi  - 2048 %pi) d e + (3072 %pi  - 4096) b) j) l
               6           4           2          2
 + (((- 224 %pi  + 1920 %pi  - 9216 %pi  + 8192) j
                    2               2            4
 + ((8192 - 6144 %pi ) g + (1536 %pi  - 2048) d f
                       3     3            4           2            2
 + (4096 %pi - 3072 %pi ) d f  + (2304 %pi  - 6144 %pi  + 4096) d f
             5           3
 + (- 768 %pi  + 4096 %pi  - 4096 %pi) d f
          6          4           2                      2
 + (96 %pi  - 896 %pi  + 7168 %pi  - 8192) d + (6144 %pi  - 8192) a) j) k
             3                                     3       3
 + ((1024 %pi  - 4096 %pi) h + (4096 %pi - 1024 %pi ) d e f
            4           2       2             5           3
 + (1536 %pi  - 6144 %pi ) d e f  + (- 768 %pi  + 4096 %pi  - 4096 %pi) d e f
           6           4           2                            3
 + (128 %pi  - 1024 %pi  + 2048 %pi ) d e + (4096 %pi - 1024 %pi ) b) j) l
           7          5           3              2
 + ((16 %pi  - 192 %pi  + 1536 %pi  - 4096 %pi) j
             3                                    3     4
 + ((1024 %pi  - 4096 %pi) g + (1024 %pi - 256 %pi ) d f
           4           2     3             5           3                2
 + (512 %pi  - 2048 %pi ) d f  + (- 384 %pi  + 2048 %pi  - 2048 %pi) d f
           6           4           2
 + (128 %pi  - 1024 %pi  + 2048 %pi ) d f
            7          5           3                                     3
 + (- 16 %pi  + 192 %pi  - 1536 %pi  + 4096 %pi) d + (4096 %pi - 1024 %pi ) a)
                   4           2
 j) k + ((- 128 %pi  + 1024 %pi  - 8192) h
           4           2              3
 + (128 %pi  - 1024 %pi  + 8192) d e f
             5           3                   2
 + (- 192 %pi  + 1536 %pi  - 12288 %pi) d e f
          6          4           2
 + (96 %pi  - 896 %pi  + 7168 %pi  - 8192) d e f
            7          5           3
 + (- 16 %pi  + 192 %pi  - 1536 %pi  + 4096 %pi) d e
           4           2                                    4               3
 + (128 %pi  - 1024 %pi  + 8192) b) j + (- 8192 g + 2048 d f  - 4096 %pi d f
            2            2                       3
 + (3072 %pi  - 4096) d f  + (4096 %pi - 1024 %pi ) d f
           4           2
 + (128 %pi  - 1024 %pi  + 8192) d + 8192 a) h
              3                  2            2
 + (8192 d e f  - 12288 %pi d e f  + (6144 %pi  - 8192) d e f
                       3                          2    7             2    6
 + (4096 %pi - 1024 %pi ) d e + 8192 b) g - 2048 d  e f  + 7168 %pi d  e f
                    2   2    5             3               2                4
 + (6144 - 10752 %pi ) d  e f  + ((8960 %pi  - 15360 %pi) d  e - 2048 b d) f
                4            2           2                                3
 + (((- 4480 %pi  + 15360 %pi  - 12288) d  - 8192 a d) e + 4096 %pi b d) f
              5           3               2
 + (((1344 %pi  - 7680 %pi  + 18432 %pi) d  + 12288 %pi a d) e
                   2        2               6           4           2
 + (4096 - 3072 %pi ) b d) f  + (((- 224 %pi  + 1920 %pi  - 9216 %pi  + 8192)
  2                   2                    3
 d  + (8192 - 6144 %pi ) a d) e + (1024 %pi  - 4096 %pi) b d) f
           7          5           3              2
 + ((16 %pi  - 192 %pi  + 1536 %pi  - 4096 %pi) d
            3                                4           2
 + (1024 %pi  - 4096 %pi) a d) e + (- 128 %pi  + 1024 %pi  - 8192) b d
                       2            4               3            2            2
 - 8192 a b) t - 4096 s  + (2048 p r  - 4096 %pi p r  + (3072 %pi  - 4096) p r
                       3                4           2
 + (4096 %pi - 1024 %pi ) p r + (128 %pi  - 1024 %pi  + 8192) p + 8192 m) s
        2  8             2  7                   2   2  6
 - 256 p  r  + 1024 %pi p  r  + (1024 - 1792 %pi ) p  r
            3              2  5               4           2          2
 + (1792 %pi  - 3072 %pi) p  r  + ((- 1120 %pi  + 3840 %pi  - 3072) p
              4            5           3              2                  3
 - 2048 m p) r  + ((448 %pi  - 2560 %pi  + 6144 %pi) p  + 4096 %pi m p) r
              6          4           2          2                   2        2
 + ((- 112 %pi  + 960 %pi  - 4608 %pi  + 4096) p  + (4096 - 3072 %pi ) m p) r
           7          5           3              2
 + ((16 %pi  - 192 %pi  + 1536 %pi  - 4096 %pi) p
            3                            8         6          4           2
 + (1024 %pi  - 4096 %pi) m p) r + (- %pi  + 16 %pi  - 192 %pi  + 1024 %pi
          2             4           2                     2        2  8
 - 4096) p  + (- 128 %pi  + 1024 %pi  - 8192) m p - 4096 m  - 256 j  l
             2  7                   2   2  6            3              2  5
 + 1024 %pi j  l  + (1024 - 1792 %pi ) j  l  + (1792 %pi  - 3072 %pi) j  l
               4           2          2
 + ((- 1120 %pi  + 3840 %pi  - 3072) j
                      4               3           2            2
 + (- 2048 g + 512 d f  - 1024 %pi d f  + (768 %pi  - 1024) d f
                      3               4          2                         4
 + (1024 %pi - 256 %pi ) d f + (32 %pi  - 256 %pi  + 2048) d + 2048 a) j) l
            5           3              2
 + ((448 %pi  - 2560 %pi  + 6144 %pi) j
                             4           2    3                       3     2
 + (4096 %pi g - 1024 %pi d f  + 2048 %pi  d f  + (2048 %pi - 1536 %pi ) d f
           4           2                 5          3
 + (512 %pi  - 2048 %pi ) d f + (- 64 %pi  + 512 %pi  - 4096 %pi) d
                   3              6          4           2          2
 - 4096 %pi a) j) l  + ((- 112 %pi  + 960 %pi  - 4608 %pi  + 4096) j
                    2              2            4                       3     3
 + ((4096 - 3072 %pi ) g + (768 %pi  - 1024) d f  + (2048 %pi - 1536 %pi ) d f
            4           2            2             5           3
 + (1152 %pi  - 3072 %pi  + 2048) d f  + (- 384 %pi  + 2048 %pi  - 2048 %pi) d
            6          4           2                      2                2
 f + (48 %pi  - 448 %pi  + 3584 %pi  - 4096) d + (3072 %pi  - 4096) a) j) l
           7          5           3              2
 + ((16 %pi  - 192 %pi  + 1536 %pi  - 4096 %pi) j
             3                                    3     4
 + ((1024 %pi  - 4096 %pi) g + (1024 %pi - 256 %pi ) d f
           4           2     3             5           3                2
 + (512 %pi  - 2048 %pi ) d f  + (- 384 %pi  + 2048 %pi  - 2048 %pi) d f
           6           4           2
 + (128 %pi  - 1024 %pi  + 2048 %pi ) d f
            7          5           3                                     3
 + (- 16 %pi  + 192 %pi  - 1536 %pi  + 4096 %pi) d + (4096 %pi - 1024 %pi ) a)
              8         6          4           2          2
 j) l + (- %pi  + 16 %pi  - 192 %pi  + 1024 %pi  - 4096) j
              4           2                    4          2            4
 + ((- 128 %pi  + 1024 %pi  - 8192) g + (32 %pi  - 256 %pi  + 2048) d f
            5          3                3
 + (- 64 %pi  + 512 %pi  - 4096 %pi) d f
          6          4           2            2
 + (48 %pi  - 448 %pi  + 3584 %pi  - 4096) d f
            7          5           3
 + (- 16 %pi  + 192 %pi  - 1536 %pi  + 4096 %pi) d f
         8         6          4           2
 + (2 %pi  - 32 %pi  + 384 %pi  - 2048 %pi  + 8192) d
           4           2                      2
 + (128 %pi  - 1024 %pi  + 8192) a) j - 4096 g
            4               3            2            2
 + (2048 d f  - 4096 %pi d f  + (3072 %pi  - 4096) d f
                       3                4           2
 + (4096 %pi - 1024 %pi ) d f + (128 %pi  - 1024 %pi  + 8192) d + 8192 a) g
        2  8             2  7                   2   2  6
 - 256 d  f  + 1024 %pi d  f  + (1024 - 1792 %pi ) d  f
            3              2  5               4           2          2
 + (1792 %pi  - 3072 %pi) d  f  + ((- 1120 %pi  + 3840 %pi  - 3072) d
              4            5           3              2                  3
 - 2048 a d) f  + ((448 %pi  - 2560 %pi  + 6144 %pi) d  + 4096 %pi a d) f
              6          4           2          2                   2        2
 + ((- 112 %pi  + 960 %pi  - 4608 %pi  + 4096) d  + (4096 - 3072 %pi ) a d) f
           7          5           3              2
 + ((16 %pi  - 192 %pi  + 1536 %pi  - 4096 %pi) d
            3                            8         6          4           2
 + (1024 %pi  - 4096 %pi) a d) f + (- %pi  + 16 %pi  - 192 %pi  + 1024 %pi
          2             4           2                     2
 - 4096) d  + (- 128 %pi  + 1024 %pi  - 8192) a d - 4096 a )/4096
(%i5) 
(%i5) collectterms(%,t);

                       2  8              2           2     7
(%o5) - (4096 z - 256 w  y  + (1024 %pi w  - 2048 t w  x) y
            2  2  2               2                     2   2   6
 + (- 7168 t  w  x  + 7168 %pi t w  x + (1024 - 1792 %pi ) w ) y
             3  2  3              2  2  2                    2     2
 + (- 14336 t  w  x  + 21504 %pi t  w  x  + (6144 - 10752 %pi ) t w  x
            3              2   5             4  2  4              3  2  3
 + (1792 %pi  - 3072 %pi) w ) y  + (- 17920 t  w  x  + 35840 %pi t  w  x
                     2   2  2  2            3                 2
 + (15360 - 26880 %pi ) t  w  x  + (8960 %pi  - 15360 %pi) t w  x
              4           2          2            2                       4  4
 + (- 1120 %pi  + 3840 %pi  - 3072) w  + (- 1024 t  v - 2048 t u + 512 p q  t
            3                 3   3            2  2               2
 + (2048 p q  r - 1024 %pi p q ) t  + (3072 p q  r  - 3072 %pi p q  r
           2            2            2              3                 2
 + (768 %pi  - 1024) p q  + 1024 o) t  + (2048 p q r  - 3072 %pi p q r
            2                                    3
 + (1536 %pi  - 2048) p q r + (1024 %pi - 256 %pi ) p q + 2048 n) t - 2048 s
          4               3           2            2
 + 512 p r  - 1024 %pi p r  + (768 %pi  - 1024) p r
                      3               4          2                         4
 + (1024 %pi - 256 %pi ) p r + (32 %pi  - 256 %pi  + 2048) p + 2048 m) w) y
             5  2  5              4  2  4                     2   3  2  3
 + (- 14336 t  w  x  + 35840 %pi t  w  x  + (20480 - 35840 %pi ) t  w  x
             3               2  2  2               4            2             2
 + (17920 %pi  - 30720 %pi) t  w  x  + ((- 4480 %pi  + 15360 %pi  - 12288) t w
            3           2             4  5            3                 3   4
 + (- 4096 t  v - 8192 t  u + 2048 p q  t  + (8192 p q  r - 4096 %pi p q ) t
             2  2                2              2            2            3
 + (12288 p q  r  - 12288 %pi p q  r + (3072 %pi  - 4096) p q  + 4096 o) t
              3                  2            2
 + (8192 p q r  - 12288 %pi p q r  + (6144 %pi  - 8192) p q r
                       3                 2
 + (4096 %pi - 1024 %pi ) p q + 8192 n) t
                       4               3            2            2
 + (- 8192 s + 2048 p r  - 4096 %pi p r  + (3072 %pi  - 4096) p r
                       3                4           2
 + (4096 %pi - 1024 %pi ) p r + (128 %pi  - 1024 %pi  + 8192) p + 8192 m) t) w)
             5           3              2
 x + (448 %pi  - 2560 %pi  + 6144 %pi) w
              2                                4  4
 + (2048 %pi t  v + 4096 %pi t u - 1024 %pi p q  t
            2    3               3     3
 + (2048 %pi  p q  - 4096 %pi p q  r) t
                  2  2           2    2                         3     2
 + (- 6144 %pi p q  r  + 6144 %pi  p q  r + (2048 %pi - 1536 %pi ) p q
                2                    3           2      2
 - 2048 %pi o) t  + (- 4096 %pi p q r  + 6144 %pi  p q r
                       3                  4           2
 + (4096 %pi - 3072 %pi ) p q r + (512 %pi  - 2048 %pi ) p q - 4096 %pi n) t
                            4           2    3                       3     2
 + 4096 %pi s - 1024 %pi p r  + 2048 %pi  p r  + (2048 %pi - 1536 %pi ) p r
           4           2                 5          3
 + (512 %pi  - 2048 %pi ) p r + (- 64 %pi  + 512 %pi  - 4096 %pi) p
                   3            6  2  6              5  2  5
 - 4096 %pi m) w) y  + (- 7168 t  w  x  + 21504 %pi t  w  x
                     2   4  2  4             3               3  2  3
 + (15360 - 26880 %pi ) t  w  x  + (17920 %pi  - 30720 %pi) t  w  x
               4            2           2  2
 + ((- 6720 %pi  + 23040 %pi  - 18432) t  w
            4            3             4  6             3                 3   5
 + (- 6144 t  v - 12288 t  u + 3072 p q  t  + (12288 p q  r - 6144 %pi p q ) t
             2  2                2              2            2            4
 + (18432 p q  r  - 18432 %pi p q  r + (4608 %pi  - 6144) p q  + 6144 o) t
               3                  2            2
 + (12288 p q r  - 18432 %pi p q r  + (9216 %pi  - 12288) p q r
                       3                  3
 + (6144 %pi - 1536 %pi ) p q + 12288 n) t
                        4               3            2            2
 + (- 12288 s + 3072 p r  - 6144 %pi p r  + (4608 %pi  - 6144) p r
                       3                4           2                        2
 + (6144 %pi - 1536 %pi ) p r + (192 %pi  - 1536 %pi  + 12288) p + 12288 m) t )
     2             5           3                 2
 w) x  + ((1344 %pi  - 7680 %pi  + 18432 %pi) t w
              3                2                 4  5
 + (6144 %pi t  v + 12288 %pi t  u - 3072 %pi p q  t
            2    3                3     4
 + (6144 %pi  p q  - 12288 %pi p q  r) t
                   2  2            2    2                         3     2
 + (- 18432 %pi p q  r  + 18432 %pi  p q  r + (6144 %pi - 4608 %pi ) p q
                3                     3            2      2
 - 6144 %pi o) t  + (- 12288 %pi p q r  + 18432 %pi  p q r
                        3                   4           2
 + (12288 %pi - 9216 %pi ) p q r + (1536 %pi  - 6144 %pi ) p q - 12288 %pi n)
  2                              4           2    3
 t  + (12288 %pi s - 3072 %pi p r  + 6144 %pi  p r
                       3     2            4           2
 + (6144 %pi - 4608 %pi ) p r  + (1536 %pi  - 6144 %pi ) p r
             5           3
 + (- 192 %pi  + 1536 %pi  - 12288 %pi) p - 12288 %pi m) t) w) x
             6          4           2          2
 + (- 112 %pi  + 960 %pi  - 4608 %pi  + 4096) w
                    2   2                     2
 + ((2048 - 1536 %pi ) t  v + (4096 - 3072 %pi ) t u
           2            4  4             2            3
 + (768 %pi  - 1024) p q  t  + ((3072 %pi  - 4096) p q  r
                       3     3   3             2            2  2
 + (2048 %pi - 1536 %pi ) p q ) t  + ((4608 %pi  - 6144) p q  r
                       3     2              4           2            2
 + (6144 %pi - 4608 %pi ) p q  r + (1152 %pi  - 3072 %pi  + 2048) p q
            2             2             2              3
 + (1536 %pi  - 2048) o) t  + ((3072 %pi  - 4096) p q r
                       3       2            4           2
 + (6144 %pi - 4608 %pi ) p q r  + (2304 %pi  - 6144 %pi  + 4096) p q r
             5           3                            2
 + (- 384 %pi  + 2048 %pi  - 2048 %pi) p q + (3072 %pi  - 4096) n) t
                   2              2            4                       3     3
 + (4096 - 3072 %pi ) s + (768 %pi  - 1024) p r  + (2048 %pi - 1536 %pi ) p r
            4           2            2             5           3
 + (1152 %pi  - 3072 %pi  + 2048) p r  + (- 384 %pi  + 2048 %pi  - 2048 %pi) p
            6          4           2                      2                2
 r + (48 %pi  - 448 %pi  + 3584 %pi  - 4096) p + (3072 %pi  - 4096) m) w) y
            7  2  7             6  2  6                    2   5  2  5
 + (- 2048 t  w  x  + 7168 %pi t  w  x  + (6144 - 10752 %pi ) t  w  x
            3               4  2  4               4            2           3  2
 + (8960 %pi  - 15360 %pi) t  w  x  + ((- 4480 %pi  + 15360 %pi  - 12288) t  w
            5           4             4  7            3                 3   6
 + (- 4096 t  v - 8192 t  u + 2048 p q  t  + (8192 p q  r - 4096 %pi p q ) t
             2  2                2              2            2            5
 + (12288 p q  r  - 12288 %pi p q  r + (3072 %pi  - 4096) p q  + 4096 o) t
              3                  2            2
 + (8192 p q r  - 12288 %pi p q r  + (6144 %pi  - 8192) p q r
                       3                 4
 + (4096 %pi - 1024 %pi ) p q + 8192 n) t
                       4               3            2            2
 + (- 8192 s + 2048 p r  - 4096 %pi p r  + (3072 %pi  - 4096) p r
                       3                4           2                      3
 + (4096 %pi - 1024 %pi ) p r + (128 %pi  - 1024 %pi  + 8192) p + 8192 m) t )
     3             5           3               2  2
 w) x  + ((1344 %pi  - 7680 %pi  + 18432 %pi) t  w
              4                3                 4  6
 + (6144 %pi t  v + 12288 %pi t  u - 3072 %pi p q  t
            2    3                3     5
 + (6144 %pi  p q  - 12288 %pi p q  r) t
                   2  2            2    2                         3     2
 + (- 18432 %pi p q  r  + 18432 %pi  p q  r + (6144 %pi - 4608 %pi ) p q
                4                     3            2      2
 - 6144 %pi o) t  + (- 12288 %pi p q r  + 18432 %pi  p q r
                        3                   4           2
 + (12288 %pi - 9216 %pi ) p q r + (1536 %pi  - 6144 %pi ) p q - 12288 %pi n)
  3                              4           2    3
 t  + (12288 %pi s - 3072 %pi p r  + 6144 %pi  p r
                       3     2            4           2
 + (6144 %pi - 4608 %pi ) p r  + (1536 %pi  - 6144 %pi ) p r
             5           3                                2      2
 + (- 192 %pi  + 1536 %pi  - 12288 %pi) p - 12288 %pi m) t ) w) x
              6           4           2            2
 + ((- 224 %pi  + 1920 %pi  - 9216 %pi  + 8192) t w
                    2   3                     2   2
 + ((4096 - 3072 %pi ) t  v + (8192 - 6144 %pi ) t  u
            2            4  5             2            3
 + (1536 %pi  - 2048) p q  t  + ((6144 %pi  - 8192) p q  r
                       3     3   4             2             2  2
 + (4096 %pi - 3072 %pi ) p q ) t  + ((9216 %pi  - 12288) p q  r
                        3     2              4           2            2
 + (12288 %pi - 9216 %pi ) p q  r + (2304 %pi  - 6144 %pi  + 4096) p q
            2             3             2              3
 + (3072 %pi  - 4096) o) t  + ((6144 %pi  - 8192) p q r
                        3       2            4            2
 + (12288 %pi - 9216 %pi ) p q r  + (4608 %pi  - 12288 %pi  + 8192) p q r
             5           3                            2             2
 + (- 768 %pi  + 4096 %pi  - 4096 %pi) p q + (6144 %pi  - 8192) n) t
                    2               2            4
 + ((8192 - 6144 %pi ) s + (1536 %pi  - 2048) p r
                       3     3            4           2            2
 + (4096 %pi - 3072 %pi ) p r  + (2304 %pi  - 6144 %pi  + 4096) p r
             5           3
 + (- 768 %pi  + 4096 %pi  - 4096 %pi) p r
          6          4           2                      2
 + (96 %pi  - 896 %pi  + 7168 %pi  - 8192) p + (6144 %pi  - 8192) m) t) w) x
          7          5           3              2
 + (16 %pi  - 192 %pi  + 1536 %pi  - 4096 %pi) w
            3              2              3
 + ((512 %pi  - 2048 %pi) t  v + (1024 %pi  - 4096 %pi) t u
                      3     4  4                        3     3
 + (1024 %pi - 256 %pi ) p q  t  + ((4096 %pi - 1024 %pi ) p q  r
           4           2     3   3                        3     2  2
 + (512 %pi  - 2048 %pi ) p q ) t  + ((6144 %pi - 1536 %pi ) p q  r
            4           2     2               5           3                2
 + (1536 %pi  - 6144 %pi ) p q  r + (- 384 %pi  + 2048 %pi  - 2048 %pi) p q
                      3      2                        3       3
 + (2048 %pi - 512 %pi ) o) t  + ((4096 %pi - 1024 %pi ) p q r
            4           2       2             5           3
 + (1536 %pi  - 6144 %pi ) p q r  + (- 768 %pi  + 4096 %pi  - 4096 %pi) p q r
           6           4           2                            3
 + (128 %pi  - 1024 %pi  + 2048 %pi ) p q + (4096 %pi - 1024 %pi ) n) t
            3                                    3     4
 + (1024 %pi  - 4096 %pi) s + (1024 %pi - 256 %pi ) p r
           4           2     3             5           3                2
 + (512 %pi  - 2048 %pi ) p r  + (- 384 %pi  + 2048 %pi  - 2048 %pi) p r
           6           4           2
 + (128 %pi  - 1024 %pi  + 2048 %pi ) p r
            7          5           3                                     3
 + (- 16 %pi  + 192 %pi  - 1536 %pi  + 4096 %pi) p + (4096 %pi - 1024 %pi ) m)
             8  2  8             7  2  7                   2   6  2  6
 w) y - 256 t  w  x  + 1024 %pi t  w  x  + (1024 - 1792 %pi ) t  w  x
            3              5  2  5               4           2          4  2
 + (1792 %pi  - 3072 %pi) t  w  x  + ((- 1120 %pi  + 3840 %pi  - 3072) t  w
            6           5            4  8            3                 3   7
 + (- 1024 t  v - 2048 t  u + 512 p q  t  + (2048 p q  r - 1024 %pi p q ) t
            2  2               2             2            2            6
 + (3072 p q  r  - 3072 %pi p q  r + (768 %pi  - 1024) p q  + 1024 o) t
              3                 2            2
 + (2048 p q r  - 3072 %pi p q r  + (1536 %pi  - 2048) p q r
                      3                 5
 + (1024 %pi - 256 %pi ) p q + 2048 n) t
                      4               3           2            2
 + (- 2048 s + 512 p r  - 1024 %pi p r  + (768 %pi  - 1024) p r
                      3               4          2                      4
 + (1024 %pi - 256 %pi ) p r + (32 %pi  - 256 %pi  + 2048) p + 2048 m) t ) w)
  4            5           3              3  2
 x  + ((448 %pi  - 2560 %pi  + 6144 %pi) t  w
              5               4                 4  7
 + (2048 %pi t  v + 4096 %pi t  u - 1024 %pi p q  t
            2    3               3     6
 + (2048 %pi  p q  - 4096 %pi p q  r) t
                  2  2           2    2                         3     2
 + (- 6144 %pi p q  r  + 6144 %pi  p q  r + (2048 %pi - 1536 %pi ) p q
                5                    3           2      2
 - 2048 %pi o) t  + (- 4096 %pi p q r  + 6144 %pi  p q r
                       3                  4           2                     4
 + (4096 %pi - 3072 %pi ) p q r + (512 %pi  - 2048 %pi ) p q - 4096 %pi n) t
                             4           2    3                       3     2
 + (4096 %pi s - 1024 %pi p r  + 2048 %pi  p r  + (2048 %pi - 1536 %pi ) p r
           4           2                 5          3
 + (512 %pi  - 2048 %pi ) p r + (- 64 %pi  + 512 %pi  - 4096 %pi) p
                3      3              6          4           2          2  2
 - 4096 %pi m) t ) w) x  + ((- 112 %pi  + 960 %pi  - 4608 %pi  + 4096) t  w
                    2   4                     2   3
 + ((2048 - 1536 %pi ) t  v + (4096 - 3072 %pi ) t  u
           2            4  6             2            3
 + (768 %pi  - 1024) p q  t  + ((3072 %pi  - 4096) p q  r
                       3     3   5             2            2  2
 + (2048 %pi - 1536 %pi ) p q ) t  + ((4608 %pi  - 6144) p q  r
                       3     2              4           2            2
 + (6144 %pi - 4608 %pi ) p q  r + (1152 %pi  - 3072 %pi  + 2048) p q
            2             4             2              3
 + (1536 %pi  - 2048) o) t  + ((3072 %pi  - 4096) p q r
                       3       2            4           2
 + (6144 %pi - 4608 %pi ) p q r  + (2304 %pi  - 6144 %pi  + 4096) p q r
             5           3                            2             3
 + (- 384 %pi  + 2048 %pi  - 2048 %pi) p q + (3072 %pi  - 4096) n) t
                    2              2            4                       3     3
 + ((4096 - 3072 %pi ) s + (768 %pi  - 1024) p r  + (2048 %pi - 1536 %pi ) p r
            4           2            2             5           3
 + (1152 %pi  - 3072 %pi  + 2048) p r  + (- 384 %pi  + 2048 %pi  - 2048 %pi) p
            6          4           2                      2             2
 r + (48 %pi  - 448 %pi  + 3584 %pi  - 4096) p + (3072 %pi  - 4096) m) t ) w)
  2           7          5           3                2
 x  + ((16 %pi  - 192 %pi  + 1536 %pi  - 4096 %pi) t w
            3              3              3              2
 + ((512 %pi  - 2048 %pi) t  v + (1024 %pi  - 4096 %pi) t  u
                      3     4  5                        3     3
 + (1024 %pi - 256 %pi ) p q  t  + ((4096 %pi - 1024 %pi ) p q  r
           4           2     3   4                        3     2  2
 + (512 %pi  - 2048 %pi ) p q ) t  + ((6144 %pi - 1536 %pi ) p q  r
            4           2     2               5           3                2
 + (1536 %pi  - 6144 %pi ) p q  r + (- 384 %pi  + 2048 %pi  - 2048 %pi) p q
                      3      3                        3       3
 + (2048 %pi - 512 %pi ) o) t  + ((4096 %pi - 1024 %pi ) p q r
            4           2       2             5           3
 + (1536 %pi  - 6144 %pi ) p q r  + (- 768 %pi  + 4096 %pi  - 4096 %pi) p q r
           6           4           2                            3      2
 + (128 %pi  - 1024 %pi  + 2048 %pi ) p q + (4096 %pi - 1024 %pi ) n) t
             3                                    3     4
 + ((1024 %pi  - 4096 %pi) s + (1024 %pi - 256 %pi ) p r
           4           2     3             5           3                2
 + (512 %pi  - 2048 %pi ) p r  + (- 384 %pi  + 2048 %pi  - 2048 %pi) p r
           6           4           2
 + (128 %pi  - 1024 %pi  + 2048 %pi ) p r
            7          5           3                                     3
 + (- 16 %pi  + 192 %pi  - 1536 %pi  + 4096 %pi) p + (4096 %pi - 1024 %pi ) m)
                 8         6          4           2          2
 t) w) x + (- %pi  + 16 %pi  - 192 %pi  + 1024 %pi  - 4096) w
             4          2          2               4           2
 + ((- 64 %pi  + 512 %pi  - 4096) t  v + (- 128 %pi  + 1024 %pi  - 8192) t u
          4          2            4  4            4           2            3
 + (32 %pi  - 256 %pi  + 2048) p q  t  + ((128 %pi  - 1024 %pi  + 8192) p q  r
            5          3                3   3
 + (- 64 %pi  + 512 %pi  - 4096 %pi) p q ) t
            4           2             2  2
 + ((192 %pi  - 1536 %pi  + 12288) p q  r
             5           3                 2
 + (- 192 %pi  + 1536 %pi  - 12288 %pi) p q  r
          6          4           2            2
 + (48 %pi  - 448 %pi  + 3584 %pi  - 4096) p q
          4          2             2            4           2              3
 + (64 %pi  - 512 %pi  + 4096) o) t  + ((128 %pi  - 1024 %pi  + 8192) p q r
             5           3                   2
 + (- 192 %pi  + 1536 %pi  - 12288 %pi) p q r
          6          4           2
 + (96 %pi  - 896 %pi  + 7168 %pi  - 8192) p q r
            7          5           3
 + (- 16 %pi  + 192 %pi  - 1536 %pi  + 4096 %pi) p q
           4           2                          4           2
 + (128 %pi  - 1024 %pi  + 8192) n) t + (- 128 %pi  + 1024 %pi  - 8192) s
          4          2            4            5          3                3
 + (32 %pi  - 256 %pi  + 2048) p r  + (- 64 %pi  + 512 %pi  - 4096 %pi) p r
          6          4           2            2
 + (48 %pi  - 448 %pi  + 3584 %pi  - 4096) p r
            7          5           3
 + (- 16 %pi  + 192 %pi  - 1536 %pi  + 4096 %pi) p r
         8         6          4           2
 + (2 %pi  - 32 %pi  + 384 %pi  - 2048 %pi  + 8192) p
           4           2                      4  2
 + (128 %pi  - 1024 %pi  + 8192) m) w - 1024 t  v
            3             4  6            3                 3   5
 + (- 4096 t  u + 1024 p q  t  + (4096 p q  r - 2048 %pi p q ) t
            2  2               2              2            2            4
 + (6144 p q  r  - 6144 %pi p q  r + (1536 %pi  - 2048) p q  + 2048 o) t
              3                 2            2
 + (4096 p q r  - 6144 %pi p q r  + (3072 %pi  - 4096) p q r
                      3                 3
 + (2048 %pi - 512 %pi ) p q + 4096 n) t
                       4               3            2            2
 + (- 4096 s + 1024 p r  - 2048 %pi p r  + (1536 %pi  - 2048) p r
                      3               4          2                      2
 + (2048 %pi - 512 %pi ) p r + (64 %pi  - 512 %pi  + 4096) p + 4096 m) t ) v
         2  2            4  5            3                 3   4
 - 4096 t  u  + (2048 p q  t  + (8192 p q  r - 4096 %pi p q ) t
             2  2                2              2            2            3
 + (12288 p q  r  - 12288 %pi p q  r + (3072 %pi  - 4096) p q  + 4096 o) t
              3                  2            2
 + (8192 p q r  - 12288 %pi p q r  + (6144 %pi  - 8192) p q r
                       3                 2
 + (4096 %pi - 1024 %pi ) p q + 8192 n) t
                       4               3            2            2
 + (- 8192 s + 2048 p r  - 4096 %pi p r  + (3072 %pi  - 4096) p r
                       3                4           2
 + (4096 %pi - 1024 %pi ) p r + (128 %pi  - 1024 %pi  + 8192) p + 8192 m) t) u
           2  8        2  8          4    4        2  8   8
 + (- 256 p  q  - 256 j  k  + 512 d e  j k  - 256 d  e ) t
            2  7               2  7            4    3         2  7
 + (- 2048 p  q  r + 1024 %pi p  q  + (2048 d e  j k  - 2048 j  k ) l
             2  7            3                 3     4               4    3
 + 1024 %pi j  k  + (2048 d e  f - 1024 %pi d e ) j k  - 1024 %pi d e  j k
         2  7               2  7   7            2  6  2             2  6
 - 2048 d  e  f + 1024 %pi d  e ) t  + (- 7168 p  q  r  + 7168 %pi p  q  r
                   2   2  6             4            4    2         2  6   2
 + (1024 - 1792 %pi ) p  q  - 1024 o p q  + (3072 d e  j k  - 7168 j  k ) l
              2  6            3                 3     3               4    2
 + (7168 %pi j  k  + (8192 d e  f - 4096 %pi d e ) j k  - 3072 %pi d e  j k ) l
                   2   2  6                       2  2               2
 + (1024 - 1792 %pi ) j  k  + (- 1024 i + 3072 d e  f  - 3072 %pi d e  f
           2            2              4
 + (768 %pi  - 1024) d e  + 1024 c) j k
            2    3               3       3           2            4    2
 + (2048 %pi  d e  - 4096 %pi d e  f) j k  + (768 %pi  - 1024) d e  j k
           4           2  6  2             2  6                     2   2  6
 + 1024 d e  i - 7168 d  e  f  + 7168 %pi d  e  f + (1024 - 1792 %pi ) d  e
             4   6             2  5  3              2  5  2
 - 1024 c d e ) t  + (- 14336 p  q  r  + 21504 %pi p  q  r
                     2   2  5             3               3              2  5
 + ((6144 - 10752 %pi ) p  q  - 4096 o p q ) r + (1792 %pi  - 3072 %pi) p  q
             4                 3            4              2  5   3
 - 2048 n p q  + 2048 %pi o p q  + (2048 d e  j k - 14336 j  k ) l
               2  5             3                 3     2               4
 + (21504 %pi j  k  + (12288 d e  f - 6144 %pi d e ) j k  - 3072 %pi d e  j k)
  2                     2   2  5                        2  2                2
 l  + ((6144 - 10752 %pi ) j  k  + (- 4096 i + 12288 d e  f  - 12288 %pi d e  f
            2            2              3
 + (3072 %pi  - 4096) d e  + 4096 c) j k
            2    3                3       2            2            4
 + (6144 %pi  d e  - 12288 %pi d e  f) j k  + (1536 %pi  - 2048) d e  j k) l
            3              2  5                         3                 2
 + (1792 %pi  - 3072 %pi) j  k  + (- 2048 h + 2048 d e f  - 3072 %pi d e f
            2                                    3                   4
 + (1536 %pi  - 2048) d e f + (1024 %pi - 256 %pi ) d e + 2048 b) j k
                             2  2           2    2
 + (2048 %pi i - 6144 %pi d e  f  + 6144 %pi  d e  f
                       3     2                  3
 + (2048 %pi - 1536 %pi ) d e  - 2048 %pi c) j k
             2            3                         3     3     2
 + ((3072 %pi  - 4096) d e  f + (2048 %pi - 1536 %pi ) d e ) j k
                      3     4                3                 3
 + (1024 %pi - 256 %pi ) d e  j k + (4096 d e  f - 2048 %pi d e ) i
           4            2  5  3              2  5  2
 + 2048 d e  h - 14336 d  e  f  + 21504 %pi d  e  f
                     2   2  5             3               3              2  5
 + ((6144 - 10752 %pi ) d  e  - 4096 c d e ) f + (1792 %pi  - 3072 %pi) d  e
             4                 3   5            4            2  4  4
 - 2048 b d e  + 2048 %pi c d e ) t  + (2048 p q  s - 17920 p  q  r
              2  4  3                      2   2  4             2   2
 + 35840 %pi p  q  r  + ((15360 - 26880 %pi ) p  q  - 6144 o p q ) r
             3               2  4             3                 2
 + ((8960 %pi  - 15360 %pi) p  q  - 8192 n p q  + 6144 %pi o p q ) r
               4           2          2              4                 3
 + ((- 1120 %pi  + 3840 %pi  - 3072) p  - 2048 m p) q  + 4096 %pi n p q
                   2       2         2           4            2  4   4
 + (2048 - 1536 %pi ) o p q  - 1024 o  + (512 d e  j - 17920 j  k ) l
               2  4            3                 3                    4     3
 + (35840 %pi j  k  + (8192 d e  f - 4096 %pi d e ) j k - 1024 %pi d e  j) l
                      2   2  4                        2  2                2
 + ((15360 - 26880 %pi ) j  k  + (- 6144 i + 18432 d e  f  - 18432 %pi d e  f
            2            2              2
 + (4608 %pi  - 6144) d e  + 6144 c) j k
            2    3                3                  2            4     2
 + (6144 %pi  d e  - 12288 %pi d e  f) j k + (768 %pi  - 1024) d e  j) l
             3               2  4                         3                  2
 + ((8960 %pi  - 15360 %pi) j  k  + (- 8192 h + 8192 d e f  - 12288 %pi d e f
            2                                     3                   3
 + (6144 %pi  - 8192) d e f + (4096 %pi - 1024 %pi ) d e + 8192 b) j k
                              2  2            2    2
 + (6144 %pi i - 18432 %pi d e  f  + 18432 %pi  d e  f
                       3     2                  2
 + (6144 %pi - 4608 %pi ) d e  - 6144 %pi c) j k
             2            3                         3     3
 + ((6144 %pi  - 8192) d e  f + (4096 %pi - 3072 %pi ) d e ) j k
                      3     4                    4           2          2
 + (1024 %pi - 256 %pi ) d e  j) l + ((- 1120 %pi  + 3840 %pi  - 3072) j
                      4               3           2            2
 + (- 2048 g + 512 d f  - 1024 %pi d f  + (768 %pi  - 1024) d f
                      3               4          2                         4
 + (1024 %pi - 256 %pi ) d f + (32 %pi  - 256 %pi  + 2048) d + 2048 a) j) k
                               3           2      2
 + (4096 %pi h - 4096 %pi d e f  + 6144 %pi  d e f
                       3                  4           2                       3
 + (4096 %pi - 3072 %pi ) d e f + (512 %pi  - 2048 %pi ) d e - 4096 %pi b) j k
                    2               2            2  2
 + ((2048 - 1536 %pi ) i + (4608 %pi  - 6144) d e  f
                       3     2              4           2            2
 + (6144 %pi - 4608 %pi ) d e  f + (1152 %pi  - 3072 %pi  + 2048) d e
            2               2                        3     3
 + (1536 %pi  - 2048) c) j k  + ((4096 %pi - 1024 %pi ) d e  f
           4           2     3               4          2            4
 + (512 %pi  - 2048 %pi ) d e ) j k + (32 %pi  - 256 %pi  + 2048) d e  j
         2            2  2               2              2            2
 - 1024 i  + (6144 d e  f  - 6144 %pi d e  f + (1536 %pi  - 2048) d e
                        3                 3              4            2  4  4
 + 2048 c) i + (8192 d e  f - 4096 %pi d e ) h + 2048 d e  g - 17920 d  e  f
              2  4  3                      2   2  4             2   2
 + 35840 %pi d  e  f  + ((15360 - 26880 %pi ) d  e  - 6144 c d e ) f
             3               2  4             3                 2
 + ((8960 %pi  - 15360 %pi) d  e  - 8192 b d e  + 6144 %pi c d e ) f
               4           2          2              4                 3
 + ((- 1120 %pi  + 3840 %pi  - 3072) d  - 2048 a d) e  + 4096 %pi b d e
                   2       2         2   4
 + (2048 - 1536 %pi ) c d e  - 1024 c ) t
             3                 3             2  3  5              2  3  4
 + ((8192 p q  r - 4096 %pi p q ) s - 14336 p  q  r  + 35840 %pi p  q  r
                      2   2  3                3
 + ((20480 - 35840 %pi ) p  q  - 4096 o p q) r
              3               2  3              2                    2
 + ((17920 %pi  - 30720 %pi) p  q  - 12288 n p q  + 6144 %pi o p q) r
                4            2           2              3                  2
 + (((- 4480 %pi  + 15360 %pi  - 12288) p  - 8192 m p) q  + 12288 %pi n p q
                   2                      5           3              2
 + (4096 - 3072 %pi ) o p q) r + ((448 %pi  - 2560 %pi  + 6144 %pi) p
                  3                   2       2           3
 + 4096 %pi m p) q  + (4096 - 3072 %pi ) n p q  + (512 %pi  - 2048 %pi) o p q
                     2  3  5               2  3
 - 4096 n o - 14336 j  k  l  + (35840 %pi j  k
            3                 3      4                      2   2  3
 + (2048 d e  f - 1024 %pi d e ) j) l  + ((20480 - 35840 %pi ) j  k
                        2  2                2              2            2
 + (- 4096 i + 12288 d e  f  - 12288 %pi d e  f + (3072 %pi  - 4096) d e
                          2    3               3        3
 + 4096 c) j k + (2048 %pi  d e  - 4096 %pi d e  f) j) l
              3               2  3                           3
 + ((17920 %pi  - 30720 %pi) j  k  + (- 12288 h + 12288 d e f
                  2            2                                      3
 - 18432 %pi d e f  + (9216 %pi  - 12288) d e f + (6144 %pi - 1536 %pi ) d e
               2                              2  2            2    2
 + 12288 b) j k  + (6144 %pi i - 18432 %pi d e  f  + 18432 %pi  d e  f
                       3     2
 + (6144 %pi - 4608 %pi ) d e  - 6144 %pi c) j k
             2            3                         3     3      2
 + ((3072 %pi  - 4096) d e  f + (2048 %pi - 1536 %pi ) d e ) j) l
                4            2           2
 + (((- 4480 %pi  + 15360 %pi  - 12288) j
                       4               3            2            2
 + (- 8192 g + 2048 d f  - 4096 %pi d f  + (3072 %pi  - 4096) d f
                       3                4           2                         3
 + (4096 %pi - 1024 %pi ) d f + (128 %pi  - 1024 %pi  + 8192) d + 8192 a) j) k
                                 3            2      2
 + (12288 %pi h - 12288 %pi d e f  + 18432 %pi  d e f
                        3                   4           2
 + (12288 %pi - 9216 %pi ) d e f + (1536 %pi  - 6144 %pi ) d e - 12288 %pi b) j
  2                    2               2             2  2
 k  + ((4096 - 3072 %pi ) i + (9216 %pi  - 12288) d e  f
                        3     2              4           2            2
 + (12288 %pi - 9216 %pi ) d e  f + (2304 %pi  - 6144 %pi  + 4096) d e
            2                                       3     3
 + (3072 %pi  - 4096) c) j k + ((4096 %pi - 1024 %pi ) d e  f
           4           2     3                  5           3              2
 + (512 %pi  - 2048 %pi ) d e ) j) l + ((448 %pi  - 2560 %pi  + 6144 %pi) j
                             4           2    3                       3     2
 + (4096 %pi g - 1024 %pi d f  + 2048 %pi  d f  + (2048 %pi - 1536 %pi ) d f
           4           2                 5          3
 + (512 %pi  - 2048 %pi ) d f + (- 64 %pi  + 512 %pi  - 4096 %pi) d
                   3                    2               2              3
 - 4096 %pi a) j) k  + ((4096 - 3072 %pi ) h + (3072 %pi  - 4096) d e f
                       3       2            4           2
 + (6144 %pi - 4608 %pi ) d e f  + (2304 %pi  - 6144 %pi  + 4096) d e f
             5           3                            2               2
 + (- 384 %pi  + 2048 %pi  - 2048 %pi) d e + (3072 %pi  - 4096) b) j k
            3                                     3     2  2
 + ((512 %pi  - 2048 %pi) i + (6144 %pi - 1536 %pi ) d e  f
            4           2     2               5           3                2
 + (1536 %pi  - 6144 %pi ) d e  f + (- 384 %pi  + 2048 %pi  - 2048 %pi) d e
                      3                    4           2            3
 + (2048 %pi - 512 %pi ) c) j k + ((128 %pi  - 1024 %pi  + 8192) d e  f
            5          3                3
 + (- 64 %pi  + 512 %pi  - 4096 %pi) d e ) j
                         3                 2            2
 + (- 4096 h + 4096 d e f  - 6144 %pi d e f  + (3072 %pi  - 4096) d e f
                      3
 + (2048 %pi - 512 %pi ) d e + 4096 b) i
             2  2                2              2            2
 + (12288 d e  f  - 12288 %pi d e  f + (3072 %pi  - 4096) d e  + 4096 c) h
            3                 3             2  3  5              2  3  4
 + (8192 d e  f - 4096 %pi d e ) g - 14336 d  e  f  + 35840 %pi d  e  f
                      2   2  3                3
 + ((20480 - 35840 %pi ) d  e  - 4096 c d e) f
              3               2  3              2                    2
 + ((17920 %pi  - 30720 %pi) d  e  - 12288 b d e  + 6144 %pi c d e) f
                4            2           2              3                  2
 + (((- 4480 %pi  + 15360 %pi  - 12288) d  - 8192 a d) e  + 12288 %pi b d e
                   2                      5           3              2
 + (4096 - 3072 %pi ) c d e) f + ((448 %pi  - 2560 %pi  + 6144 %pi) d
                  3                   2       2           3
 + 4096 %pi a d) e  + (4096 - 3072 %pi ) b d e  + (512 %pi  - 2048 %pi) c d e
              3              2  2                2              2            2
 - 4096 b c) t  + ((12288 p q  r  - 12288 %pi p q  r + (3072 %pi  - 4096) p q
                     2  2  6              2  2  5
 + 4096 o) s - 7168 p  q  r  + 21504 %pi p  q  r
                      2   2  2              4
 + ((15360 - 26880 %pi ) p  q  - 1024 o p) r
              3               2  2                               3
 + ((17920 %pi  - 30720 %pi) p  q  - 8192 n p q + 2048 %pi o p) r
                4            2           2               2
 + (((- 6720 %pi  + 23040 %pi  - 18432) p  - 12288 m p) q  + 12288 %pi n p q
                   2        2              5           3               2
 + (2048 - 1536 %pi ) o p) r  + (((1344 %pi  - 7680 %pi  + 18432 %pi) p
                   2                   2                  3
 + 12288 %pi m p) q  + (8192 - 6144 %pi ) n p q + (512 %pi  - 2048 %pi) o p) r
              6          4           2          2                   2        2
 + ((- 112 %pi  + 960 %pi  - 4608 %pi  + 4096) p  + (4096 - 3072 %pi ) m p) q
            3                              4          2
 + (1024 %pi  - 4096 %pi) n p q + (- 64 %pi  + 512 %pi  - 4096) o p - 4096 m o
         2         2  2  6              2  2  5
 - 4096 n  - 7168 j  k  l  + 21504 %pi j  k  l
                      2   2  2                       2  2               2
 + ((15360 - 26880 %pi ) j  k  + (- 1024 i + 3072 d e  f  - 3072 %pi d e  f
           2            2               4
 + (768 %pi  - 1024) d e  + 1024 c) j) l
              3               2  2                         3                  2
 + ((17920 %pi  - 30720 %pi) j  k  + (- 8192 h + 8192 d e f  - 12288 %pi d e f
            2                                     3
 + (6144 %pi  - 8192) d e f + (4096 %pi - 1024 %pi ) d e + 8192 b) j k
                             2  2           2    2
 + (2048 %pi i - 6144 %pi d e  f  + 6144 %pi  d e  f
                       3     2                   3
 + (2048 %pi - 1536 %pi ) d e  - 2048 %pi c) j) l
                4            2           2
 + (((- 6720 %pi  + 23040 %pi  - 18432) j
                        4               3            2            2
 + (- 12288 g + 3072 d f  - 6144 %pi d f  + (4608 %pi  - 6144) d f
                       3                4           2
 + (6144 %pi - 1536 %pi ) d f + (192 %pi  - 1536 %pi  + 12288) d + 12288 a) j)
  2                                 3            2      2
 k  + (12288 %pi h - 12288 %pi d e f  + 18432 %pi  d e f
                        3                   4           2
 + (12288 %pi - 9216 %pi ) d e f + (1536 %pi  - 6144 %pi ) d e - 12288 %pi b) j
                      2               2            2  2
 k + ((2048 - 1536 %pi ) i + (4608 %pi  - 6144) d e  f
                       3     2              4           2            2
 + (6144 %pi - 4608 %pi ) d e  f + (1152 %pi  - 3072 %pi  + 2048) d e
            2                2              5           3               2
 + (1536 %pi  - 2048) c) j) l  + (((1344 %pi  - 7680 %pi  + 18432 %pi) j
                              4           2    3                       3     2
 + (12288 %pi g - 3072 %pi d f  + 6144 %pi  d f  + (6144 %pi - 4608 %pi ) d f
            4           2                  5           3
 + (1536 %pi  - 6144 %pi ) d f + (- 192 %pi  + 1536 %pi  - 12288 %pi) d
                    2                    2               2              3
 - 12288 %pi a) j) k  + ((8192 - 6144 %pi ) h + (6144 %pi  - 8192) d e f
                        3       2            4            2
 + (12288 %pi - 9216 %pi ) d e f  + (4608 %pi  - 12288 %pi  + 8192) d e f
             5           3                            2
 + (- 768 %pi  + 4096 %pi  - 4096 %pi) d e + (6144 %pi  - 8192) b) j k
            3                                     3     2  2
 + ((512 %pi  - 2048 %pi) i + (6144 %pi - 1536 %pi ) d e  f
            4           2     2               5           3                2
 + (1536 %pi  - 6144 %pi ) d e  f + (- 384 %pi  + 2048 %pi  - 2048 %pi) d e
                      3                       6          4           2
 + (2048 %pi - 512 %pi ) c) j) l + ((- 112 %pi  + 960 %pi  - 4608 %pi  + 4096)
  2                    2              2            4
 j  + ((4096 - 3072 %pi ) g + (768 %pi  - 1024) d f
                       3     3            4           2            2
 + (2048 %pi - 1536 %pi ) d f  + (1152 %pi  - 3072 %pi  + 2048) d f
             5           3
 + (- 384 %pi  + 2048 %pi  - 2048 %pi) d f
          6          4           2                      2                2
 + (48 %pi  - 448 %pi  + 3584 %pi  - 4096) d + (3072 %pi  - 4096) a) j) k
             3                                     3       3
 + ((1024 %pi  - 4096 %pi) h + (4096 %pi - 1024 %pi ) d e f
            4           2       2             5           3
 + (1536 %pi  - 6144 %pi ) d e f  + (- 768 %pi  + 4096 %pi  - 4096 %pi) d e f
           6           4           2                            3
 + (128 %pi  - 1024 %pi  + 2048 %pi ) d e + (4096 %pi - 1024 %pi ) b) j k
             4          2                     4           2             2  2
 + ((- 64 %pi  + 512 %pi  - 4096) i + (192 %pi  - 1536 %pi  + 12288) d e  f
             5           3                 2
 + (- 192 %pi  + 1536 %pi  - 12288 %pi) d e  f
          6          4           2            2
 + (48 %pi  - 448 %pi  + 3584 %pi  - 4096) d e
          4          2                                    4               3
 + (64 %pi  - 512 %pi  + 4096) c) j + (- 4096 g + 1024 d f  - 2048 %pi d f
            2            2                      3
 + (1536 %pi  - 2048) d f  + (2048 %pi - 512 %pi ) d f
          4          2                               2
 + (64 %pi  - 512 %pi  + 4096) d + 4096 a) i - 4096 h
              3                  2            2
 + (8192 d e f  - 12288 %pi d e f  + (6144 %pi  - 8192) d e f
                       3
 + (4096 %pi - 1024 %pi ) d e + 8192 b) h
             2  2                2              2            2
 + (12288 d e  f  - 12288 %pi d e  f + (3072 %pi  - 4096) d e  + 4096 c) g
         2  2  6              2  2  5                      2   2  2
 - 7168 d  e  f  + 21504 %pi d  e  f  + ((15360 - 26880 %pi ) d  e  - 1024 c d)
  4              3               2  2                               3
 f  + ((17920 %pi  - 30720 %pi) d  e  - 8192 b d e + 2048 %pi c d) f
                4            2           2               2
 + (((- 6720 %pi  + 23040 %pi  - 18432) d  - 12288 a d) e  + 12288 %pi b d e
                   2        2              5           3               2
 + (2048 - 1536 %pi ) c d) f  + (((1344 %pi  - 7680 %pi  + 18432 %pi) d
                   2                   2                  3
 + 12288 %pi a d) e  + (8192 - 6144 %pi ) b d e + (512 %pi  - 2048 %pi) c d) f
              6          4           2          2                   2        2
 + ((- 112 %pi  + 960 %pi  - 4608 %pi  + 4096) d  + (4096 - 3072 %pi ) a d) e
            3                              4          2
 + (1024 %pi  - 4096 %pi) b d e + (- 64 %pi  + 512 %pi  - 4096) c d - 4096 a c
         2   2               3                  2            2
 - 4096 b ) t  + ((8192 p q r  - 12288 %pi p q r  + (6144 %pi  - 8192) p q r
                       3                          2    7             2    6
 + (4096 %pi - 1024 %pi ) p q + 8192 n) s - 2048 p  q r  + 7168 %pi p  q r
                    2   2    5             3               2                4
 + (6144 - 10752 %pi ) p  q r  + ((8960 %pi  - 15360 %pi) p  q - 2048 n p) r
                4            2           2                                3
 + (((- 4480 %pi  + 15360 %pi  - 12288) p  - 8192 m p) q + 4096 %pi n p) r
              5           3               2
 + (((1344 %pi  - 7680 %pi  + 18432 %pi) p  + 12288 %pi m p) q
                   2        2               6           4           2
 + (4096 - 3072 %pi ) n p) r  + (((- 224 %pi  + 1920 %pi  - 9216 %pi  + 8192)
  2                   2                    3
 p  + (8192 - 6144 %pi ) m p) q + (1024 %pi  - 4096 %pi) n p) r
           7          5           3              2
 + ((16 %pi  - 192 %pi  + 1536 %pi  - 4096 %pi) p
            3                                4           2
 + (1024 %pi  - 4096 %pi) m p) q + (- 128 %pi  + 1024 %pi  - 8192) n p
                    2    7             2    6                    2   2    5
 - 8192 m n - 2048 j  k l  + 7168 %pi j  k l  + (6144 - 10752 %pi ) j  k l
             3               2                           3                 2
 + ((8960 %pi  - 15360 %pi) j  k + (- 2048 h + 2048 d e f  - 3072 %pi d e f
            2                                    3                    4
 + (1536 %pi  - 2048) d e f + (1024 %pi - 256 %pi ) d e + 2048 b) j) l
                4            2           2
 + (((- 4480 %pi  + 15360 %pi  - 12288) j
                       4               3            2            2
 + (- 8192 g + 2048 d f  - 4096 %pi d f  + (3072 %pi  - 4096) d f
                       3                4           2
 + (4096 %pi - 1024 %pi ) d f + (128 %pi  - 1024 %pi  + 8192) d + 8192 a) j) k
                               3           2      2
 + (4096 %pi h - 4096 %pi d e f  + 6144 %pi  d e f
                       3                  4           2
 + (4096 %pi - 3072 %pi ) d e f + (512 %pi  - 2048 %pi ) d e - 4096 %pi b) j)
  3              5           3               2
 l  + (((1344 %pi  - 7680 %pi  + 18432 %pi) j
                              4           2    3                       3     2
 + (12288 %pi g - 3072 %pi d f  + 6144 %pi  d f  + (6144 %pi - 4608 %pi ) d f
            4           2                  5           3
 + (1536 %pi  - 6144 %pi ) d f + (- 192 %pi  + 1536 %pi  - 12288 %pi) d
                                        2               2              3
 - 12288 %pi a) j) k + ((4096 - 3072 %pi ) h + (3072 %pi  - 4096) d e f
                       3       2            4           2
 + (6144 %pi - 4608 %pi ) d e f  + (2304 %pi  - 6144 %pi  + 4096) d e f
             5           3                            2                2
 + (- 384 %pi  + 2048 %pi  - 2048 %pi) d e + (3072 %pi  - 4096) b) j) l
               6           4           2          2
 + (((- 224 %pi  + 1920 %pi  - 9216 %pi  + 8192) j
                    2               2            4
 + ((8192 - 6144 %pi ) g + (1536 %pi  - 2048) d f
                       3     3            4           2            2
 + (4096 %pi - 3072 %pi ) d f  + (2304 %pi  - 6144 %pi  + 4096) d f
             5           3
 + (- 768 %pi  + 4096 %pi  - 4096 %pi) d f
          6          4           2                      2
 + (96 %pi  - 896 %pi  + 7168 %pi  - 8192) d + (6144 %pi  - 8192) a) j) k
             3                                     3       3
 + ((1024 %pi  - 4096 %pi) h + (4096 %pi - 1024 %pi ) d e f
            4           2       2             5           3
 + (1536 %pi  - 6144 %pi ) d e f  + (- 768 %pi  + 4096 %pi  - 4096 %pi) d e f
           6           4           2                            3
 + (128 %pi  - 1024 %pi  + 2048 %pi ) d e + (4096 %pi - 1024 %pi ) b) j) l
           7          5           3              2
 + ((16 %pi  - 192 %pi  + 1536 %pi  - 4096 %pi) j
             3                                    3     4
 + ((1024 %pi  - 4096 %pi) g + (1024 %pi - 256 %pi ) d f
           4           2     3             5           3                2
 + (512 %pi  - 2048 %pi ) d f  + (- 384 %pi  + 2048 %pi  - 2048 %pi) d f
           6           4           2
 + (128 %pi  - 1024 %pi  + 2048 %pi ) d f
            7          5           3                                     3
 + (- 16 %pi  + 192 %pi  - 1536 %pi  + 4096 %pi) d + (4096 %pi - 1024 %pi ) a)
                   4           2
 j) k + ((- 128 %pi  + 1024 %pi  - 8192) h
           4           2              3
 + (128 %pi  - 1024 %pi  + 8192) d e f
             5           3                   2
 + (- 192 %pi  + 1536 %pi  - 12288 %pi) d e f
          6          4           2
 + (96 %pi  - 896 %pi  + 7168 %pi  - 8192) d e f
            7          5           3
 + (- 16 %pi  + 192 %pi  - 1536 %pi  + 4096 %pi) d e
           4           2                                    4               3
 + (128 %pi  - 1024 %pi  + 8192) b) j + (- 8192 g + 2048 d f  - 4096 %pi d f
            2            2                       3
 + (3072 %pi  - 4096) d f  + (4096 %pi - 1024 %pi ) d f
           4           2
 + (128 %pi  - 1024 %pi  + 8192) d + 8192 a) h
              3                  2            2
 + (8192 d e f  - 12288 %pi d e f  + (6144 %pi  - 8192) d e f
                       3                          2    7             2    6
 + (4096 %pi - 1024 %pi ) d e + 8192 b) g - 2048 d  e f  + 7168 %pi d  e f
                    2   2    5             3               2                4
 + (6144 - 10752 %pi ) d  e f  + ((8960 %pi  - 15360 %pi) d  e - 2048 b d) f
                4            2           2                                3
 + (((- 4480 %pi  + 15360 %pi  - 12288) d  - 8192 a d) e + 4096 %pi b d) f
              5           3               2
 + (((1344 %pi  - 7680 %pi  + 18432 %pi) d  + 12288 %pi a d) e
                   2        2               6           4           2
 + (4096 - 3072 %pi ) b d) f  + (((- 224 %pi  + 1920 %pi  - 9216 %pi  + 8192)
  2                   2                    3
 d  + (8192 - 6144 %pi ) a d) e + (1024 %pi  - 4096 %pi) b d) f
           7          5           3              2
 + ((16 %pi  - 192 %pi  + 1536 %pi  - 4096 %pi) d
            3                                4           2
 + (1024 %pi  - 4096 %pi) a d) e + (- 128 %pi  + 1024 %pi  - 8192) b d
                       2            4               3            2            2
 - 8192 a b) t - 4096 s  + (2048 p r  - 4096 %pi p r  + (3072 %pi  - 4096) p r
                       3                4           2
 + (4096 %pi - 1024 %pi ) p r + (128 %pi  - 1024 %pi  + 8192) p + 8192 m) s
        2  8             2  7                   2   2  6
 - 256 p  r  + 1024 %pi p  r  + (1024 - 1792 %pi ) p  r
            3              2  5               4           2          2
 + (1792 %pi  - 3072 %pi) p  r  + ((- 1120 %pi  + 3840 %pi  - 3072) p
              4            5           3              2                  3
 - 2048 m p) r  + ((448 %pi  - 2560 %pi  + 6144 %pi) p  + 4096 %pi m p) r
              6          4           2          2                   2        2
 + ((- 112 %pi  + 960 %pi  - 4608 %pi  + 4096) p  + (4096 - 3072 %pi ) m p) r
           7          5           3              2
 + ((16 %pi  - 192 %pi  + 1536 %pi  - 4096 %pi) p
            3                            8         6          4           2
 + (1024 %pi  - 4096 %pi) m p) r + (- %pi  + 16 %pi  - 192 %pi  + 1024 %pi
          2             4           2                     2        2  8
 - 4096) p  + (- 128 %pi  + 1024 %pi  - 8192) m p - 4096 m  - 256 j  l
             2  7                   2   2  6            3              2  5
 + 1024 %pi j  l  + (1024 - 1792 %pi ) j  l  + (1792 %pi  - 3072 %pi) j  l
               4           2          2
 + ((- 1120 %pi  + 3840 %pi  - 3072) j
                      4               3           2            2
 + (- 2048 g + 512 d f  - 1024 %pi d f  + (768 %pi  - 1024) d f
                      3               4          2                         4
 + (1024 %pi - 256 %pi ) d f + (32 %pi  - 256 %pi  + 2048) d + 2048 a) j) l
            5           3              2
 + ((448 %pi  - 2560 %pi  + 6144 %pi) j
                             4           2    3                       3     2
 + (4096 %pi g - 1024 %pi d f  + 2048 %pi  d f  + (2048 %pi - 1536 %pi ) d f
           4           2                 5          3
 + (512 %pi  - 2048 %pi ) d f + (- 64 %pi  + 512 %pi  - 4096 %pi) d
                   3              6          4           2          2
 - 4096 %pi a) j) l  + ((- 112 %pi  + 960 %pi  - 4608 %pi  + 4096) j
                    2              2            4                       3     3
 + ((4096 - 3072 %pi ) g + (768 %pi  - 1024) d f  + (2048 %pi - 1536 %pi ) d f
            4           2            2             5           3
 + (1152 %pi  - 3072 %pi  + 2048) d f  + (- 384 %pi  + 2048 %pi  - 2048 %pi) d
            6          4           2                      2                2
 f + (48 %pi  - 448 %pi  + 3584 %pi  - 4096) d + (3072 %pi  - 4096) a) j) l
           7          5           3              2
 + ((16 %pi  - 192 %pi  + 1536 %pi  - 4096 %pi) j
             3                                    3     4
 + ((1024 %pi  - 4096 %pi) g + (1024 %pi - 256 %pi ) d f
           4           2     3             5           3                2
 + (512 %pi  - 2048 %pi ) d f  + (- 384 %pi  + 2048 %pi  - 2048 %pi) d f
           6           4           2
 + (128 %pi  - 1024 %pi  + 2048 %pi ) d f
            7          5           3                                     3
 + (- 16 %pi  + 192 %pi  - 1536 %pi  + 4096 %pi) d + (4096 %pi - 1024 %pi ) a)
              8         6          4           2          2
 j) l + (- %pi  + 16 %pi  - 192 %pi  + 1024 %pi  - 4096) j
              4           2                    4          2            4
 + ((- 128 %pi  + 1024 %pi  - 8192) g + (32 %pi  - 256 %pi  + 2048) d f
            5          3                3
 + (- 64 %pi  + 512 %pi  - 4096 %pi) d f
          6          4           2            2
 + (48 %pi  - 448 %pi  + 3584 %pi  - 4096) d f
            7          5           3
 + (- 16 %pi  + 192 %pi  - 1536 %pi  + 4096 %pi) d f
         8         6          4           2
 + (2 %pi  - 32 %pi  + 384 %pi  - 2048 %pi  + 8192) d
           4           2                      2
 + (128 %pi  - 1024 %pi  + 8192) a) j - 4096 g
            4               3            2            2
 + (2048 d f  - 4096 %pi d f  + (3072 %pi  - 4096) d f
                       3                4           2
 + (4096 %pi - 1024 %pi ) d f + (128 %pi  - 1024 %pi  + 8192) d + 8192 a) g
        2  8             2  7                   2   2  6
 - 256 d  f  + 1024 %pi d  f  + (1024 - 1792 %pi ) d  f
            3              2  5               4           2          2
 + (1792 %pi  - 3072 %pi) d  f  + ((- 1120 %pi  + 3840 %pi  - 3072) d
              4            5           3              2                  3
 - 2048 a d) f  + ((448 %pi  - 2560 %pi  + 6144 %pi) d  + 4096 %pi a d) f
              6          4           2          2                   2        2
 + ((- 112 %pi  + 960 %pi  - 4608 %pi  + 4096) d  + (4096 - 3072 %pi ) a d) f
           7          5           3              2
 + ((16 %pi  - 192 %pi  + 1536 %pi  - 4096 %pi) d
            3                            8         6          4           2
 + (1024 %pi  - 4096 %pi) a d) f + (- %pi  + 16 %pi  - 192 %pi  + 1024 %pi
          2             4           2                     2
 - 4096) d  + (- 128 %pi  + 1024 %pi  - 8192) a d - 4096 a )/4096
(%i6) 
(%i6) quit()


;

]0;gaius@j228-gm: ~/Sandpit/pgegaius@j228-gm:~/Sandpit/pge$ exit

Script done on Tue 27 Nov 2012 13:59:11 GMT
