integrate from 0 to +inf e^(-3x) * cosxdx