query: Integral $\int_{0}^{\infty} \frac{\left(\frac{\pi x}{2}-\log (x)\right)^3}{\left(x^2+1\right)^2 \left(\log^2(x)+\frac{\pi ^2}{4}\right)} = \pi$ proof
positive_passages.docid: 155919
positive_passages.text: Integral $\small \int_0^\infty \frac{(\pi x - 2\log{x})^3}{\left(\log^2{x} + \frac{\pi^2}{4}\right)(1+x^2)^2} \text{d}x$
negative_passages.docid: 27790
negative_passages.text: Evaluating $\int_0^{\large\frac{\pi}{4}} \log\left( \cos x\right) \, \mathrm{d}x $
negative_passages.docid: 5034
negative_passages.text: A closed form of $\int_0^1\frac{\ln\ln\left({1}/{x}\right)}{x^2-x+1}\mathrm dx$
negative_passages.docid: 40881
negative_passages.text: Evaluate $\int_{0}^{+\infty }{\left( \frac{x}{{{\text{e}}^{x}}-{{\text{e}}^{-x}}}-\frac{1}{2} \right)\frac{1}{{{x}^{2}}}\text{d}x}$
negative_passages.docid: 30829
negative_passages.text: A question in Complex Analysis $\int_0^{2\pi}\log(1-2r\cos x +r^2)\,dx$
negative_passages.docid: 15569
negative_passages.text: Integral of the form $\int_0^\infty \exp{\left(-\frac{(a+bx)^2}{x}\right)}\frac{dx}{\sqrt{x^3}}$
negative_passages.docid: 31660
negative_passages.text: Integral $\int_{0}^{1}\left\{\frac{1}{x}\right\}\left\{\frac{1}{1-x}\right\}\left\{1-\frac{1}{x}\right\} d x=?$
negative_passages.docid: 10036
negative_passages.text: Proof of $\int_0^\infty \left(\frac{\sin x}{x}\right)^2 \mathrm dx=\frac{\pi}{2}.$
negative_passages.docid: 88154
negative_passages.text: Proving $\int_{0}^1\frac{x-1}{\log x}dx=\log 2$ and $\int_{0}^1\frac{\log x}{x-1}dx=\frac{\pi^2}{6}$
negative_passages.docid: 8358
negative_passages.text: Prove $\int_{0}^{\pi/2} \ln \left(x^{2} + (\ln\cos x)^2 \right) \, dx=\pi\ln\ln2 $
negative_passages.docid: 10675
negative_passages.text: Proving that $\frac{1}{2\pi}\int_{0}^{2\pi}|f(re^{it})|^2dt=\sum_{n=0}^{\infty}|a_n|^2r^{2n}$
negative_passages.docid: 66852
negative_passages.text: Integral $ \int_{-\infty}^{\infty}\frac{x^{2}}{\cosh\left(x\right)}\,{\rm d}x $
negative_passages.docid: 67622
negative_passages.text: Proving of Integral $\int_{0}^{\infty}\frac{e^{-bx}-e^{-ax}}{x}dx = \ln\left(\frac{a}{b}\right)$
negative_passages.docid: 96505
negative_passages.text: Compute $\int_0^\infty \left(\frac{1}{x}\right)^{\ln(x)}\,\mathrm{d}x$
negative_passages.docid: 124026
negative_passages.text: Prove $\int^\infty_0\frac x{e^x-1}dx=\frac{\pi^2}{6}$
negative_passages.docid: 8829
negative_passages.text: How to prove $\int_{-\infty}^{+\infty} f(x)dx = \int_{-\infty}^{+\infty} f\left(x - \frac{1}{x}\right)dx?$
negative_passages.docid: 147759
negative_passages.text: Integral $ \dfrac { \int_0^{\pi/2} (\sin x)^{\sqrt 2 + 1} dx} { \int_0^{\pi/2} (\sin x)^{\sqrt 2 - 1} dx} $