Integrand size = 24, antiderivative size = 82 \[ \int e^{\text {arctanh}(a x)} x^m \left (1-a^2 x^2\right )^{5/2} \, dx=\frac {x^{1+m}}{1+m}+\frac {a x^{2+m}}{2+m}-\frac {2 a^2 x^{3+m}}{3+m}-\frac {2 a^3 x^{4+m}}{4+m}+\frac {a^4 x^{5+m}}{5+m}+\frac {a^5 x^{6+m}}{6+m} \] Output:
x^(1+m)/(1+m)+a*x^(2+m)/(2+m)-2*a^2*x^(3+m)/(3+m)-2*a^3*x^(4+m)/(4+m)+a^4* x^(5+m)/(5+m)+a^5*x^(6+m)/(6+m)
Time = 0.03 (sec) , antiderivative size = 70, normalized size of antiderivative = 0.85 \[ \int e^{\text {arctanh}(a x)} x^m \left (1-a^2 x^2\right )^{5/2} \, dx=x^{1+m} \left (\frac {1}{1+m}+\frac {a x}{2+m}-\frac {2 a^2 x^2}{3+m}-\frac {2 a^3 x^3}{4+m}+\frac {a^4 x^4}{5+m}+\frac {a^5 x^5}{6+m}\right ) \] Input:
Integrate[E^ArcTanh[a*x]*x^m*(1 - a^2*x^2)^(5/2),x]
Output:
x^(1 + m)*((1 + m)^(-1) + (a*x)/(2 + m) - (2*a^2*x^2)/(3 + m) - (2*a^3*x^3 )/(4 + m) + (a^4*x^4)/(5 + m) + (a^5*x^5)/(6 + m))
Time = 0.35 (sec) , antiderivative size = 82, normalized size of antiderivative = 1.00, number of steps used = 3, number of rules used = 3, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.125, Rules used = {6700, 99, 2009}
Below are the steps used by Rubi to obtain the solution. The rule number used for the transformation is given above next to the arrow. The rules definitions used are listed below.
| \(\displaystyle \int \left (1-a^2 x^2\right )^{5/2} x^m e^{\text {arctanh}(a x)} \, dx\) |
| \(\Big \downarrow \) 6700 |
| \(\displaystyle \int (1-a x)^2 (a x+1)^3 x^mdx\) |
| \(\Big \downarrow \) 99 |
| \(\displaystyle \int \left (a^5 x^{m+5}+a^4 x^{m+4}-2 a^3 x^{m+3}-2 a^2 x^{m+2}+a x^{m+1}+x^m\right )dx\) |
| \(\Big \downarrow \) 2009 |
| \(\displaystyle \frac {a^5 x^{m+6}}{m+6}+\frac {a^4 x^{m+5}}{m+5}-\frac {2 a^3 x^{m+4}}{m+4}-\frac {2 a^2 x^{m+3}}{m+3}+\frac {a x^{m+2}}{m+2}+\frac {x^{m+1}}{m+1}\) |
Input:
Int[E^ArcTanh[a*x]*x^m*(1 - a^2*x^2)^(5/2),x]
Output:
x^(1 + m)/(1 + m) + (a*x^(2 + m))/(2 + m) - (2*a^2*x^(3 + m))/(3 + m) - (2 *a^3*x^(4 + m))/(4 + m) + (a^4*x^(5 + m))/(5 + m) + (a^5*x^(6 + m))/(6 + m )
Int[((a_.) + (b_.)*(x_))^(m_)*((c_.) + (d_.)*(x_))^(n_)*((e_.) + (f_.)*(x_) )^(p_), x_] :> Int[ExpandIntegrand[(a + b*x)^m*(c + d*x)^n*(e + f*x)^p, x], x] /; FreeQ[{a, b, c, d, e, f, p}, x] && IntegersQ[m, n] && (IntegerQ[p] | | (GtQ[m, 0] && GeQ[n, -1]))
Int[E^(ArcTanh[(a_.)*(x_)]*(n_.))*(x_)^(m_.)*((c_) + (d_.)*(x_)^2)^(p_.), x _Symbol] :> Simp[c^p Int[x^m*(1 - a*x)^(p - n/2)*(1 + a*x)^(p + n/2), x], x] /; FreeQ[{a, c, d, m, n, p}, x] && EqQ[a^2*c + d, 0] && (IntegerQ[p] || GtQ[c, 0])
Time = 0.20 (sec) , antiderivative size = 99, normalized size of antiderivative = 1.21
| method | result | size |
| norman | \(\frac {x \,{\mathrm e}^{m \ln \left (x \right )}}{1+m}+\frac {a \,x^{2} {\mathrm e}^{m \ln \left (x \right )}}{2+m}+\frac {a^{4} x^{5} {\mathrm e}^{m \ln \left (x \right )}}{5+m}+\frac {a^{5} x^{6} {\mathrm e}^{m \ln \left (x \right )}}{m +6}-\frac {2 a^{2} x^{3} {\mathrm e}^{m \ln \left (x \right )}}{3+m}-\frac {2 a^{3} x^{4} {\mathrm e}^{m \ln \left (x \right )}}{4+m}\) | \(99\) |
| risch | \(\frac {x \left (a^{5} m^{5} x^{5}+15 a^{5} m^{4} x^{5}+85 a^{5} m^{3} x^{5}+a^{4} x^{4} m^{5}+225 a^{5} m^{2} x^{5}+16 a^{4} x^{4} m^{4}+274 a^{5} m \,x^{5}+95 a^{4} x^{4} m^{3}-2 a^{3} m^{5} x^{3}+120 a^{5} x^{5}+260 a^{4} x^{4} m^{2}-34 a^{3} m^{4} x^{3}+324 a^{4} x^{4} m -214 a^{3} m^{3} x^{3}-2 a^{2} x^{2} m^{5}+144 a^{4} x^{4}-614 a^{3} m^{2} x^{3}-36 a^{2} x^{2} m^{4}-792 a^{3} m \,x^{3}-242 a^{2} x^{2} m^{3}+a \,m^{5} x -360 a^{3} x^{3}-744 a^{2} m^{2} x^{2}+19 a \,m^{4} x -1016 a^{2} m \,x^{2}+137 a \,m^{3} x +m^{5}-480 a^{2} x^{2}+461 a x \,m^{2}+20 m^{4}+702 a m x +155 m^{3}+360 a x +580 m^{2}+1044 m +720\right ) x^{m}}{\left (m +6\right ) \left (5+m \right ) \left (4+m \right ) \left (3+m \right ) \left (2+m \right ) \left (1+m \right )}\) | \(337\) |
| gosper | \(\frac {x^{1+m} \left (a^{5} m^{5} x^{5}+15 a^{5} m^{4} x^{5}+85 a^{5} m^{3} x^{5}+a^{4} x^{4} m^{5}+225 a^{5} m^{2} x^{5}+16 a^{4} x^{4} m^{4}+274 a^{5} m \,x^{5}+95 a^{4} x^{4} m^{3}-2 a^{3} m^{5} x^{3}+120 a^{5} x^{5}+260 a^{4} x^{4} m^{2}-34 a^{3} m^{4} x^{3}+324 a^{4} x^{4} m -214 a^{3} m^{3} x^{3}-2 a^{2} x^{2} m^{5}+144 a^{4} x^{4}-614 a^{3} m^{2} x^{3}-36 a^{2} x^{2} m^{4}-792 a^{3} m \,x^{3}-242 a^{2} x^{2} m^{3}+a \,m^{5} x -360 a^{3} x^{3}-744 a^{2} m^{2} x^{2}+19 a \,m^{4} x -1016 a^{2} m \,x^{2}+137 a \,m^{3} x +m^{5}-480 a^{2} x^{2}+461 a x \,m^{2}+20 m^{4}+702 a m x +155 m^{3}+360 a x +580 m^{2}+1044 m +720\right )}{\left (1+m \right ) \left (2+m \right ) \left (3+m \right ) \left (4+m \right ) \left (5+m \right ) \left (m +6\right )}\) | \(338\) |
| orering | \(\frac {\left (a^{5} m^{5} x^{5}+15 a^{5} m^{4} x^{5}+85 a^{5} m^{3} x^{5}+a^{4} x^{4} m^{5}+225 a^{5} m^{2} x^{5}+16 a^{4} x^{4} m^{4}+274 a^{5} m \,x^{5}+95 a^{4} x^{4} m^{3}-2 a^{3} m^{5} x^{3}+120 a^{5} x^{5}+260 a^{4} x^{4} m^{2}-34 a^{3} m^{4} x^{3}+324 a^{4} x^{4} m -214 a^{3} m^{3} x^{3}-2 a^{2} x^{2} m^{5}+144 a^{4} x^{4}-614 a^{3} m^{2} x^{3}-36 a^{2} x^{2} m^{4}-792 a^{3} m \,x^{3}-242 a^{2} x^{2} m^{3}+a \,m^{5} x -360 a^{3} x^{3}-744 a^{2} m^{2} x^{2}+19 a \,m^{4} x -1016 a^{2} m \,x^{2}+137 a \,m^{3} x +m^{5}-480 a^{2} x^{2}+461 a x \,m^{2}+20 m^{4}+702 a m x +155 m^{3}+360 a x +580 m^{2}+1044 m +720\right ) x \left (-a^{2} x^{2}+1\right )^{2} x^{m}}{\left (m +6\right ) \left (5+m \right ) \left (4+m \right ) \left (3+m \right ) \left (2+m \right ) \left (1+m \right ) \left (a x +1\right )^{2} \left (a x -1\right )^{2}}\) | \(363\) |
| parallelrisch | \(\frac {144 x^{m} a^{4} x^{5}-36 x^{3} x^{m} a^{2} m^{4}-792 x^{4} x^{m} a^{3} m -242 x^{3} x^{m} a^{2} m^{3}+x^{2} x^{m} a \,m^{5}-744 x^{3} x^{m} a^{2} m^{2}+19 x^{2} x^{m} a \,m^{4}-1016 x^{3} x^{m} a^{2} m +137 x^{2} x^{m} a \,m^{3}+461 x^{2} x^{m} a \,m^{2}+702 x^{2} x^{m} a m +324 x^{5} x^{m} a^{4} m +720 x^{m} x -480 x^{m} a^{2} x^{3}+x^{6} x^{m} a^{5} m^{5}+15 x^{6} x^{m} a^{5} m^{4}+85 x^{6} x^{m} a^{5} m^{3}+x^{5} x^{m} a^{4} m^{5}+225 x^{6} x^{m} a^{5} m^{2}+16 x^{5} x^{m} a^{4} m^{4}+274 x^{6} x^{m} a^{5} m +95 x^{5} x^{m} a^{4} m^{3}-2 x^{4} x^{m} a^{3} m^{5}+260 x^{5} x^{m} a^{4} m^{2}-34 x^{4} x^{m} a^{3} m^{4}-214 x^{4} x^{m} a^{3} m^{3}-2 x^{3} x^{m} a^{2} m^{5}-614 x^{4} x^{m} a^{3} m^{2}+360 x^{m} a \,x^{2}+120 x^{6} x^{m} a^{5}-360 x^{4} x^{m} a^{3}+x \,x^{m} m^{5}+20 x \,x^{m} m^{4}+155 x \,x^{m} m^{3}+580 x \,x^{m} m^{2}+1044 x \,x^{m} m}{\left (m +6\right ) \left (5+m \right ) \left (4+m \right ) \left (3+m \right ) \left (2+m \right ) \left (1+m \right )}\) | \(461\) |
Input:
int((a*x+1)*(-a^2*x^2+1)^2*x^m,x,method=_RETURNVERBOSE)
Output:
1/(1+m)*x*exp(m*ln(x))+a/(2+m)*x^2*exp(m*ln(x))+a^4/(5+m)*x^5*exp(m*ln(x)) +a^5/(m+6)*x^6*exp(m*ln(x))-2*a^2/(3+m)*x^3*exp(m*ln(x))-2*a^3/(4+m)*x^4*e xp(m*ln(x))
Leaf count of result is larger than twice the leaf count of optimal. 285 vs. \(2 (82) = 164\).
Time = 0.08 (sec) , antiderivative size = 285, normalized size of antiderivative = 3.48 \[ \int e^{\text {arctanh}(a x)} x^m \left (1-a^2 x^2\right )^{5/2} \, dx=\frac {{\left ({\left (a^{5} m^{5} + 15 \, a^{5} m^{4} + 85 \, a^{5} m^{3} + 225 \, a^{5} m^{2} + 274 \, a^{5} m + 120 \, a^{5}\right )} x^{6} + {\left (a^{4} m^{5} + 16 \, a^{4} m^{4} + 95 \, a^{4} m^{3} + 260 \, a^{4} m^{2} + 324 \, a^{4} m + 144 \, a^{4}\right )} x^{5} - 2 \, {\left (a^{3} m^{5} + 17 \, a^{3} m^{4} + 107 \, a^{3} m^{3} + 307 \, a^{3} m^{2} + 396 \, a^{3} m + 180 \, a^{3}\right )} x^{4} - 2 \, {\left (a^{2} m^{5} + 18 \, a^{2} m^{4} + 121 \, a^{2} m^{3} + 372 \, a^{2} m^{2} + 508 \, a^{2} m + 240 \, a^{2}\right )} x^{3} + {\left (a m^{5} + 19 \, a m^{4} + 137 \, a m^{3} + 461 \, a m^{2} + 702 \, a m + 360 \, a\right )} x^{2} + {\left (m^{5} + 20 \, m^{4} + 155 \, m^{3} + 580 \, m^{2} + 1044 \, m + 720\right )} x\right )} x^{m}}{m^{6} + 21 \, m^{5} + 175 \, m^{4} + 735 \, m^{3} + 1624 \, m^{2} + 1764 \, m + 720} \] Input:
integrate((a*x+1)*(-a^2*x^2+1)^2*x^m,x, algorithm="fricas")
Output:
((a^5*m^5 + 15*a^5*m^4 + 85*a^5*m^3 + 225*a^5*m^2 + 274*a^5*m + 120*a^5)*x ^6 + (a^4*m^5 + 16*a^4*m^4 + 95*a^4*m^3 + 260*a^4*m^2 + 324*a^4*m + 144*a^ 4)*x^5 - 2*(a^3*m^5 + 17*a^3*m^4 + 107*a^3*m^3 + 307*a^3*m^2 + 396*a^3*m + 180*a^3)*x^4 - 2*(a^2*m^5 + 18*a^2*m^4 + 121*a^2*m^3 + 372*a^2*m^2 + 508* a^2*m + 240*a^2)*x^3 + (a*m^5 + 19*a*m^4 + 137*a*m^3 + 461*a*m^2 + 702*a*m + 360*a)*x^2 + (m^5 + 20*m^4 + 155*m^3 + 580*m^2 + 1044*m + 720)*x)*x^m/( m^6 + 21*m^5 + 175*m^4 + 735*m^3 + 1624*m^2 + 1764*m + 720)
Leaf count of result is larger than twice the leaf count of optimal. 1760 vs. \(2 (68) = 136\).
Time = 0.44 (sec) , antiderivative size = 1760, normalized size of antiderivative = 21.46 \[ \int e^{\text {arctanh}(a x)} x^m \left (1-a^2 x^2\right )^{5/2} \, dx=\text {Too large to display} \] Input:
integrate((a*x+1)*(-a**2*x**2+1)**2*x**m,x)
Output:
Piecewise((a**5*log(x) - a**4/x + a**3/x**2 + 2*a**2/(3*x**3) - a/(4*x**4) - 1/(5*x**5), Eq(m, -6)), (a**5*x + a**4*log(x) + 2*a**3/x + a**2/x**2 - a/(3*x**3) - 1/(4*x**4), Eq(m, -5)), (a**5*x**2/2 + a**4*x - 2*a**3*log(x) + 2*a**2/x - a/(2*x**2) - 1/(3*x**3), Eq(m, -4)), (a**5*x**3/3 + a**4*x** 2/2 - 2*a**3*x - 2*a**2*log(x) - a/x - 1/(2*x**2), Eq(m, -3)), (a**5*x**4/ 4 + a**4*x**3/3 - a**3*x**2 - 2*a**2*x + a*log(x) - 1/x, Eq(m, -2)), (a**5 *x**5/5 + a**4*x**4/4 - 2*a**3*x**3/3 - a**2*x**2 + a*x + log(x), Eq(m, -1 )), (a**5*m**5*x**6*x**m/(m**6 + 21*m**5 + 175*m**4 + 735*m**3 + 1624*m**2 + 1764*m + 720) + 15*a**5*m**4*x**6*x**m/(m**6 + 21*m**5 + 175*m**4 + 735 *m**3 + 1624*m**2 + 1764*m + 720) + 85*a**5*m**3*x**6*x**m/(m**6 + 21*m**5 + 175*m**4 + 735*m**3 + 1624*m**2 + 1764*m + 720) + 225*a**5*m**2*x**6*x* *m/(m**6 + 21*m**5 + 175*m**4 + 735*m**3 + 1624*m**2 + 1764*m + 720) + 274 *a**5*m*x**6*x**m/(m**6 + 21*m**5 + 175*m**4 + 735*m**3 + 1624*m**2 + 1764 *m + 720) + 120*a**5*x**6*x**m/(m**6 + 21*m**5 + 175*m**4 + 735*m**3 + 162 4*m**2 + 1764*m + 720) + a**4*m**5*x**5*x**m/(m**6 + 21*m**5 + 175*m**4 + 735*m**3 + 1624*m**2 + 1764*m + 720) + 16*a**4*m**4*x**5*x**m/(m**6 + 21*m **5 + 175*m**4 + 735*m**3 + 1624*m**2 + 1764*m + 720) + 95*a**4*m**3*x**5* x**m/(m**6 + 21*m**5 + 175*m**4 + 735*m**3 + 1624*m**2 + 1764*m + 720) + 2 60*a**4*m**2*x**5*x**m/(m**6 + 21*m**5 + 175*m**4 + 735*m**3 + 1624*m**2 + 1764*m + 720) + 324*a**4*m*x**5*x**m/(m**6 + 21*m**5 + 175*m**4 + 735*...
Time = 0.03 (sec) , antiderivative size = 82, normalized size of antiderivative = 1.00 \[ \int e^{\text {arctanh}(a x)} x^m \left (1-a^2 x^2\right )^{5/2} \, dx=\frac {a^{5} x^{m + 6}}{m + 6} + \frac {a^{4} x^{m + 5}}{m + 5} - \frac {2 \, a^{3} x^{m + 4}}{m + 4} - \frac {2 \, a^{2} x^{m + 3}}{m + 3} + \frac {a x^{m + 2}}{m + 2} + \frac {x^{m + 1}}{m + 1} \] Input:
integrate((a*x+1)*(-a^2*x^2+1)^2*x^m,x, algorithm="maxima")
Output:
a^5*x^(m + 6)/(m + 6) + a^4*x^(m + 5)/(m + 5) - 2*a^3*x^(m + 4)/(m + 4) - 2*a^2*x^(m + 3)/(m + 3) + a*x^(m + 2)/(m + 2) + x^(m + 1)/(m + 1)
Leaf count of result is larger than twice the leaf count of optimal. 460 vs. \(2 (82) = 164\).
Time = 0.13 (sec) , antiderivative size = 460, normalized size of antiderivative = 5.61 \[ \int e^{\text {arctanh}(a x)} x^m \left (1-a^2 x^2\right )^{5/2} \, dx=\frac {a^{5} m^{5} x^{6} x^{m} + 15 \, a^{5} m^{4} x^{6} x^{m} + a^{4} m^{5} x^{5} x^{m} + 85 \, a^{5} m^{3} x^{6} x^{m} + 16 \, a^{4} m^{4} x^{5} x^{m} + 225 \, a^{5} m^{2} x^{6} x^{m} - 2 \, a^{3} m^{5} x^{4} x^{m} + 95 \, a^{4} m^{3} x^{5} x^{m} + 274 \, a^{5} m x^{6} x^{m} - 34 \, a^{3} m^{4} x^{4} x^{m} + 260 \, a^{4} m^{2} x^{5} x^{m} + 120 \, a^{5} x^{6} x^{m} - 2 \, a^{2} m^{5} x^{3} x^{m} - 214 \, a^{3} m^{3} x^{4} x^{m} + 324 \, a^{4} m x^{5} x^{m} - 36 \, a^{2} m^{4} x^{3} x^{m} - 614 \, a^{3} m^{2} x^{4} x^{m} + 144 \, a^{4} x^{5} x^{m} + a m^{5} x^{2} x^{m} - 242 \, a^{2} m^{3} x^{3} x^{m} - 792 \, a^{3} m x^{4} x^{m} + 19 \, a m^{4} x^{2} x^{m} - 744 \, a^{2} m^{2} x^{3} x^{m} - 360 \, a^{3} x^{4} x^{m} + m^{5} x x^{m} + 137 \, a m^{3} x^{2} x^{m} - 1016 \, a^{2} m x^{3} x^{m} + 20 \, m^{4} x x^{m} + 461 \, a m^{2} x^{2} x^{m} - 480 \, a^{2} x^{3} x^{m} + 155 \, m^{3} x x^{m} + 702 \, a m x^{2} x^{m} + 580 \, m^{2} x x^{m} + 360 \, a x^{2} x^{m} + 1044 \, m x x^{m} + 720 \, x x^{m}}{m^{6} + 21 \, m^{5} + 175 \, m^{4} + 735 \, m^{3} + 1624 \, m^{2} + 1764 \, m + 720} \] Input:
integrate((a*x+1)*(-a^2*x^2+1)^2*x^m,x, algorithm="giac")
Output:
(a^5*m^5*x^6*x^m + 15*a^5*m^4*x^6*x^m + a^4*m^5*x^5*x^m + 85*a^5*m^3*x^6*x ^m + 16*a^4*m^4*x^5*x^m + 225*a^5*m^2*x^6*x^m - 2*a^3*m^5*x^4*x^m + 95*a^4 *m^3*x^5*x^m + 274*a^5*m*x^6*x^m - 34*a^3*m^4*x^4*x^m + 260*a^4*m^2*x^5*x^ m + 120*a^5*x^6*x^m - 2*a^2*m^5*x^3*x^m - 214*a^3*m^3*x^4*x^m + 324*a^4*m* x^5*x^m - 36*a^2*m^4*x^3*x^m - 614*a^3*m^2*x^4*x^m + 144*a^4*x^5*x^m + a*m ^5*x^2*x^m - 242*a^2*m^3*x^3*x^m - 792*a^3*m*x^4*x^m + 19*a*m^4*x^2*x^m - 744*a^2*m^2*x^3*x^m - 360*a^3*x^4*x^m + m^5*x*x^m + 137*a*m^3*x^2*x^m - 10 16*a^2*m*x^3*x^m + 20*m^4*x*x^m + 461*a*m^2*x^2*x^m - 480*a^2*x^3*x^m + 15 5*m^3*x*x^m + 702*a*m*x^2*x^m + 580*m^2*x*x^m + 360*a*x^2*x^m + 1044*m*x*x ^m + 720*x*x^m)/(m^6 + 21*m^5 + 175*m^4 + 735*m^3 + 1624*m^2 + 1764*m + 72 0)
Time = 15.49 (sec) , antiderivative size = 374, normalized size of antiderivative = 4.56 \[ \int e^{\text {arctanh}(a x)} x^m \left (1-a^2 x^2\right )^{5/2} \, dx=\frac {x\,x^m\,\left (m^5+20\,m^4+155\,m^3+580\,m^2+1044\,m+720\right )}{m^6+21\,m^5+175\,m^4+735\,m^3+1624\,m^2+1764\,m+720}+\frac {a\,x^m\,x^2\,\left (m^5+19\,m^4+137\,m^3+461\,m^2+702\,m+360\right )}{m^6+21\,m^5+175\,m^4+735\,m^3+1624\,m^2+1764\,m+720}+\frac {a^5\,x^m\,x^6\,\left (m^5+15\,m^4+85\,m^3+225\,m^2+274\,m+120\right )}{m^6+21\,m^5+175\,m^4+735\,m^3+1624\,m^2+1764\,m+720}+\frac {a^4\,x^m\,x^5\,\left (m^5+16\,m^4+95\,m^3+260\,m^2+324\,m+144\right )}{m^6+21\,m^5+175\,m^4+735\,m^3+1624\,m^2+1764\,m+720}-\frac {2\,a^3\,x^m\,x^4\,\left (m^5+17\,m^4+107\,m^3+307\,m^2+396\,m+180\right )}{m^6+21\,m^5+175\,m^4+735\,m^3+1624\,m^2+1764\,m+720}-\frac {2\,a^2\,x^m\,x^3\,\left (m^5+18\,m^4+121\,m^3+372\,m^2+508\,m+240\right )}{m^6+21\,m^5+175\,m^4+735\,m^3+1624\,m^2+1764\,m+720} \] Input:
int(x^m*(a^2*x^2 - 1)^2*(a*x + 1),x)
Output:
(x*x^m*(1044*m + 580*m^2 + 155*m^3 + 20*m^4 + m^5 + 720))/(1764*m + 1624*m ^2 + 735*m^3 + 175*m^4 + 21*m^5 + m^6 + 720) + (a*x^m*x^2*(702*m + 461*m^2 + 137*m^3 + 19*m^4 + m^5 + 360))/(1764*m + 1624*m^2 + 735*m^3 + 175*m^4 + 21*m^5 + m^6 + 720) + (a^5*x^m*x^6*(274*m + 225*m^2 + 85*m^3 + 15*m^4 + m ^5 + 120))/(1764*m + 1624*m^2 + 735*m^3 + 175*m^4 + 21*m^5 + m^6 + 720) + (a^4*x^m*x^5*(324*m + 260*m^2 + 95*m^3 + 16*m^4 + m^5 + 144))/(1764*m + 16 24*m^2 + 735*m^3 + 175*m^4 + 21*m^5 + m^6 + 720) - (2*a^3*x^m*x^4*(396*m + 307*m^2 + 107*m^3 + 17*m^4 + m^5 + 180))/(1764*m + 1624*m^2 + 735*m^3 + 1 75*m^4 + 21*m^5 + m^6 + 720) - (2*a^2*x^m*x^3*(508*m + 372*m^2 + 121*m^3 + 18*m^4 + m^5 + 240))/(1764*m + 1624*m^2 + 735*m^3 + 175*m^4 + 21*m^5 + m^ 6 + 720)
Time = 0.17 (sec) , antiderivative size = 336, normalized size of antiderivative = 4.10 \[ \int e^{\text {arctanh}(a x)} x^m \left (1-a^2 x^2\right )^{5/2} \, dx=\frac {x^{m} x \left (a^{5} m^{5} x^{5}+15 a^{5} m^{4} x^{5}+85 a^{5} m^{3} x^{5}+a^{4} m^{5} x^{4}+225 a^{5} m^{2} x^{5}+16 a^{4} m^{4} x^{4}+274 a^{5} m \,x^{5}+95 a^{4} m^{3} x^{4}-2 a^{3} m^{5} x^{3}+120 a^{5} x^{5}+260 a^{4} m^{2} x^{4}-34 a^{3} m^{4} x^{3}+324 a^{4} m \,x^{4}-214 a^{3} m^{3} x^{3}-2 a^{2} m^{5} x^{2}+144 a^{4} x^{4}-614 a^{3} m^{2} x^{3}-36 a^{2} m^{4} x^{2}-792 a^{3} m \,x^{3}-242 a^{2} m^{3} x^{2}+a \,m^{5} x -360 a^{3} x^{3}-744 a^{2} m^{2} x^{2}+19 a \,m^{4} x -1016 a^{2} m \,x^{2}+137 a \,m^{3} x +m^{5}-480 a^{2} x^{2}+461 a \,m^{2} x +20 m^{4}+702 a m x +155 m^{3}+360 a x +580 m^{2}+1044 m +720\right )}{m^{6}+21 m^{5}+175 m^{4}+735 m^{3}+1624 m^{2}+1764 m +720} \] Input:
int((a*x+1)*(-a^2*x^2+1)^2*x^m,x)
Output:
(x**m*x*(a**5*m**5*x**5 + 15*a**5*m**4*x**5 + 85*a**5*m**3*x**5 + 225*a**5 *m**2*x**5 + 274*a**5*m*x**5 + 120*a**5*x**5 + a**4*m**5*x**4 + 16*a**4*m* *4*x**4 + 95*a**4*m**3*x**4 + 260*a**4*m**2*x**4 + 324*a**4*m*x**4 + 144*a **4*x**4 - 2*a**3*m**5*x**3 - 34*a**3*m**4*x**3 - 214*a**3*m**3*x**3 - 614 *a**3*m**2*x**3 - 792*a**3*m*x**3 - 360*a**3*x**3 - 2*a**2*m**5*x**2 - 36* a**2*m**4*x**2 - 242*a**2*m**3*x**2 - 744*a**2*m**2*x**2 - 1016*a**2*m*x** 2 - 480*a**2*x**2 + a*m**5*x + 19*a*m**4*x + 137*a*m**3*x + 461*a*m**2*x + 702*a*m*x + 360*a*x + m**5 + 20*m**4 + 155*m**3 + 580*m**2 + 1044*m + 720 ))/(m**6 + 21*m**5 + 175*m**4 + 735*m**3 + 1624*m**2 + 1764*m + 720)