$\int_{0}^{\frac{\pi}{2}} \frac{\cos \left(s \arctan \left(-\frac{x}{\ln \cos x}\right)\right)}{\left(x^{2}+\ln ^{2} \cos x\right)^{\frac{s}{2}}}d x$
10168
Ramanujan log-trigonometric integrals
142834
An integral : $\int_{-a}^a \frac{\cos(\pi n x/a)}{x^2+a^2}\mathrm dx$
21088
Prove $\int\limits_{0}^{\pi/2}\frac{dx}{1+\sin^2{(\tan{x})}}=\frac{\pi}{2\sqrt{2}}\bigl(\frac{e^2+3-2\sqrt{2}}{e^2-3+2\sqrt{2}}\bigr)$
24558
Show that $\frac{1}{\sqrt{2\pi}} \cdot \left(\int_{- \infty}^{\infty} e^{itx} \cdot e^{-\frac{1}{2}t^2 } dx \right) = e^{-\frac{1}{2}t^2}$
41416
Integrating $ \int_2^4 \frac{ \sqrt{\ln(9-x)} }{ \sqrt{\ln(9-x)}+\sqrt{\ln(x+3)} } dx. $
74822
How to evaluate $\int_{0}^{\pi }\theta \ln\tan\frac{\theta }{2} \, \mathrm{d}\theta$
98741
Finding $\int_{0}^{\frac{\pi}{4}} \frac{\tan \theta - \tan^3 \theta}{\ln \tan \theta}$
31660
Integral $\int_{0}^{1}\left\{\frac{1}{x}\right\}\left\{\frac{1}{1-x}\right\}\left\{1-\frac{1}{x}\right\} d x=?$
147977
Evaluate $\int_0^1\left(\frac{x-1}{x+1}\right)^n\frac{1}{\ln x} \,dx$
17925
Vardi's Integral: $\int_{\pi/4}^{\pi/2} \ln (\ln(\tan x))dx $
62450
Computing $ \int_0^{2\pi} \frac{1}{a^2\cos^2 t+b^2 \sin^2 t} dt \;; a,b>0$.
99753
How to prove $\int_0^1\frac{1-x}{(\ln x)(1+x)}\ dx=\ln\left(\frac2{\pi}\right)$?
1416
closed form of $\int_{0}^{2\pi}\frac{dx}{(a^2\cos^2x+b^2\sin^2x)^n}$
45622
Value of this definite integral $\int_{0}^{\infty} \frac{ \ln(x)}{x^2+2x+4} dx $
140386
Integrate $\int {\dfrac{x^2+\left(n-1\right)n}{\left(x\sin x+n\cos x\right)^2}}dx $
151462
Find $\int \limits_0^1 \int \limits_x^1 \arctan \bigg(\frac yx \bigg) \, \, \, dx \, \, dy$
54638
Integral $\int^{ \pi /2}_{0} \ln (\sin x)\ dx$