read MultiAlmkvistZeilberger:


print(MAZ(1,(t1-t2)^(2*z)*(1-t1)^y*(1-t2)^y,t1*t2,[t1,t2],x,X,{y,z}));

time();

quit: