求不等式arccos(x^2-x)