> restart;

> Fregaux:=x0^8*x1^4*x2^4*(1/(sin(Pi*x0)*GAMMA(1-x0+k0)))^8*GAMMA(-
x1+k1-x0+k0+1)^4*GAMMA(-x2+k2-x0+k0+1)^4*(1/(sin(Pi*x1)*GAMMA(1-
x1+k1)))^4*(1/(sin(Pi*x2)*GAMMA(1-x2+k2)))^4*(x1-k1-x2+k2)*sin
(Pi*(x1-x2))*exp(I*Pi*(k2-k1))*exp(t1*(x1+x2-k1-k2)+(x0-k0)*(2*
t1+t0));
(

> fb:=(1-exp(2*Pi*I*(x1+x0)))^5*(1-exp(2*Pi*I*(x2+x0)))^5;
(2)
> Freg:=F(x0,x1,x2)*fb;
(3)
> A:=diff(Freg,x1$3,x2$3,x0$7):
> A:=limit(A,x1=0):
> A:=limit(A,x2=0):
> A:=limit(A,x0=0)/7!/3!/3!;
(4)

> 4*I*D[2,3](F)(0,0,0)*Pi^11+D[2,2](F)(0,0,0)*Pi^11*I+D[3,3](F)(0,
0,0)*Pi^11*I;
(5)
 (5)

> D00F:=simplify(limit(simplify(diff(Fregaux,x0,x0),size),x0=0),
size):
> D00F:=simplify(limit(D00F,x1=0),size):
> D00F:=simplify(limit(D00F,x2=0),size);
(6)
> D02F:=simplify(limit(simplify(diff(Fregaux,x0,x2),size),x0=0),
size):
> D02F:=simplify(limit(D02F,x1=0),size):
> D02F:=simplify(limit(D02F,x2=0),size);
(7)

> D01F:=simplify(limit(simplify(diff(Fregaux,x0,x1),size),x0=0),
size):
> D01F:=simplify(limit(D01F,x1=0),size):
> D01F:=simplify(limit(D01F,x2=0),size);
(8)

> D11F:=simplify(limit(simplify(diff(Fregaux,x1,x1),size),x0=0),
size):
> D11F:=simplify(limit(D11F,x1=0),size):
> D11F:=simplify(limit(D11F,x2=0),size);
(9)
 (9)

> D11F := -2*exp(Pi*k2*I)*(k2+k0)^4*GAMMA(k1+k0)^4*GAMMA(k2+k0)^4*

(-4*k1*(-k2+k1)*(k1+k0)*Psi(k1+k0)+4*k1*(-k2+k1)*(k1+k0)*Psi(k1)+
k1^3*t1+(-1+k0*t1-t1*k2)*k1^2+k0*(-t1*k2+3)*k1-4*k2*k0)*(k1+k0)
^3/Pi^15/GAMMA(k2)^4/k2^4/k0^8/GAMMA(k0)^8/GAMMA(k1)^4/exp(Pi*k1*
I)/exp(t1*k1)/exp(t1*k2)/exp(k0*t1)/exp(k0*t0)^2/k1^5;
(10)

> D22F:=simplify(limit(simplify(diff(Fregaux,x2,x2),size),x0=0),
size):
> D22F:=simplify(limit(D22F,x1=0),size):
> D22F:=simplify(limit(D22F,x2=0),size);
(11)

> D22F:=2*exp(Pi*k2*I)*GAMMA(k1+k0)^4*(-4*k2*(-k2+k1)*(k2+k0)*Psi
(k2+k0)+4*k2*(-k2+k1)*(k2+k0)*Psi(k2)-k2^3*t1+(t1*k1-k0*t1+1)*
k2^2+k0*(-3+t1*k1)*k2+4*k0*k1)*GAMMA(k2+k0)^4*(k1+k0)^4*(k2+k0)
^3/k2^5/Pi^15/GAMMA(k2)^4/k0^8/GAMMA(k0)^8/GAMMA(k1)^4/exp(Pi*k1*
I)/exp(t1*k1)/exp(t1*k2)/exp(k0*t1)/exp(k0*t0)^2/k1^4;
(12)

> D12F:=simplify(limit(simplify(diff(Fregaux,x1,x2),size),x0=0),
size):
> D12F:=simplify(limit(D12F,x1=0),size):
> D12F:=simplify(limit(D12F,x2=0),size);

(13)
 (13)

> simplify(D11F+D22F+4*D12F,size);

(14)

> Aux:=8*exp(Pi*k2*I)*GAMMA(k2+k0)^4*GAMMA(k1+k0)^4*(-k1*k2*(-k2+
k1)*(k2+k0)*(k1+k0)*Psi(k1+k0)+k1*k2*(-k2+k1)*(k2+k0)*(k1+k0)*Psi
(k2+k0)+k1*k2*(-k2+k1)*(k2+k0)*(k1+k0)*Psi(k1)-k1*k2*(-k2+k1)*
(k2+k0)*(k1+k0)*Psi(k2)-k1^3*k0+(1/2*k0*k2-1/2*k2^2-k0^2)*
k1^2+3/2*k0*(1/3*k2+k0)*k2*k1-k0*k2^2*(k2+k0))*(k2+k0)^3*(k1+k0)
^3/Pi^15/GAMMA(k2)^4/k2^5/k0^8/GAMMA(k0)^8/k1^5/GAMMA(k1)^4/exp

(15)
 (Pi*k1*I)/exp(t1*k1)/exp(t1*k2)/exp(k0*t0)/exp(k0*t1)^2;

(15)

> k1:=K-k2;
(16)
> Aux:=simplify(simplify(8*exp(Pi*k2*I)*GAMMA(k2+k0)^4*GAMMA(k1+k0)
^4*(-k1*k2*(-k2+k1)*(k2+k0)*(k1+k0)*Psi(k1+k0)+k1*k2*(-k2+k1)*
(k2+k0)*(k1+k0)*Psi(k2+k0)+k1*k2*(-k2+k1)*(k2+k0)*(k1+k0)*Psi(k1)
-k1*k2*(-k2+k1)*(k2+k0)*(k1+k0)*Psi(k2)-k1^3*k0+(1/2*k0*k2-1/2*
k2^2-k0^2)*k1^2+3/2*k0*(1/3*k2+k0)*k2*k1-k0*k2^2*(k2+k0))*(k2+k0)
^3*(k1+k0)^3/Pi^15/GAMMA(k2)^4/k2^5/k0^8/GAMMA(k0)^8/k1^5/GAMMA
(k1)^4/exp(Pi*k1*I)/exp(t1*k1)/exp(t1*k2)/exp(k0*t0)/exp(k0*t1)
^2,symbolic),size);
(17)
> limit(limit(limit(Aux,k0=0),K=0),k2=0);
(18)

> simplify(-Pi^15/4*sum(eval(Aux,{K=1,k0=0}),k2=0..1),size);
(19)

> simplify(-Pi^15/4*sum(eval(Aux,{K=0,k0=1}),k2=0..0),size);
(20)

> simplify(-Pi^15/4*sum(eval(Aux,{K=0,k0=1}),k2=0..0),size);
(21)

> ll:=sum(Sum(Aux,k2=0..K),K=0..3);

(22)
> simplify((-Pi^15/4)*sum(convert(ll,sum),k0=0..3));
(23)

> Aux2:=simplify(simplify(8*exp(Pi*k2*I)*GAMMA(k2+k0)^4*GAMMA(k1+
>
k0)^4*(-k1*k2*(-k2+k1)*(k2+k0)*(k1+k0)*Psi(k1+k0)+k1*k2*(-k2+k1)*
(k2+k0)*(k1+k0)*Psi(k2+k0)+k1*k2*(-k2+k1)*(k2+k0)*(k1+k0)*Psi(k1)
-k1*k2*(-k2+k1)*(k2+k0)*(k1+k0)*Psi(k2)-k1^3*k0+(1/2*k0*k2-1/2*
k2^2-k0^2)*k1^2+3/2*k0*(1/3*k2+k0)*k2*k1-k0*k2^2*(k2+k0))*(k2+k0)
^3*(k1+k0)^3/Pi^15/GAMMA(k2)^4/k2^5/k0^8/GAMMA(k0)^8/k1^5/GAMMA
(k1)^4/exp(Pi*k1*I)*w^(k1)*w^(k2)*z^(k0),symbolic),size);
(24)

> ll:=sum(Sum(Aux2,k2=0..K),K=0..3):simplify((-Pi^15/4)*sum(convert
(ll,sum),k0=0..3));
(25)

> D002F:=simplify(limit(simplify(diff(Fregaux,x0,x0,x2),size),x0=
0),size):
> D00F:=simplify(limit(D00F,x1=0),size):
D00F:=simplify(limit(D00F,x2=0),size);