

read "TestData1":

K := x, [t1, t2], [t1, (1+t1)/(x+t1)];


read "Liouville.txt";
with(Liouville);
with(DataList);
with(Risch);
NoNewConst(K);
SetTower(K);



T := [];
                            
for i from 1 to nops(L) do

  

   T1:= 0:

   for j from 1 to 5 do
       print([i,j]);

       fd := L[i,j]:

       TT1 := time():  
      (g, r) := ReductionPair(0, fd):  h:=normal(g):
      TT1 := time() - TT1: T1 := T1 + TT1: print(T1);
       if r <> 0 then
          print(incorect); return fd:
       else
          G := subs([t1 = exp(x), t2 = log(exp(x)+x)], h):
          fD := subs([t1 = exp(x), t2 = log(exp(x)+x)], fd):
          s := normal(diff(G,x) - fD):
          if s <> 0 then print(incorect); return fd: end if: 
       end if:


       
    end do:
    T := [op(T), evalf(T1/5)]; print(T); save T, Timing1CR:
end do:

#save T, Timing1CR:
