I'd be equally glad to know if this is likely to be an unreasonably difficult integral. I obtained the above result using Mathematica and ideally wanted a proof, but it's not essential. Interestingly, the pro online version of Wolfram Alpha runs out of time before being able to evaluate it!