I was going through a worksheet and got presented with the following problem:

Given

0etxsin(x)dx=11+t2,\int_0^\infty e^{-tx}\sin(x)\,\mathrm dx = \frac{1}{1+t^2},

find the resulting equation after taking the ...