Here are certain weighted Gaussian integrals I have encountered for which numerical computation reassures equality.
Question. Is this true? If so, is there an underlying transformation or just a proof? $$\int_0^{\infty}x^2e^{-x^2}\frac{dx}{\cosh\sqrt{\pi}x} =\frac14\int_0^{\infty}e^{-x^2}\frac{dx}{\cosh\sqrt{\pi}x}.$$$$\int_0^{\infty}x^2e^{-x^2}\frac{{dx}}{\cosh\sqrt{\pi}x} =\frac14\int_0^{\infty}e^{-x^2}\frac{dx}{\cosh\sqrt{\pi}x}.$$