Find the derivative $\frac{\mathrm{d}y(x)}{\mathrm{d}x}$ of the following real function $y(x)$ defined for $0 < x < 1$: $$y(x) = (\arccos x)^{\log x}$$ where $0 < \arccos x < \pi/2$.
Find the derivative $\frac{\mathrm{d}y(x)}{\mathrm{d}x}$ of the following real function $y(x)$ defined for $0 < x < 1$:
$$y(x) = (\arccos x)^{\log x}$$
where $0 < \arccos x < \pi/2$.