\tan(\pi/4) + 1/42 \int_{-7\ln 6}^\infty \exp(-x/7) \dd{x}