Interesting Integral including $\ln x$ I would like to evaluate this integral:  $$\int_0^1  \frac{\sin(\ln(x))}{\ln(x)}\,dx$$
I tried a lot, started by integral uv formula [integration-by-parts?] and it went quite lengthy and never ending.
Then, thought may be expansion of $\sin x$ but it didn't made any sense, it's a infinite series and there's no way here that it will end..
It is highly appreciated if you give some hints to solve it.
I am a high school student,so I expect it to be simple but tricky:-)

As you said, you're in high-school. So, the most obvious method is to use the substitution method and the make an observation that the resulting integral involves the Exponential Integral of complex argument.Let us start by making the substitution $-u=\ln(x).$ Then,
$\begin{equation}\begin{aligned}\int^{1}_{0}\dfrac{\sin(\ln(x)}{\ln(x)}&=\int^{\infty}_{0}\dfrac{\sin(u)e^{-u}}{u}du\\
&=\dfrac{1}{2}\int_{0}^{\infty}\dfrac{e^{-u}}{u}\left(ie^{-iu}-ie^{iu}\right)du\\
&=\dfrac{i}{2}\int^{\infty}_{0}\left(\dfrac{e^{-(i+1)u}}{u}-\dfrac{e^{-(1-i)u}}{u}\right)du\\
&=\dfrac{1}{2}i\left\{\mathbb{E}_1[-(1+i)u]-\mathbb{E}_1[-(1-i)u]\right\}|_{0}^{\infty}\\
&=\dfrac{1}{2}i\left\{\mathbb{E}_1[(1+i)\ln(x)]-\mathbb{E}_1[(1-i)\ln(x)]\right\}|_{0}^{1}\\
&=\dfrac{\pi}{4}
\end{aligned}
\end{equation}$
We have expanded the sine function into its complex exponential form and used the fact that $\int\dfrac{e^{-xt}}{t}dt=\mathbb{E}_1(-x),$ with $\mathbb{E}_1(\cdot)$ as the well-known Exponential Integral function of complex argument Exponential Integral.
