integral 0 to inf a*e^(-a*x) * a*e^(-a(y-x+1))