20.2 Problem number 58

esech1(ax)xmdx

Optimal antiderivative xmam(1+m)+(1ax+1ax11+1ax)x1+m1+m+xmhypergeom([12,m2],[1+m2],a2x2)1ax+1ax+1am(1+m)

command

Integrate[E^ArcSech[a*x]*x^m,x]

Mathematica 13.1 output

esech1(ax)xmdx

Mathematica 12.3 output

2m+1xm(ax)me2sech1(ax)(esech1(ax)e2sech1(ax)+1)m(e2sech1(ax)+1)m((m+2)e2sech1(ax)2F1(m2+2,m+2;m2+3;e2sech1(ax))(m+4)2F1(m2+1,m+2;m2+2;e2sech1(ax)))a(m+2)(m+4)