Christoph Koutschan and Victor H. Moll, “The integrals in Gradshteyn and Ryzhik. Part 18: Some automatic proofs”, Sci. Ser. A Math. Sci. (N.S.), vol. 20, pp. 93–111, Jan. 2010, doi: 10.71712/.