integrate asinx-cos(asinx) for x from 0 to 1