Note. If $f$ is Riemann integrable and $\varphi$ continuous, then their composition $f\circ\varphi$ is NOT necessarily Riemann integrable. (See here.)
Sketch of proof.
Claim 1. If $f$ is Riemann integrable and $\varphi$ is differentiable and $\varphi'(x)\ge \eta>0$, then $f\circ\varphi$ is Riemann integrable.
Proof. Let $P=\{a=t_0<\cdots<t_n=b\}$ be a partition of $[a,b]$, then
$$
U(f\circ\varphi,P)-L(f\circ\varphi,P)=
\sum_{i=1}^n\big(M_i(f\circ\varphi)-m_i(f\circ\varphi)\big)(t_i-t_{i-1})
$$
where
$$
m_i(f\circ\varphi)=\inf_{t\in [t_{i-1},t_i]}(f\circ\varphi)(t)=
\inf_{x\in [\varphi(t_{i-1}),\varphi(t_i)]}f(t) \quad\text{and}\quad
M_i(f\circ\varphi)=\sup_{t\in [t_{i-1},t_i]}(f\circ\varphi)(t)=
\sup_{x\in [\varphi(t_{i-1}),\varphi(t_i)]}f(t)
$$
since $\varphi$ is increasing and hence
$$
U(f\circ\varphi,P)-L(f\circ\varphi,P)=
\sum_{i=1}^n\big(M_i(f\circ\varphi)-m_i(f\circ\varphi)\big)(t_i-t_{i-1})
\\=
\sum_{i=1}^n\big(M_i(f\circ\varphi)-m_i(f\circ\varphi)\big)
\big(\varphi(t_{i})-\varphi(t_{i-1})\big)
\frac{t_i-t_{i-1}}{\varphi(t_{i})-\varphi(t_{i-1})}
\\=
\sum_{i=1}^n\big(M_i(f\circ\varphi)-m_i(f\circ\varphi)\big)
\big(\varphi(t_{i})-\varphi(t_{i-1})\big)
\frac{1}{\varphi'(\tau_{i})}\le \frac{1}{\eta}\sum_{i=1}^n\big(M_i(f\circ\varphi)-m_i(f\circ\varphi)\big)=\frac{1}{\eta}\big(U(f,\tilde P)-L(f,\tilde P)\big)
$$
where $\tau_i\in(t_{i-1},t_i)$ and $\,\tilde P=\{\varphi(a)=\tilde t_0<\cdots<\tilde t_n=\varphi(b)\}$.
Clearly, for suitable choice of $\tilde P$, and subsequently of $P$, the $\frac{1}{\eta}\big(U(f,\tilde P)-L(f,\tilde P)\big)$ can become smaller than any given $\varepsilon$, and hence $f\circ\varphi$ is Riemann integrable.
Claim 2. If $g:[a,b]\to\mathbb R$ is bounded and for every $\delta_1,\delta_2>0$, the function $g$ is Riemann integrable on $[a+\delta_1,b-\delta_2]$. Then $g$ is Riemann integrable on $[a,b]$.
Proof. Simple application of the integrability criterion, which was used above.
Therefore, due to Claim 1, if $\varphi(x)=x\sin(1/x)$, then $\varphi'(x)\ge \eta>0$ or
$\varphi'(x)\le -\eta<0$, for some $\eta>0$ is any interval of the form
$$
\Big[\frac{1}{\frac{\pi}{2}+k\pi}+\delta,\frac{1}{-\frac{\pi}{2}+k\pi}-\delta\Big], \quad \delta>0,\,\,k\in\mathbb Z^+
$$
and hence, $f\circ \varphi$ is integrable in $\big[\frac{1}{\frac{\pi}{2}+k\pi}+\delta,\frac{1}{-\frac{\pi}{2}+k\pi}-\delta\big]$. Due to Claim 2,
$f\circ \varphi$ is integrable in $J_k=\big[\frac{1}{\frac{\pi}{2}+k\pi},\frac{1}{-\frac{\pi}{2}+k\pi}\big]$, and consequently in $I_n=\big[\frac{1}{\frac{\pi}{2}+k\pi},1\big]$, for all $n\in\mathbb N$, which is a finite union of $J_k$'s.
Applying Claim 2 once more we obtain that $f\circ \varphi$ is integrable in $[0,1]$.
