Show $\int_0^{\pi/3} \text{tanh}^{-1}(\sin x)\, dx=\frac{2}{3}G$ Discovered the integral below
$$I=\int_0^{\pi/3} \text{tanh}^{-1}(\sin x)\, dx= \frac23G$$
which looks clean, yet challenging. Have not seen it before. Post it here in case anyone is interested.
Edit:
Here is a solution. Let $J(a)=\int_0^{\frac\pi{3}}\tanh^{-1}\frac{2a\sin x}{1+a^2}dx$, with $I(0)=0$
$$ J’(a) = \int_0^{\frac\pi{3}}\frac{2(1-a^2)\sin x}{4a^2\cos^2x+(1-a^2)^2}dx
=\frac{\tan^{-1}\frac {a(1-a^2)}{1+a^4}}{a}
$$
Then
\begin{align}
I
& =J(1) =J(0)+\int_0^1 J’(a)da = \int_0^1\frac{\tan^{-1}\frac {a(1-a^2)}{1+a^4}}{a} da\\
&=\int_0^1\left(\frac{\tan^{-1}a}{a}\right.
-\underset{a^3\to a}{\left.\frac{\tan^{-1}a^3}{a}\right)}da=\left(1-\frac13\right) \int_0^1\frac{\tan^{-1}a}{a}da=\frac23G
\end{align}

Note that $2\operatorname{arctanh} x=\ln\left(\frac{1+x}{1-x}\right)$. So by letting $\frac{1-\sin x}{1+\sin x}=y\,$ in the integral we get: $$\int_0^\frac{\pi}{3} \operatorname{arctanh}(\sin x)dx=-\int_0^{(2-\sqrt 3)^2} \frac{\ln y}{\sqrt y(1+y)}dy\overset{\sqrt y=\tan x}=-\int_0^\frac{\pi}{12}\ln(\tan x)=\frac23G$$
See here for the last integral.
