A different way to prove that $\int_{1+\sqrt{2}}^{\infty} \frac{\ln(1+x)}{1+x^{2}} \, dx = \frac{3 G}{4} + \frac{\pi}{16} \, \ln 2$ From the fact that $$\int_{0}^{1} \int_{0}^{1} \frac{1}{2-x^{2}-y^{2}} \, dx \, dy $$ is an integral representation of Catalan's constant ($G$), I was able to deduce that $$\int_{1+\sqrt{2}}^{\infty} \frac{\ln(1+x)}{1+x^{2}} \, dx = \int_{0}^{\pi/8} \ln(1+ \cot u) \, du = \frac{3G}{4} + \frac{\pi}{16} \, \ln 2\tag{1}.$$

What is another way to prove $(1)$ that preferably doesn't involve the dilogarithm function?


EDIT:
In response to Dr. MV's comment, the following is how I deduced $(1)$ from that integral representation of Catalan's constant.
$$ \begin{align}  G&= \int_{0}^{1} \int_{0}^{1} \frac{1}{2-x^{2}-y^{2}} \, dx \, dy \\ &= \int_{0}^{1} \frac{1}{2-y^{2}} \int_{0}^{1} \frac{1}{1-\frac{x^{2}}{2-y^{2}}} \, dx \, dy \\ &= \int_{0}^{1} \frac{1}{\sqrt{2-y^{2}}} \,  \text{artanh} \left(\frac{1}{\sqrt{2-y^{2}}} \right) \, dy \\ &= \int_{0}^{\pi/4} \text{artanh} \left(\frac{1}{\sqrt{2} \cos \theta} \right) \, d \theta \\ &= \frac{1}{2} \int_{0}^{\pi/4} \ln \left(\frac{\sqrt{2} \cos \theta +1}{\sqrt{2} \cos \theta -1} \right) \, d \theta \\ &= \frac{1}{2} \int_{0}^{\pi/4} \ln \left(\frac{(\sqrt{2} \cos \theta+1)^{2}}{2  \cos^{2} \theta -1} \right) \, d \theta \\ &=\int_{0}^{\pi/4} \ln (\sqrt{2} \cos \theta +1) \, d \theta - \frac{1}{2} \int_{0}^{\pi/4} \ln(\cos 2 \theta) \, d \theta \\ &= \int_{0}^{\pi/4} \ln\left(\sqrt{2} \cos \left(\frac{\pi}{4}  - \phi\right)+1\right) \, d \phi - \frac{1}{4} \int_{0}^{\pi/2} \ln( \cos \tau) \, d \tau \\ &= \int_{0}^{\pi/4} \ln \left(\sin(\phi) + \cos(\phi)+1\right) \, d \phi - \frac{1}{4} \left(- \frac{\pi}{2} \,  \ln 2 \right) \\ &= \int_{0}^{\pi/4} \ln (\sin \phi) \, d \phi + \int_{0}^{\pi/4} \ln \left(1+ \frac{1+ \cos \phi}{\sin \phi} \right) \, d \phi + \frac{\pi}{8} \,  \ln 2 \\ &= - \frac{G}{2} - \frac{\pi}{4} \,  \ln 2 + \int_{0}^{\pi/4} \ln \left(1+ \cot \frac{\phi}{2} \right) \, d \phi + \frac{\pi}{8} \, \ln 2 \\ &=  - \frac{G}{2} - \frac{\pi}{8} \, \ln 2 + 2 \int_{0}^{\pi/8} \ln (1 + \cot u) \, du \end{align}$$

Using the identity

$$
\log(\cos(x))=-\log(2)+\sum_{k=1}^\infty(-1)^{k-1}\frac{\cos(2kx)}k\tag{1}
$$

and the evaluations

$$
\begin{align}
\sin(3k\pi/4)-\sin(k\pi/4)
&=2\color{#C00000}{\cos(k\pi/2)}\color{#00A000}{\sin(k\pi/4)}\\
&=\left\{\begin{array}{}
\color{#C00000}{0}&\text{if $k$ is odd}\\
2(-1)^{\frac{k/2+1}2}&\text{if $k/2$ is odd}\\
\color{#00A000}{0}&\text{if $k/2$ is even}
\end{array}\right.\tag{2}\\
\sin(k\pi/2)&=\left\{\begin{array}{}
(-1)^{\frac{k-1}2}&\text{if $k$ is odd}\\
0&\text{if $k$ is even}
\end{array}\right.\tag{3}
\end{align}
$$

we get
$$
\begin{align}
&\int_{1+\sqrt2}^\infty\frac{\log(1+x)}{1+x^2}\,\mathrm{d}x\tag{4a}\\
&=\int_{3\pi/8}^{\pi/2}\log(1+\tan(x))\,\mathrm{d}x\tag{4b}\\
&=\int_{3\pi/8}^{\pi/2}\left[\log(\cos(x)+\sin(x))-\log(\cos(x))\right]\,\mathrm{d}x\tag{4c}\\
&=\int_{3\pi/8}^{\pi/2}\left[\log(\sqrt2\cos(x-\pi/4))-\log(\cos(x))\right]\,\mathrm{d}x\tag{4d}\\
&=\frac\pi{16}\log(2)+\int_{\pi/8}^{\pi/4}\log(\cos(x))\,\mathrm{d}x-\int_{3\pi/8}^{\pi/2}\log(\cos(x))\,\mathrm{d}x\tag{4e}\\
&=\frac\pi{16}\log(2)+\left[\sum_{k=1}^\infty(-1)^{k-1}\frac{\sin(2kx)}{2k^2}\right]_{\pi/8}^{\pi/4}\,-\left[\sum_{k=1}^\infty(-1)^{k-1}\frac{\sin(2kx)}{2k^2}\right]_{3\pi/8}^{\pi/2}\tag{4f}\\
&=\frac\pi{16}\log(2)+\sum_{k=1}^\infty(-1)^{k-1}\frac{\sin(k\pi/2)-\sin(k\pi/4)+\sin(3k\pi/4)}{2k^2}\tag{4g}\\
&=\frac\pi{16}\log(2)+\sum_{k=0}^\infty\frac{(-1)^k}{2(2k+1)^2}+\frac{2(-1)^k}{2(4k+2)^2}\tag{4h}\\
&=\frac\pi{16}\log(2)+\frac34\mathrm{G}\tag{4i}
\end{align}
$$
Explanation:
$\text{(4b)}$: substitute $x\mapsto\tan(x)$
$\text{(4c)}$: $(1+\tan(x))\cos(x)=\cos(x)+\sin(x)$
$\text{(4d)}$: $\cos(x)+\sin(x)=\sqrt2\cos(x-\pi/4)$
$\text{(4e)}$: substitute $x\mapsto x+\pi/4$ in the left integral
$\text{(4f)}$: apply $(1)$
$\text{(4g)}$: evaluate at the limits
$\text{(4h)}$: apply $(2)$ and $(3)$
$\text{(4i)}$: apply the definition of Catalan's Constant
