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

5ce5316a33 2021-03-01    1: f:=e^(-x)*sin (x);
5ce5316a33 2021-03-01    2: int (f, x);
5ce5316a33 2021-03-01    3: int (f, x, 0, infinity);
5ce5316a33 2021-03-01    4: int (f, x, 0, b);
5ce5316a33 2021-03-01    5: sin (b)+cos (b);
5ce5316a33 2021-03-01    6: c:=sin (b)+cos (b);
5ce5316a33 2021-03-01    7: limit (c, b,infinity);
5ce5316a33 2021-03-01    8: limit ((2*x+5)/(3*x-2), x, infinity);
5ce5316a33 2021-03-01    9: int (e^(-x)*sin (x), x, 0, infinity);
5ce5316a33 2021-03-01   10: end;