I'm a sucker for exotic integrals like the one evaluated in this post. I don't really know why, but I just can't get enough of the amazing closed forms that some are able to come up with.
So, what are your favorite exotic integral identities, and how do you prove them?
Here are some of my favorites: $$\int_0^\pi \sin^2\Big(x-\sqrt{\pi^2-x^2}\Big)dx=\frac{\pi}{2}$$ $$\int_0^\infty \frac{\ln(x)}{(1+x^{\sqrt 2})^\sqrt{2}}dx=0$$ $$\int_0^\infty \frac{dx}{(1+x^{1+\sqrt{2}})^{1+\sqrt{2}}}=\frac{1}{\sqrt{2}}$$ $$\int_{-\infty}^\infty \ln(2-2\cos(x^2))dx=-\sqrt{2\pi}\zeta(3/2)$$ $$\int_0^\infty \frac{\text{erf}^2(x)}{x^2}dx=\frac{4\ln(1+\sqrt{2})}{\sqrt{\pi}}$$ $$\int_0^\infty \frac{x^{3}\ln(e^x+\frac{x^3}{6}+\frac{x^2}{2}+x+1)-x^4}{\frac{x^3}{6}+\frac{x^2}{2}+x+1}=\frac{\pi^2}{2}$$ $$\int_0^{\pi/2} \ln(x^2+\ln^2(\cos(x)))dx=\pi\ln(\ln(2))$$ $$\int_0^\infty \frac{\arctan(2x)+\arctan(x/2)}{x^2+1}dx=\frac{\pi^2}{4}$$ $$\int_0^{\pi/2}\frac{\sin(x+100\tan(x))}{\sin(x)}dx=\frac{\pi}{2}$$ $$\int_0^1 \frac{x\ln(1+x+x^4+x^5)}{1+x^2}dx=\frac{\ln^2(2)}{2}$$ $$\int_0^{1/2}\sin(8x^4+x)\cos(8x^4-x)\cos(4x^2)xdx=\frac{\sin^2(1)}{16}$$
$$\int_0^{2\pi} \sqrt{2+\cos(x)+\sqrt{5+4\cos(x)}}dx=4\pi$$
And here are four extremely exotic scrumptious integrals:
$$\int_0^1 \frac{\sin(\pi x)}{x^x (1-x)^{1-x}}dx=\frac{\pi}{e}$$ $$\int_{-\infty}^\infty \frac{dx}{(e^x-x)^2+\pi^2}=\frac{1}{1+\Omega}$$
$$\int_0^\infty \frac{3\pi^2+4(z-\sinh(z))^2}{[3\pi^2+4(z-\sinh(z))^2]^2+16\pi^2(z-\sinh(z))^2}dz=\frac{1}{8+8\sqrt{1-w^2}}$$
$$\int_0^{\pi/2}\ln|\sin(mx)|\ln|\sin(nx)|dx=\frac{\pi^3}{24}\frac{\gcd^2(m,n)}{mn}+\frac{\pi \ln^2(2)}{2}$$
...where $\Omega$ is the Omega Constant, $w$ is the Dottie Number, and $m,n\in\mathbb N$.