About the integral $\int_{0}^{1}\frac{\log(x)}{\sqrt{1+x^{4}}}dx$ and elliptic functions For a work we need to evaluate the following integral $$\int_{0}^{1}\frac{\log\left(x\right)}{\sqrt{1+x^{4}}}dx=\,-_{3}F_{2}\left(\frac{1}{4},\frac{1}{4},\frac{1}{2};\frac{5}{4},\frac{5}{4};-1\right).\tag{1}$$ Classical approaches seem to lead nowhere, but it is possible to translating the problem into the language of elliptic functions. Let $\text{sn}(u,k)$ be the Jacobi elliptic sine. We can prove that the evaluation of $(1)$ boils down to the evaluation of $$\int_{0}^{T/4}\log\left(-e^{-\pi i/4}\text{sn}\left(e^{3\pi i/4}z,-1\right)\right)dz$$ where $T=2K(1/2)$ and $K\equiv K(k)$ is the complete elliptic integral of the first kind with $k$ the elliptic modulus. I am not an expert in elliptic functions so I have difficulty to understand if this integral can be evaluated or not. However, I found this formula $$\log\left(\text{sn}\left(u,k\right)\right)=\log\left(\frac{2K}{\pi}\right)+\log\left(\sin\left(\frac{\pi u}{2K}\right)\right)-4\sum_{n\geq1}\frac{1}{n}\frac{q^{n}}{1+q^{n}}\sin^{2}\left(\frac{n\pi u}{2K}\right)$$ with $$q\equiv e^{-\pi\frac{K}{K^{\prime}}}=e^{\pi i\tau}$$ and $\left|\text{Im}\left(\frac{\pi u}{2K}\right)\right|<\frac{\pi}{2}\text{Im}\left(\tau\right)$. So, assuming that we can exchange the integral with the series, which I'm not sure about, the problem boils down to studying the following Lambert series $$\sum_{n\geq1}\frac{1}{n^{2}}\frac{q^{n}}{1+q^{n}}\sin\left(\frac{\pi nT}{4K}\right).\tag{2}$$ I have seen that similar series have been studied but this particular one has not (as far as I know). Clearly, there are a lot of heuristic passages and so I may have written nonsense.
Questions:

$1)$ Is it possible to find a closed form (in terms of special functions) of $(1)$?


$2)$ Assuming that the “elliptic approach” is correct, is there a closed form of $(2)$, maybe in terms of elliptic functions?

Thank you.
Update: The approach used by achille hui in a series of answers (see 1, 2) maybe can be helpful, even if I'm not sure about it.
 A: $$I=-\int\limits_0^\infty \dfrac{x e^{-x}}{\sqrt{1+e^{-4x}}}\,\text dx
=-\int\limits_0^\infty \dfrac{x}{\sqrt{e^{2x}+e^{-2x}}}\,\text dx
=-\dfrac1{\sqrt2}\int\limits_0^\infty \dfrac{x}{\sqrt{2\cosh^2x-1}}\,\text dx,$$
$$I=-\dfrac1{2}\int\limits_0^\infty \dfrac{x}{\cosh x\sqrt{1-\dfrac1{2\cosh^2x}}}\,\text dx
=\sum\limits_{k=0}^\infty \dfrac1{(-2)^{k+1}}\dbinom{-^1\!/_4}kI_k,\tag1$$
where
$$I_k=\int\limits_0^\infty \dfrac{x}{\cosh^{2k+1}x}\,\text dx.\tag2$$
Then
\begin{cases}
I_0=2C\approx1.831931184,\quad 
I_1=C-\dfrac12\approx0.415965594,\\[5pt]
I_2=\dfrac{3}{4}C-\dfrac{11}{24}\approx 0.228640862,\quad 
I_3=\dfrac58C-\dfrac{299}{720} \approx 0.157200719,\\[6pt]
I_4=\dfrac{35}{64}C-\dfrac{15371}{40320} \approx 0.119693486,\quad 
I_5=\dfrac{63}{128}C+\dfrac{142819}{403200} \approx 0.096613026\dots, \tag3
\end{cases}
where $\;C\;$ is the Catalan constant.
At the same time,
$$I_{k+1}=I_{k}-\int\limits_0^\infty \dfrac{x \tanh^2 x\,\text dx}{\cosh^{2k+1}x}
=I_k+\int\limits_0^\infty \dfrac{x\sinh x}{\cosh^{2k+1}x}\,\text d\,\dfrac1{\cosh x}$$
$$=I_k-\int\limits_0^\infty \dfrac{-(2k+1)\sinh^2 x+\cosh^2 x}{\cosh^{2k+3}x}\,x\,\text dx-\dfrac1{2k+1}\,\dfrac1{\cosh^{2k+1}x}\bigg|_0^\infty$$
$$=I_k-(2k+1)I_{k+1}+2kI_k+\dfrac1{2k+1},$$
$$I_{k+1}=\dfrac{2k+1}{2k+2} I_k-\dfrac{1}{(2k+1)(2k+2)}.\tag4$$
Obtained series can converge faster than the closed form from OP.
A: Seems the given formula (1) is oversimplified for a mathematical understanding.
It holds by simply making use of the argument simplification rule for the Hypergeometric Function $_{2}F_{1}$:
$(1-z)^{a+b-c}$$_{2}F_{1}(a,b,c,,z)=$$_{2}F_{1}(-a+c-b+c,c,z)$
with
$z=-x^4$.
Making then the integration:
$\int \frac{log(x)}{\sqrt{1+x^4}}=x$ $_{2}F_{1}(\frac{1}{4},\frac{1}{2};\frac{5}{4};-x^4) log(x) - x$ $_{3}F_{2}(\frac{1}{4},\frac{1}{4},\frac{1}{2};\frac{5}{4},\frac{5}{4};-x^4) + constant$
$_{3}F_{2}$ is the generalized hypergeometric function.
This goes over to the given result is the appropriate borders of integrations are entered.
This can be confirmed by modern CAS or formula collection for the two types of hypergeometric functions. For example, the integral definitions can be found on HypergeometricPFQ.
More special for the question is this definition: Hypergeometric3F2. Useful is just the integral representations in the section for both hypergeometric functions.
For the numerical value and some impressive representations look at
HypergeometricPFQ[{0.25,0.25,0.5},{1.25,1.25},-1]
The numerical value is $-0.983384$.
So proving the formula (1) is using integral identities plainly and integration method for $log$ production integrations. Then this is only using formulas for coefficients for both hypergeometric functions. But calculating the value is much more difficult and a bit too far beyond a simple answer. This symbolical representation is higher complex functions representation theory and methodology:
.
Have a look at the formula collection mentioned above.
