∫arcsec⁡x⁢ⅆ⁡x=x⁢arcsec⁡x-ln⁡(x+(x2-1)1/2),