Step 1: Convert
\(\cot^{-1}(1+x^2-x) = \tan^{-1}\frac{1}{1-x+x^2}\), because the argument is positive on \([0,1]\).
Step 2: Split
\(\frac{1}{1-x(1-x)} = \frac{x+(1-x)}{1-x(1-x)}\), which is the tangent of a sum. So the term equals \(\tan^{-1}x + \tan^{-1}(1-x)\).
Step 3: Use the property
Since \(\int_0^1\tan^{-1}(1-x)dx = \int_0^1\tan^{-1}x\,dx\), the integral is \(2\int_0^1\tan^{-1}x\,dx\).
Step 4: Integrate by parts
\(\int_0^1\tan^{-1}x\,dx = \left[x\tan^{-1}x\right]_0^1 - \int_0^1\frac{x}{1+x^2}dx = \frac\pi4 - \frac12\ln2\).
Step 5: Result
Double: \(\frac\pi2 - \ln2\). Option (A).
Final Answer:
The value is pi/2 - log 2.
\[ \boxed{\text{(A)}\ \frac\pi2-\log2} \]