Теория массового обслуживания. Сивохин А.В - 145 стр.

     (-p21 p12 p33 + p23 p12 p31 + p21 p12 - 1 + p23 p32 - p22 p33 + p11 + p13 p31 - p11 p33 + p33 + p22
      - p22 p11 - p23 p11 p32 + p22 p11 p33 + p13 p21 p32 - p13 p22 p31) (-1 + p23 p32 - p22 p33 + p11
      - p41 + p13 p31 - p11 p33 - p13 p41 + p11 p43 + p33 - p43 + p22 + p12 p43 p21 + p42 p23 p11
      - p43 p31 + p21 p12 - p22 p11 + p42 p33 + p42 p11 - p43 p32 - p11 p43 p22 - p42 - p41 p23 p12
      + p13 p41 p22 - p13 p42 p21 + p41 p12 p33 - p41 p22 p33 + p23 p12 p31 + p42 p21 p33 - p42 p23 p31
      - p23 p11 p32 - p21 p12 p33 - p21 p43 p32 + p23 p41 p32 + p22 p11 p33 - p42 p11 p33 - p12 p43 p31
      + p22 p43 p31 + p13 p21 p32 - p41 p12 + p41 p33 - p13 p41 p32 - p13 p22 p31 + p13 p42 p31

      + p11 p43 p32 + p41 p22 - p23 p42 + p22 p43 - p42 p21)}

SumPi := (-p41 - p43 p31 - p41 p22 p33 + p42 p21 p33 - p42 p23 p31 - p21 p43 p32 + p23 p41 p32

      + p22 p43 p31 + p41 p33 + p41 p22 - p42 p21) (-1 + p23 p32 - p22 p33 + p11 - p41 + p13 p31 - p11 p33
      - p13 p41 + p11 p43 + p33 - p43 + p22 + p12 p43 p21 + p42 p23 p11 - p43 p31 + p21 p12 - p22 p11
      + p42 p33 + p42 p11 - p43 p32 - p11 p43 p22 - p42 - p41 p23 p12 + p13 p41 p22 - p13 p42 p21
      + p41 p12 p33 - p41 p22 p33 + p23 p12 p31 + p42 p21 p33 - p42 p23 p31 - p23 p11 p32 - p21 p12 p33
      - p21 p43 p32 + p23 p41 p32 + p22 p11 p33 - p42 p11 p33 - p12 p43 p31 + p22 p43 p31 + p13 p21 p32
      - p41 p12 + p41 p33 - p13 p41 p32 - p13 p22 p31 + p13 p42 p31 + p11 p43 p32 + p41 p22 - p23 p42

      + p22 p43 - p42 p21) - (-p22 p43 + p41 p23 p12 + p43 - p42 p23 p11 + p11 p43 p22 - p11 p43
      - p12 p43 p21 + p13 p42 p21 + p13 p41 - p13 p41 p22 + p23 p42) (-1 + p23 p32 - p22 p33 + p11 - p41
      + p13 p31 - p11 p33 - p13 p41 + p11 p43 + p33 - p43 + p22 + p12 p43 p21 + p42 p23 p11 - p43 p31
      + p21 p12 - p22 p11 + p42 p33 + p42 p11 - p43 p32 - p11 p43 p22 - p42 - p41 p23 p12 + p13 p41 p22
      - p13 p42 p21 + p41 p12 p33 - p41 p22 p33 + p23 p12 p31 + p42 p21 p33 - p42 p23 p31 - p23 p11 p32
      - p21 p12 p33 - p21 p43 p32 + p23 p41 p32 + p22 p11 p33 - p42 p11 p33 - p12 p43 p31 + p22 p43 p31
      + p13 p21 p32 - p41 p12 + p41 p33 - p13 p41 p32 - p13 p22 p31 + p13 p42 p31 + p11 p43 p32

      + p41 p22 - p23 p42 + p22 p43 - p42 p21) - (-p13 p42 p31 + p13 p41 p32 + p42 p11 p33 + p12 p43 p31
      + p41 p12 + p43 p32 + p42 - p42 p11 - p42 p33 - p11 p43 p32 - p41 p12 p33) (-1 + p23 p32 - p22 p33
      + p11 - p41 + p13 p31 - p11 p33 - p13 p41 + p11 p43 + p33 - p43 + p22 + p12 p43 p21 + p42 p23 p11
      - p43 p31 + p21 p12 - p22 p11 + p42 p33 + p42 p11 - p43 p32 - p11 p43 p22 - p42 - p41 p23 p12
      + p13 p41 p22 - p13 p42 p21 + p41 p12 p33 - p41 p22 p33 + p23 p12 p31 + p42 p21 p33 - p42 p23 p31
      - p23 p11 p32 - p21 p12 p33 - p21 p43 p32 + p23 p41 p32 + p22 p11 p33 - p42 p11 p33 - p12 p43 p31
      + p22 p43 p31 + p13 p21 p32 - p41 p12 + p41 p33 - p13 p41 p32 - p13 p22 p31 + p13 p42 p31

      + p11 p43 p32 + p41 p22 - p23 p42 + p22 p43 - p42 p21) + (-p21 p12 p33 + p23 p12 p31 + p21 p12 - 1
      + p23 p32 - p22 p33 + p11 + p13 p31 - p11 p33 + p33 + p22 - p22 p11 - p23 p11 p32 + p22 p11 p33
      + p13 p21 p32 - p13 p22 p31) (-1 + p23 p32 - p22 p33 + p11 - p41 + p13 p31 - p11 p33 - p13 p41
      + p11 p43 + p33 - p43 + p22 + p12 p43 p21 + p42 p23 p11 - p43 p31 + p21 p12 - p22 p11 + p42 p33
      + p42 p11 - p43 p32 - p11 p43 p22 - p42 - p41 p23 p12 + p13 p41 p22 - p13 p42 p21 + p41 p12 p33
      - p41 p22 p33 + p23 p12 p31 + p42 p21 p33 - p42 p23 p31 - p23 p11 p32 - p21 p12 p33 - p21 p43 p32
      + p23 p41 p32 + p22 p11 p33 - p42 p11 p33 - p12 p43 p31 + p22 p43 p31 + p13 p21 p32 - p41 p12
      + p41 p33 - p13 p41 p32 - p13 p22 p31 + p13 p42 p31 + p11 p43 p32 + p41 p22 - p23 p42 + p22 p43

                                                   145