令x=tant,则
原式=∫ln（tant+sect)dtant
=tant*In(tant+sect)-∫tantsectd
=tant*In(tant+sect)-∫dsect
=tant*In(tant+sect)-sect
=x*ln(x+√(1＋x²))-√(1＋x²)+C.