  There have been many works on proving the integrals in the table of integrals
compiled by Gradshteyn and Ryzhik, and in this paper we prove some doubly
logarithmic integral identities in the Gradshteyn and Ryzhik table.
