Show that $f(x)\ge 0$ for $0\le x \le 1$, where:

$$f(x) = \arccos(x)^2 -8x(5x^2-2) \sqrt{1-x^2}\arccos(x)+36 x^8-112 x^6+93 x^4-17 x^2$$

The endpoints are $f(0)=\pi^2/4$ and $f(1)=0$. Plotting verifies that the function is positive, but it is not monotonic, or concave. The maximum is the root of a complicated function, so it is not clear how to separate into sub-intervals. There seems to be no way to separate the function into the sum of two simpler parts that are positive.

This may seem somewhat obscure, but it turns out to be important for proving a significant theorem on uniqueness of solutions to unmixing linear combinations of independent random variables. One part of the solution I posted in another question. I believe I have a solution for that, thought it involves working with a piecewise function and verifying monotonicity of 60 essentially elementary functions. The other part, involving the integral over the radial direction comes down to proving that this function is positive (derived and extracted from a more complicated expression).

Does anyone know how to show that a function like this is positive, or have an idea that I could pursue? I'm asking here because I have no idea how to proceed.