Solving a Bizarre Bessel Integral

Integral from 0 to infinity of sqrt(pi/(x^2+1)) - e^(x^2/8)K_0(x^2/8)/2 dx, where K_0(x) is the modified bessel function of the second kind of order zero, evaluated using integral formulas, clever substitutions, and double integration.
Join my discord: / discord
Feel free to suggest integrals or other problems for me to try in the comments!
Like and subscribe if you enjoyed the video and want to see more content like this!
Thanks for watching!