The integrals in Gradshteyn and Ryzhik. Part 18: Some automatic proofs. (2010). Scientia Series A: Mathematical Sciences, 20, 93-111. https://revistas.usm.cl/scientia/article/view/155