Origin for each line in src/integLimit.red from check-in c1ddb4c814:

c1ddb4c814 2021-03-01 jeff@gridfini: f:=e^(-x)*sin (x);
c1ddb4c814 2021-03-01 jeff@gridfini: int (f, x);
c1ddb4c814 2021-03-01 jeff@gridfini: int (f, x, 0, infinity);
c1ddb4c814 2021-03-01 jeff@gridfini: int (f, x, 0, b);
c1ddb4c814 2021-03-01 jeff@gridfini: sin (b)+cos (b);
c1ddb4c814 2021-03-01 jeff@gridfini: c:=sin (b)+cos (b);
c1ddb4c814 2021-03-01 jeff@gridfini: limit (c, b,infinity);
c1ddb4c814 2021-03-01 jeff@gridfini: limit ((2*x+5)/(3*x-2), x, infinity);
c1ddb4c814 2021-03-01 jeff@gridfini: int (e^(-x)*sin (x), x, 0, infinity);
c1ddb4c814 2021-03-01 jeff@gridfini: end;