query: How prove this integral $\int_{0}^{1}\frac{(x-1)dx}{(x+1)\ln{x}}=\ln{\frac{\pi}{2}}$
positive_passages.docid: 27195
positive_passages.text: Evaluating $\int_{0}^{1}\frac{1-x}{1+x}\frac{\mathrm dx}{\ln x}$
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} $
negative_passages.docid: 91306
negative_passages.text: Integration of $\frac{1}{\log(x)}$
negative_passages.docid: 33097
negative_passages.text: Proving an inequality without an integral: $\frac {1}{x+1}\leq \ln (1+x)- \ln (x) \leq \frac {1}{x}$
negative_passages.docid: 118324
negative_passages.text: Other challenging logarithmic integral $\int_0^1 \frac{\log^2(x)\log(1-x)\log(1+x)}{x}dx$
negative_passages.docid: 17996
negative_passages.text: Integral $\int_0^1 \frac{\ln(x+\sqrt{1-x^2})}{x}dx$
negative_passages.docid: 106812
negative_passages.text: Find $\int_{0}^{\infty} \frac{\ln(x)}{1+x^2}dx$
negative_passages.docid: 87242
negative_passages.text: Ways to prove $ \int_0^\pi dx \frac{\sin^2(n x)}{\sin^2 x} = n\pi$
negative_passages.docid: 140260
negative_passages.text: Is $\int \frac{1}{2x} \, dx $ equal to $\frac{\ln|2x|}{2}+ C$ or $\frac{\ln|x|}{2}+ C$
negative_passages.docid: 74241
negative_passages.text: Integrate square of the log-sine integral: $\int_0^{\frac{\pi}{2}}\ln^{2}(\sin(x))dx$
negative_passages.docid: 34855
negative_passages.text: Evaluate the integral: $\int_{0}^{1} \frac{\ln(x+1)}{x^2+1} \mathrm dx$
negative_passages.docid: 133990
negative_passages.text: How prove this $\int_{a}^{b}f(x)dx=\frac{1}{2}(b-a)[f(a)+f(b)]-\frac{1}{12}(b-a)^3f''(\xi)$
negative_passages.docid: 146349
negative_passages.text: $\int_0^\infty \frac{\ln\left(1+x-\sqrt{2x}\right)}{1+x^2}\,dx$
negative_passages.docid: 132452
negative_passages.text: Integral $\int_{\frac{1}{2}}^1 \frac{\ln x}{\sqrt{x^2+1}}dx$
negative_passages.docid: 139784
negative_passages.text: Computing integration $\int_0^1\frac{\ln x}{1-x}d x$
negative_passages.docid: 13747
negative_passages.text: Proof of $\int_0^\infty \frac{\sin x}{\sqrt{x}}dx=\sqrt{\frac{\pi}{2}}$
negative_passages.docid: 83325
negative_passages.text: Integral of $\frac{\sqrt{x^2+1}}{x}$