File src/integral.txt artifact 9ab6dc4c0e part of check-in c1ddb4c814

y:=e^(-x)*sin (x);
int (y, x, 0, infinity);
int (e^(-x)*sin (x), x, 0, infinity);
y;
df (y, x);
int (y, x);
g:=ws;
gup:=limit (g, x, infinity);
glw:=sub (x=0, g);
f:=gup-glw;
end;