$$\frac{1}{4\sqrt{2}}(3\cdot7\frac{1}{4\sqrt{2}}(1+\sqrt{3})+\frac{1}{4\sqrt{2}}(3+\sqrt{3})+1}{4\sqrt{2}}(1-\sqrt{3})$$
$\frac{\sqrt{2}\left(\sqrt{10}+1195\right)}{40}\approx 42.361433575$
$\frac{\sqrt{2} {(\sqrt{2} \sqrt{5} + 1195)}}{40} = 42.36143357477121$
