Integrand size = 31, antiderivative size = 304 \[ \int \frac {(e x)^m \left (a+b x^n\right )^p \left (A+B x^n\right )}{\left (c+d x^n\right )^2} \, dx=\frac {(B c-A d) (e x)^{1+m} \left (a+b x^n\right )^{1+p}}{c (b c-a d) e n \left (c+d x^n\right )}-\frac {(a d (B c (1+m)-A d (1+m-n))+b c (A d (1+m-n (1-p))-B c (1+m+n p))) (e x)^{1+m} \left (a+b x^n\right )^p \left (1+\frac {b x^n}{a}\right )^{-p} \operatorname {AppellF1}\left (\frac {1+m}{n},-p,1,\frac {1+m+n}{n},-\frac {b x^n}{a},-\frac {d x^n}{c}\right )}{c^2 d (b c-a d) e (1+m) n}-\frac {b (B c-A d) (1+m+n p) (e x)^{1+m} \left (a+b x^n\right )^p \left (1+\frac {b x^n}{a}\right )^{-p} \operatorname {Hypergeometric2F1}\left (\frac {1+m}{n},-p,\frac {1+m+n}{n},-\frac {b x^n}{a}\right )}{c d (b c-a d) e (1+m) n} \] Output:
(-A*d+B*c)*(e*x)^(1+m)*(a+b*x^n)^(p+1)/c/(-a*d+b*c)/e/n/(c+d*x^n)-(a*d*(B* c*(1+m)-A*d*(1+m-n))+b*c*(A*d*(1+m-n*(1-p))-B*c*(n*p+m+1)))*(e*x)^(1+m)*(a +b*x^n)^p*AppellF1((1+m)/n,-p,1,(1+m+n)/n,-b*x^n/a,-d*x^n/c)/c^2/d/(-a*d+b *c)/e/(1+m)/n/((1+b*x^n/a)^p)-b*(-A*d+B*c)*(n*p+m+1)*(e*x)^(1+m)*(a+b*x^n) ^p*hypergeom([-p, (1+m)/n],[(1+m+n)/n],-b*x^n/a)/c/d/(-a*d+b*c)/e/(1+m)/n/ ((1+b*x^n/a)^p)
Time = 0.60 (sec) , antiderivative size = 138, normalized size of antiderivative = 0.45 \[ \int \frac {(e x)^m \left (a+b x^n\right )^p \left (A+B x^n\right )}{\left (c+d x^n\right )^2} \, dx=\frac {x (e x)^m \left (a+b x^n\right )^p \left (1+\frac {b x^n}{a}\right )^{-p} \left (A (1+m+n) \operatorname {AppellF1}\left (\frac {1+m}{n},-p,2,\frac {1+m+n}{n},-\frac {b x^n}{a},-\frac {d x^n}{c}\right )+B (1+m) x^n \operatorname {AppellF1}\left (\frac {1+m+n}{n},-p,2,\frac {1+m+2 n}{n},-\frac {b x^n}{a},-\frac {d x^n}{c}\right )\right )}{c^2 (1+m) (1+m+n)} \] Input:
Integrate[((e*x)^m*(a + b*x^n)^p*(A + B*x^n))/(c + d*x^n)^2,x]
Output:
(x*(e*x)^m*(a + b*x^n)^p*(A*(1 + m + n)*AppellF1[(1 + m)/n, -p, 2, (1 + m + n)/n, -((b*x^n)/a), -((d*x^n)/c)] + B*(1 + m)*x^n*AppellF1[(1 + m + n)/n , -p, 2, (1 + m + 2*n)/n, -((b*x^n)/a), -((d*x^n)/c)]))/(c^2*(1 + m)*(1 + m + n)*(1 + (b*x^n)/a)^p)
Time = 1.06 (sec) , antiderivative size = 289, normalized size of antiderivative = 0.95, number of steps used = 4, number of rules used = 4, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.129, Rules used = {1065, 25, 1067, 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 \frac {(e x)^m \left (A+B x^n\right ) \left (a+b x^n\right )^p}{\left (c+d x^n\right )^2} \, dx\) |
\(\Big \downarrow \) 1065 |
\(\displaystyle \frac {\int -\frac {(e x)^m \left (b x^n+a\right )^p \left (b (B c-A d) (m+n p+1) x^n+a (B c (m+1)-A d (m-n+1))-A b c n\right )}{d x^n+c}dx}{c n (b c-a d)}+\frac {(e x)^{m+1} (B c-A d) \left (a+b x^n\right )^{p+1}}{c e n (b c-a d) \left (c+d x^n\right )}\) |
\(\Big \downarrow \) 25 |
\(\displaystyle \frac {(e x)^{m+1} (B c-A d) \left (a+b x^n\right )^{p+1}}{c e n (b c-a d) \left (c+d x^n\right )}-\frac {\int \frac {(e x)^m \left (b x^n+a\right )^p \left (b (B c-A d) (m+n p+1) x^n+a B c (m+1)-a A d (m-n+1)-A b c n\right )}{d x^n+c}dx}{c n (b c-a d)}\) |
\(\Big \downarrow \) 1067 |
\(\displaystyle \frac {(e x)^{m+1} (B c-A d) \left (a+b x^n\right )^{p+1}}{c e n (b c-a d) \left (c+d x^n\right )}-\frac {\int \left (\frac {b (B c-A d) (m+n p+1) \left (b x^n+a\right )^p (e x)^m}{d}+\frac {(d (a B c (m+1)-a A d (m-n+1)-A b c n)-b c (B c-A d) (m+n p+1)) \left (b x^n+a\right )^p (e x)^m}{d \left (d x^n+c\right )}\right )dx}{c n (b c-a d)}\) |
\(\Big \downarrow \) 2009 |
\(\displaystyle \frac {(e x)^{m+1} (B c-A d) \left (a+b x^n\right )^{p+1}}{c e n (b c-a d) \left (c+d x^n\right )}-\frac {\frac {(e x)^{m+1} \left (a+b x^n\right )^p \left (\frac {b x^n}{a}+1\right )^{-p} (d (-a A d (m-n+1)+a B c (m+1)-A b c n)-b c (m+n p+1) (B c-A d)) \operatorname {AppellF1}\left (\frac {m+1}{n},-p,1,\frac {m+n+1}{n},-\frac {b x^n}{a},-\frac {d x^n}{c}\right )}{c d e (m+1)}+\frac {b (e x)^{m+1} (m+n p+1) (B c-A d) \left (a+b x^n\right )^p \left (\frac {b x^n}{a}+1\right )^{-p} \operatorname {Hypergeometric2F1}\left (\frac {m+1}{n},-p,\frac {m+n+1}{n},-\frac {b x^n}{a}\right )}{d e (m+1)}}{c n (b c-a d)}\) |
Input:
Int[((e*x)^m*(a + b*x^n)^p*(A + B*x^n))/(c + d*x^n)^2,x]
Output:
((B*c - A*d)*(e*x)^(1 + m)*(a + b*x^n)^(1 + p))/(c*(b*c - a*d)*e*n*(c + d* x^n)) - (((d*(a*B*c*(1 + m) - a*A*d*(1 + m - n) - A*b*c*n) - b*c*(B*c - A* d)*(1 + m + n*p))*(e*x)^(1 + m)*(a + b*x^n)^p*AppellF1[(1 + m)/n, -p, 1, ( 1 + m + n)/n, -((b*x^n)/a), -((d*x^n)/c)])/(c*d*e*(1 + m)*(1 + (b*x^n)/a)^ p) + (b*(B*c - A*d)*(1 + m + n*p)*(e*x)^(1 + m)*(a + b*x^n)^p*Hypergeometr ic2F1[(1 + m)/n, -p, (1 + m + n)/n, -((b*x^n)/a)])/(d*e*(1 + m)*(1 + (b*x^ n)/a)^p))/(c*(b*c - a*d)*n)
Int[((g_.)*(x_))^(m_.)*((a_) + (b_.)*(x_)^(n_))^(p_)*((c_) + (d_.)*(x_)^(n_ ))^(q_)*((e_) + (f_.)*(x_)^(n_)), x_Symbol] :> Simp[(-(b*e - a*f))*(g*x)^(m + 1)*(a + b*x^n)^(p + 1)*((c + d*x^n)^(q + 1)/(a*g*n*(b*c - a*d)*(p + 1))) , x] + Simp[1/(a*n*(b*c - a*d)*(p + 1)) Int[(g*x)^m*(a + b*x^n)^(p + 1)*( c + d*x^n)^q*Simp[c*(b*e - a*f)*(m + 1) + e*n*(b*c - a*d)*(p + 1) + d*(b*e - a*f)*(m + n*(p + q + 2) + 1)*x^n, x], x], x] /; FreeQ[{a, b, c, d, e, f, g, m, n, q}, x] && LtQ[p, -1]
Int[(((g_.)*(x_))^(m_.)*((a_) + (b_.)*(x_)^(n_))^(p_)*((e_) + (f_.)*(x_)^(n _)))/((c_) + (d_.)*(x_)^(n_)), x_Symbol] :> Int[ExpandIntegrand[(g*x)^m*(a + b*x^n)^p*((e + f*x^n)/(c + d*x^n)), x], x] /; FreeQ[{a, b, c, d, e, f, g, m, n, p}, x]
\[\int \frac {\left (e x \right )^{m} \left (a +b \,x^{n}\right )^{p} \left (A +B \,x^{n}\right )}{\left (c +d \,x^{n}\right )^{2}}d x\]
Input:
int((e*x)^m*(a+b*x^n)^p*(A+B*x^n)/(c+d*x^n)^2,x)
Output:
int((e*x)^m*(a+b*x^n)^p*(A+B*x^n)/(c+d*x^n)^2,x)
\[ \int \frac {(e x)^m \left (a+b x^n\right )^p \left (A+B x^n\right )}{\left (c+d x^n\right )^2} \, dx=\int { \frac {{\left (B x^{n} + A\right )} {\left (b x^{n} + a\right )}^{p} \left (e x\right )^{m}}{{\left (d x^{n} + c\right )}^{2}} \,d x } \] Input:
integrate((e*x)^m*(a+b*x^n)^p*(A+B*x^n)/(c+d*x^n)^2,x, algorithm="fricas")
Output:
integral((B*x^n + A)*(b*x^n + a)^p*(e*x)^m/(d^2*x^(2*n) + 2*c*d*x^n + c^2) , x)
Exception generated. \[ \int \frac {(e x)^m \left (a+b x^n\right )^p \left (A+B x^n\right )}{\left (c+d x^n\right )^2} \, dx=\text {Exception raised: HeuristicGCDFailed} \] Input:
integrate((e*x)**m*(a+b*x**n)**p*(A+B*x**n)/(c+d*x**n)**2,x)
Output:
Exception raised: HeuristicGCDFailed >> no luck
\[ \int \frac {(e x)^m \left (a+b x^n\right )^p \left (A+B x^n\right )}{\left (c+d x^n\right )^2} \, dx=\int { \frac {{\left (B x^{n} + A\right )} {\left (b x^{n} + a\right )}^{p} \left (e x\right )^{m}}{{\left (d x^{n} + c\right )}^{2}} \,d x } \] Input:
integrate((e*x)^m*(a+b*x^n)^p*(A+B*x^n)/(c+d*x^n)^2,x, algorithm="maxima")
Output:
integrate((B*x^n + A)*(b*x^n + a)^p*(e*x)^m/(d*x^n + c)^2, x)
\[ \int \frac {(e x)^m \left (a+b x^n\right )^p \left (A+B x^n\right )}{\left (c+d x^n\right )^2} \, dx=\int { \frac {{\left (B x^{n} + A\right )} {\left (b x^{n} + a\right )}^{p} \left (e x\right )^{m}}{{\left (d x^{n} + c\right )}^{2}} \,d x } \] Input:
integrate((e*x)^m*(a+b*x^n)^p*(A+B*x^n)/(c+d*x^n)^2,x, algorithm="giac")
Output:
integrate((B*x^n + A)*(b*x^n + a)^p*(e*x)^m/(d*x^n + c)^2, x)
Timed out. \[ \int \frac {(e x)^m \left (a+b x^n\right )^p \left (A+B x^n\right )}{\left (c+d x^n\right )^2} \, dx=\int \frac {{\left (e\,x\right )}^m\,\left (A+B\,x^n\right )\,{\left (a+b\,x^n\right )}^p}{{\left (c+d\,x^n\right )}^2} \,d x \] Input:
int(((e*x)^m*(A + B*x^n)*(a + b*x^n)^p)/(c + d*x^n)^2,x)
Output:
int(((e*x)^m*(A + B*x^n)*(a + b*x^n)^p)/(c + d*x^n)^2, x)
\[ \int \frac {(e x)^m \left (a+b x^n\right )^p \left (A+B x^n\right )}{\left (c+d x^n\right )^2} \, dx=\text {too large to display} \] Input:
int((e*x)^m*(a+b*x^n)^p*(A+B*x^n)/(c+d*x^n)^2,x)
Output:
(e**m*(2*x**m*(x**n*b + a)**p*a*b*x - x**n*int((x**(m + 2*n)*(x**n*b + a)* *p)/(x**(3*n)*a*b*d**3*m - x**(3*n)*a*b*d**3*n + x**(3*n)*a*b*d**3 + x**(3 *n)*b**2*c*d**2*m + x**(3*n)*b**2*c*d**2*n*p + x**(3*n)*b**2*c*d**2 + x**( 2*n)*a**2*d**3*m - x**(2*n)*a**2*d**3*n + x**(2*n)*a**2*d**3 + 3*x**(2*n)* a*b*c*d**2*m + x**(2*n)*a*b*c*d**2*n*p - 2*x**(2*n)*a*b*c*d**2*n + 3*x**(2 *n)*a*b*c*d**2 + 2*x**(2*n)*b**2*c**2*d*m + 2*x**(2*n)*b**2*c**2*d*n*p + 2 *x**(2*n)*b**2*c**2*d + 2*x**n*a**2*c*d**2*m - 2*x**n*a**2*c*d**2*n + 2*x* *n*a**2*c*d**2 + 3*x**n*a*b*c**2*d*m + 2*x**n*a*b*c**2*d*n*p - x**n*a*b*c* *2*d*n + 3*x**n*a*b*c**2*d + x**n*b**2*c**3*m + x**n*b**2*c**3*n*p + x**n* b**2*c**3 + a**2*c**2*d*m - a**2*c**2*d*n + a**2*c**2*d + a*b*c**3*m + a*b *c**3*n*p + a*b*c**3),x)*a**2*b**2*d**3*m**2 - 2*x**n*int((x**(m + 2*n)*(x **n*b + a)**p)/(x**(3*n)*a*b*d**3*m - x**(3*n)*a*b*d**3*n + x**(3*n)*a*b*d **3 + x**(3*n)*b**2*c*d**2*m + x**(3*n)*b**2*c*d**2*n*p + x**(3*n)*b**2*c* d**2 + x**(2*n)*a**2*d**3*m - x**(2*n)*a**2*d**3*n + x**(2*n)*a**2*d**3 + 3*x**(2*n)*a*b*c*d**2*m + x**(2*n)*a*b*c*d**2*n*p - 2*x**(2*n)*a*b*c*d**2* n + 3*x**(2*n)*a*b*c*d**2 + 2*x**(2*n)*b**2*c**2*d*m + 2*x**(2*n)*b**2*c** 2*d*n*p + 2*x**(2*n)*b**2*c**2*d + 2*x**n*a**2*c*d**2*m - 2*x**n*a**2*c*d* *2*n + 2*x**n*a**2*c*d**2 + 3*x**n*a*b*c**2*d*m + 2*x**n*a*b*c**2*d*n*p - x**n*a*b*c**2*d*n + 3*x**n*a*b*c**2*d + x**n*b**2*c**3*m + x**n*b**2*c**3* n*p + x**n*b**2*c**3 + a**2*c**2*d*m - a**2*c**2*d*n + a**2*c**2*d + a*...