About the integral ∫+∞0sin(xlogx)dx\int_{0}^{+\infty}\sin(x\,\log x)\,dx

I seem to have an idea for a solution to your integral through other techniques than you might have anticipated. By the way, I am extremely uncertain of my work, so please edit the question before immediately down-voting if you see a problem. Thanks. I want to point out that the final solution is hopefully easier for you. (Point of answer is to solve for $I$)

$$\int_1^\infty\text{d}x \sin(x \log x)=I$$

Now multiply the numerator and denominator of the fraction $I/1$ by J, where $$J=\int_1^e\frac{\text{d}x}{x\log x}$$

From this, you get (with substitution in $J$ of $x=y$) $\frac{IJ}{J}=\cdots$

$$I=\frac{1}{\int_1^e \sqrt{x\log x}}\int_1^\infty \int_1^e \frac{\text{d}x\text{d}x \sin(x\log x)}{\sqrt{x\log x}}$$

Now, the multiplied integral $(J)$ can in fact be solved in terms of the error function.
I will solve for $J$ by substitution and Fundamental Theorem of Calculus you will see why later.

$$\int\frac{\text{d}x}{\sqrt{x\log x}}$$

Substitute out $a=\frac{1}{\sqrt{x}}$ and $\text{d}a=-\frac{\text{d}x}{2x^{3/2}}$
I have checked the algebra.
$$\int \frac{-2 \text{d}u}{u^2\sqrt{-2\log u}}\implies -i\sqrt{2}\int \frac{\text{d}u}{u^2\sqrt{\log u}}$$

Next substitute $c=\log b$ and $\text{d}c=\frac{\text{d}b}{b}$
That leaves us with

$$-i\sqrt{2}\int \frac{e^{-b}\text{d}b}{\sqrt{b}}$$

The next part is a bit weird. This was beyond my skill level, so I gave this to W|A who gladly accepted. It punched out:

$$-i\sqrt{2\pi} \text{erf}(\sqrt b)$$

Under recollection that $a=\log b$, you get

$$-i\sqrt{2\pi} \text{erf}(\sqrt{\log a})$$

Then recall that $a=\frac{1}{\sqrt{x}}$, you get

$$-i\sqrt{2\pi} \text{erf}(\sqrt{\log \frac{1}{\sqrt{x}}})$$

Simplifying gains:

$$-i\sqrt{2\pi}\text{erf}(\sqrt{\frac{-\log x}{2}})$$

From that, solving for $J$ is a piece of cake.

$$\int_1^e \frac{\text{d}x}{\sqrt{x \log x}}=-i\sqrt{2\pi}(\text{erf}(\sqrt{\frac{-\log e}{2}}))-(-i\sqrt{2\pi}(\text{erf}(\sqrt{\frac{-\log 1}{2}})))=\sqrt{2\pi}\text{erfi}(1/\sqrt{2})\approx 2.38$$

This ugly mess results in a very little change. But in reality, that “very little change” is extremely important. DO NOT change the right side. We have something very special in mind for that.

$$I=\frac{1}{\sqrt {2\pi}\text{erfi}(1/\sqrt{2})}\int_1^\infty \int_1^e \frac{\text{d}x\text{d}x \sin(x\log x)}{\sqrt{x\log x}}$$

So, I do recognize the inverse of $x \log x$ as $W(\log x)$, so for the entire RHS, substitute $x=W(\log u)$

$$I=\frac{1}{\sqrt {2\pi}\text{erfi}(1/\sqrt{2})}\int_{0}^\infty \int_0^{\Omega} \frac{(W^{\prime}(\log u)^2)\text{d}u\text{d}u \sqrt{u}\sin u}{u}$$

We easily recognize something nice! Split up the integral into three parts that can be used. (integral of sinc function is what is recognized.) Not entirely sure of that step (though pretty sure), please let me know in the comments if that is OK to do.

$$I=\frac{1}{\sqrt {2\pi}\text{erfi}(1/\sqrt{2})}*\int_0^\Omega (W^\prime (\log u)^2)\sqrt{u}\text{d}u * \int_0^\infty (\frac{\sin u}{u})\implies$$

$$I=\frac{\sqrt{\pi}}{2\sqrt2 \text{erfi}(1/\sqrt{2})}\int_0^\Omega \sqrt{u}\space W^{\prime}(\ln u)\text{d}u$$

After this step, however, I am at a loss. I hope that this new solution brings you closer to your goal. Sorry for not being able to complete it.