原式=xarccosx-∫xdarccosx
=xarccosx+∫xdx/√(1-x²)
=xarccosx-∫d(1-x²)/2√(1-x²)
=xarccosx-√(1-x²)+C