From the formula $\displaystyle\int_0^\infty e^{-tx}\frac{\sin{(x)}}{x}dx=\frac{\pi}{2}-\arctan{(t)}$ for $t>0$, how to use change of variables to obtain a formula for $\displaystyle\int_0^\infty e^{-ax}\frac{\sin{(bx)}}{x}dx$, when $a$ and $b$ are positive?
Then how to use differentiation under integral sign with respect to b to find a formula for $\displaystyle\int_0^\infty e^{-ax}\cos{(bx)}dx$ when a and b are positive.
My attempt: I know the result $\displaystyle\int_0^\infty e^{ax}\cos{(bx)}dx= \frac{e^{ax}}{a^2+b^2}(a\cos{(bx)}+b\sin{(bx)})$. Is this result useful here? Secondly integral calculator gives me this answer $$-\frac{i(Ei((ib-a)x)-Ei(-(ib+a)x))}{2}.$$
How to evaluate this answer involving exponential integrals if a=4 and b=5? Note=It was assumed that $(ib+a)\not=0$