integrate x*exp(-x)*K_1(x) from 0 to infinity