Origin for each line in src/integral.txt from check-in c1ddb4c814:

c1ddb4c814 2021-03-01 jeff@gridfini: y:=e^(-x)*sin (x);
c1ddb4c814 2021-03-01 jeff@gridfini: int (y, x, 0, infinity);
c1ddb4c814 2021-03-01 jeff@gridfini: int (e^(-x)*sin (x), x, 0, infinity);
c1ddb4c814 2021-03-01 jeff@gridfini: y;
c1ddb4c814 2021-03-01 jeff@gridfini: df (y, x);
c1ddb4c814 2021-03-01 jeff@gridfini: int (y, x);
c1ddb4c814 2021-03-01 jeff@gridfini: g:=ws;
c1ddb4c814 2021-03-01 jeff@gridfini: gup:=limit (g, x, infinity);
c1ddb4c814 2021-03-01 jeff@gridfini: glw:=sub (x=0, g);
c1ddb4c814 2021-03-01 jeff@gridfini: f:=gup-glw;
c1ddb4c814 2021-03-01 jeff@gridfini: end;