∫ 15−45x+45x2−15x3+(600x+210x2−162x3−6x4+6x5+e2x(96x−216x2+48x3+192x4−144x5+24x6)) log2(−4+x)________________________________________________________________________________ (4−13x+15x2−7x3+x4) log2(−4+x) dx [8441]

Optimal. Leaf size=35 \[ 3 \left (4 e^{2 x} x^2+\frac {x^2 (5+x)^2}{(-1+x)^2}+\frac {5}{\log (-4+x)}\right ) \]

________________________________________________________________________________________

Rubi [A]
time = 0.49, antiderivative size = 57, normalized size of antiderivative = 1.63, number of steps used = 21, number of rules used = 10, integrand size = 108, $\frac {\text {number of rules}}{\text {integrand size}}$ = 0.093, Rules used = {6820, 6874, 37, 45, 2227, 2207, 2225, 2437, 2339, 30} \begin {gather*} 12 e^{2 x} x^2+\frac {75 x^2}{(1-x)^2}+3 x^2+36 x-\frac {102}{1-x}+\frac {33}{(1-x)^2}+\frac {15}{\log (x-4)} \end {gather*}

Int[(15 - 45*x + 45*x^2 - 15*x^3 + (600*x + 210*x^2 - 162*x^3 - 6*x^4 + 6*x^5 + E^(2*x)*(96*x - 216*x^2 + 48*x

^3 + 192*x^4 - 144*x^5 + 24*x^6))*Log[-4 + x]^2)/((4 - 13*x + 15*x^2 - 7*x^3 + x^4)*Log[-4 + x]^2),x]

33/(1 - x)^2 - 102/(1 - x) + 36*x + 3*x^2 + 12*E^(2*x)*x^2 + (75*x^2)/(1 - x)^2 + 15/Log[-4 + x]

Int[(x_)^(m_.), x_Symbol] :> Simp[x^(m + 1)/(m + 1), x] /; FreeQ[m, x] && NeQ[m, -1]

Int[((a_.) + (b_.)*(x_))^(m_.)*((c_.) + (d_.)*(x_))^(n_), x_Symbol] :> Simp[(a + b*x)^(m + 1)*((c + d*x)^(n +

1)/((b*c - a*d)*(m + 1))), x] /; FreeQ[{a, b, c, d, m, n}, x] && NeQ[b*c - a*d, 0] && EqQ[m + n + 2, 0] && NeQ

Int[((a_.) + (b_.)*(x_))^(m_.)*((c_.) + (d_.)*(x_))^(n_.), x_Symbol] :> Int[ExpandIntegrand[(a + b*x)^m*(c + d

*x)^n, x], x] /; FreeQ[{a, b, c, d, n}, x] && NeQ[b*c - a*d, 0] && IGtQ[m, 0] && ( !IntegerQ[n] || (EqQ[c, 0]

&& LeQ[7*m + 4*n + 4, 0]) || LtQ[9*m + 5*(n + 1), 0] || GtQ[m + n + 2, 0])

Int[((b_.)*(F_)^((g_.)*((e_.) + (f_.)*(x_))))^(n_.)*((c_.) + (d_.)*(x_))^(m_.), x_Symbol] :> Simp[(c + d*x)^m*

((b*F^(g*(e + f*x)))^n/(f*g*n*Log[F])), x] - Dist[d*(m/(f*g*n*Log[F])), Int[(c + d*x)^(m - 1)*(b*F^(g*(e + f*x

)))^n, x], x] /; FreeQ[{F, b, c, d, e, f, g, n}, x] && GtQ[m, 0] && IntegerQ[2*m] && !TrueQ[$UseGamma]

Int[((F_)^((c_.)*((a_.) + (b_.)*(x_))))^(n_.), x_Symbol] :> Simp[(F^(c*(a + b*x)))^n/(b*c*n*Log[F]), x] /; Fre

Int[(F_)^((c_.)*(v_))*(u_), x_Symbol] :> Int[ExpandIntegrand[F^(c*ExpandToSum[v, x]), u, x], x] /; FreeQ[{F, c

Int[((a_.) + Log[(c_.)*(x_)^(n_.)]*(b_.))^(p_.)/(x_), x_Symbol] :> Dist[1/(b*n), Subst[Int[x^p, x], x, a + b*L

Int[((a_.) + Log[(c_.)*((d_) + (e_.)*(x_))^(n_.)]*(b_.))^(p_.)*((f_) + (g_.)*(x_))^(q_.), x_Symbol] :> Dist[1/

e, Subst[Int[(f*(x/d))^q*(a + b*Log[c*x^n])^p, x], x, d + e*x], x] /; FreeQ[{a, b, c, d, e, f, g, n, p, q}, x]

Int[u_, x_Symbol] :> With[{v = SimplifyIntegrand[u, x]}, Int[v, x] /; SimplerIntegrandQ[v, u, x]]

Int[u_, x_Symbol] :> With[{v = ExpandIntegrand[u, x]}, Int[v, x] /; SumQ[v]]

\begin {gather*} \begin {aligned} \text {integral} &=\int \left (\frac {6 x \left (-25-15 x+3 x^2+x^3+4 e^{2 x} (-1+x)^3 (1+x)\right )}{(-1+x)^3}-\frac {15}{(-4+x) \log ^2(-4+x)}\right ) \, dx\\ &=6 \int \frac {x \left (-25-15 x+3 x^2+x^3+4 e^{2 x} (-1+x)^3 (1+x)\right )}{(-1+x)^3} \, dx-15 \int \frac {1}{(-4+x) \log ^2(-4+x)} \, dx\\ &=6 \int \left (-\frac {25 x}{(-1+x)^3}-\frac {15 x^2}{(-1+x)^3}+\frac {3 x^3}{(-1+x)^3}+\frac {x^4}{(-1+x)^3}+4 e^{2 x} x (1+x)\right ) \, dx-15 \text {Subst}\left (\int \frac {1}{x \log ^2(x)} \, dx,x,-4+x\right )\\ &=6 \int \frac {x^4}{(-1+x)^3} \, dx-15 \text {Subst}\left (\int \frac {1}{x^2} \, dx,x,\log (-4+x)\right )+18 \int \frac {x^3}{(-1+x)^3} \, dx+24 \int e^{2 x} x (1+x) \, dx-90 \int \frac {x^2}{(-1+x)^3} \, dx-150 \int \frac {x}{(-1+x)^3} \, dx\\ &=\frac {75 x^2}{(1-x)^2}+\frac {15}{\log (-4+x)}+6 \int \left (3+\frac {1}{(-1+x)^3}+\frac {4}{(-1+x)^2}+\frac {6}{-1+x}+x\right ) \, dx+18 \int \left (1+\frac {1}{(-1+x)^3}+\frac {3}{(-1+x)^2}+\frac {3}{-1+x}\right ) \, dx+24 \int \left (e^{2 x} x+e^{2 x} x^2\right ) \, dx-90 \int \left (\frac {1}{(-1+x)^3}+\frac {2}{(-1+x)^2}+\frac {1}{-1+x}\right ) \, dx\\ &=\frac {33}{(1-x)^2}-\frac {102}{1-x}+36 x+3 x^2+\frac {75 x^2}{(1-x)^2}+\frac {15}{\log (-4+x)}+24 \int e^{2 x} x \, dx+24 \int e^{2 x} x^2 \, dx\\ &=\frac {33}{(1-x)^2}-\frac {102}{1-x}+36 x+12 e^{2 x} x+3 x^2+12 e^{2 x} x^2+\frac {75 x^2}{(1-x)^2}+\frac {15}{\log (-4+x)}-12 \int e^{2 x} \, dx-24 \int e^{2 x} x \, dx\\ &=-6 e^{2 x}+\frac {33}{(1-x)^2}-\frac {102}{1-x}+36 x+3 x^2+12 e^{2 x} x^2+\frac {75 x^2}{(1-x)^2}+\frac {15}{\log (-4+x)}+12 \int e^{2 x} \, dx\\ &=\frac {33}{(1-x)^2}-\frac {102}{1-x}+36 x+3 x^2+12 e^{2 x} x^2+\frac {75 x^2}{(1-x)^2}+\frac {15}{\log (-4+x)}\\ \end {aligned} \end {gather*}

________________________________________________________________________________________

Mathematica [A]
time = 0.95, size = 41, normalized size = 1.17 \begin {gather*} \frac {108}{(-1+x)^2}+\frac {252}{-1+x}+36 x+3 x^2+12 e^{2 x} x^2+\frac {15}{\log (-4+x)} \end {gather*}

Integrate[(15 - 45*x + 45*x^2 - 15*x^3 + (600*x + 210*x^2 - 162*x^3 - 6*x^4 + 6*x^5 + E^(2*x)*(96*x - 216*x^2

+ 48*x^3 + 192*x^4 - 144*x^5 + 24*x^6))*Log[-4 + x]^2)/((4 - 13*x + 15*x^2 - 7*x^3 + x^4)*Log[-4 + x]^2),x]

108/(-1 + x)^2 + 252/(-1 + x) + 36*x + 3*x^2 + 12*E^(2*x)*x^2 + 15/Log[-4 + x]

________________________________________________________________________________________


method	result	size

default	$\frac {15}{\ln \left (x -4\right )}+12 \,{\mathrm e}^{2 x} x^{2}+3 x^{2}+36 x +\frac {252}{x -1}+\frac {108}{\left (x -1\right )^{2}}$	$41$
risch	$\frac {12 \,{\mathrm e}^{2 x} x^{4}-24 \,{\mathrm e}^{2 x} x^{3}+3 x^{4}+12 \,{\mathrm e}^{2 x} x^{2}+30 x^{3}-69 x^{2}+288 x -144}{x^{2}-2 x +1}+\frac {15}{\ln \left (x -4\right )}$	$67$

int((((24*x^6-144*x^5+192*x^4+48*x^3-216*x^2+96*x)*exp(x)^2+6*x^5-6*x^4-162*x^3+210*x^2+600*x)*ln(x-4)^2-15*x^

3+45*x^2-45*x+15)/(x^4-7*x^3+15*x^2-13*x+4)/ln(x-4)^2,x,method=_RETURNVERBOSE)

________________________________________________________________________________________

Maxima [B] Leaf count of result is larger than twice the leaf count of optimal. 69 vs. $2 (33) = 66$.
time = 0.30, size = 69, normalized size = 1.97 \begin {gather*} \frac {3 \, {\left (5 \, x^{2} + {\left (x^{4} + 10 \, x^{3} - 23 \, x^{2} + 4 \, {\left (x^{4} - 2 \, x^{3} + x^{2}\right )} e^{\left (2 \, x\right )} + 96 \, x - 48\right )} \log \left (x - 4\right ) - 10 \, x + 5\right )}}{{\left (x^{2} - 2 \, x + 1\right )} \log \left (x - 4\right )} \end {gather*}

integrate((((24*x^6-144*x^5+192*x^4+48*x^3-216*x^2+96*x)*exp(x)^2+6*x^5-6*x^4-162*x^3+210*x^2+600*x)*log(x-4)^

2-15*x^3+45*x^2-45*x+15)/(x^4-7*x^3+15*x^2-13*x+4)/log(x-4)^2,x, algorithm="maxima")

3*(5*x^2 + (x^4 + 10*x^3 - 23*x^2 + 4*(x^4 - 2*x^3 + x^2)*e^(2*x) + 96*x - 48)*log(x - 4) - 10*x + 5)/((x^2 -

________________________________________________________________________________________

Fricas [B] Leaf count of result is larger than twice the leaf count of optimal. 69 vs. $2 (33) = 66$.
time = 0.43, size = 69, normalized size = 1.97 \begin {gather*} \frac {3 \, {\left (5 \, x^{2} + {\left (x^{4} + 10 \, x^{3} - 23 \, x^{2} + 4 \, {\left (x^{4} - 2 \, x^{3} + x^{2}\right )} e^{\left (2 \, x\right )} + 96 \, x - 48\right )} \log \left (x - 4\right ) - 10 \, x + 5\right )}}{{\left (x^{2} - 2 \, x + 1\right )} \log \left (x - 4\right )} \end {gather*}

integrate((((24*x^6-144*x^5+192*x^4+48*x^3-216*x^2+96*x)*exp(x)^2+6*x^5-6*x^4-162*x^3+210*x^2+600*x)*log(x-4)^

2-15*x^3+45*x^2-45*x+15)/(x^4-7*x^3+15*x^2-13*x+4)/log(x-4)^2,x, algorithm="fricas")

3*(5*x^2 + (x^4 + 10*x^3 - 23*x^2 + 4*(x^4 - 2*x^3 + x^2)*e^(2*x) + 96*x - 48)*log(x - 4) - 10*x + 5)/((x^2 -

________________________________________________________________________________________

Sympy [A]
time = 0.19, size = 37, normalized size = 1.06 \begin {gather*} 12 x^{2} e^{2 x} + 3 x^{2} + 36 x + \frac {252 x - 144}{x^{2} - 2 x + 1} + \frac {15}{\log {\left (x - 4 \right )}} \end {gather*}

integrate((((24*x**6-144*x**5+192*x**4+48*x**3-216*x**2+96*x)*exp(x)**2+6*x**5-6*x**4-162*x**3+210*x**2+600*x)

*ln(x-4)**2-15*x**3+45*x**2-45*x+15)/(x**4-7*x**3+15*x**2-13*x+4)/ln(x-4)**2,x)

12*x**2*exp(2*x) + 3*x**2 + 36*x + (252*x - 144)/(x**2 - 2*x + 1) + 15/log(x - 4)

________________________________________________________________________________________

Giac [B] Leaf count of result is larger than twice the leaf count of optimal. 157 vs. $2 (33) = 66$.
time = 0.45, size = 157, normalized size = 4.49 \begin {gather*} \frac {3 \, {\left (4 \, {\left (x - 4\right )}^{4} e^{\left (2 \, x\right )} \log \left (x - 4\right ) + {\left (x - 4\right )}^{4} \log \left (x - 4\right ) + 56 \, {\left (x - 4\right )}^{3} e^{\left (2 \, x\right )} \log \left (x - 4\right ) + 26 \, {\left (x - 4\right )}^{3} \log \left (x - 4\right ) + 292 \, {\left (x - 4\right )}^{2} e^{\left (2 \, x\right )} \log \left (x - 4\right ) + 129 \, {\left (x - 4\right )}^{2} \log \left (x - 4\right ) + 672 \, {\left (x - 4\right )} e^{\left (2 \, x\right )} \log \left (x - 4\right ) + 5 \, {\left (x - 4\right )}^{2} + 264 \, {\left (x - 4\right )} \log \left (x - 4\right ) + 576 \, e^{\left (2 \, x\right )} \log \left (x - 4\right ) + 30 \, x + 288 \, \log \left (x - 4\right ) - 75\right )}}{{\left (x - 4\right )}^{2} \log \left (x - 4\right ) + 6 \, {\left (x - 4\right )} \log \left (x - 4\right ) + 9 \, \log \left (x - 4\right )} \end {gather*}

integrate((((24*x^6-144*x^5+192*x^4+48*x^3-216*x^2+96*x)*exp(x)^2+6*x^5-6*x^4-162*x^3+210*x^2+600*x)*log(x-4)^

2-15*x^3+45*x^2-45*x+15)/(x^4-7*x^3+15*x^2-13*x+4)/log(x-4)^2,x, algorithm="giac")

3*(4*(x - 4)^4*e^(2*x)*log(x - 4) + (x - 4)^4*log(x - 4) + 56*(x - 4)^3*e^(2*x)*log(x - 4) + 26*(x - 4)^3*log(

x - 4) + 292*(x - 4)^2*e^(2*x)*log(x - 4) + 129*(x - 4)^2*log(x - 4) + 672*(x - 4)*e^(2*x)*log(x - 4) + 5*(x -

4)^2 + 264*(x - 4)*log(x - 4) + 576*e^(2*x)*log(x - 4) + 30*x + 288*log(x - 4) - 75)/((x - 4)^2*log(x - 4) +

________________________________________________________________________________________

Mupad [B]
time = 0.22, size = 42, normalized size = 1.20 \begin {gather*} 36\,x+\frac {252\,x-144}{x^2-2\,x+1}+12\,x^2\,{\mathrm {e}}^{2\,x}+\frac {15}{\ln \left (x-4\right )}+3\,x^2 \end {gather*}

int((45*x^2 - 45*x - 15*x^3 + log(x - 4)^2*(600*x + 210*x^2 - 162*x^3 - 6*x^4 + 6*x^5 + exp(2*x)*(96*x - 216*x

^2 + 48*x^3 + 192*x^4 - 144*x^5 + 24*x^6)) + 15)/(log(x - 4)^2*(15*x^2 - 13*x - 7*x^3 + x^4 + 4)),x)

36*x + (252*x - 144)/(x^2 - 2*x + 1) + 12*x^2*exp(2*x) + 15/log(x - 4) + 3*x^2

________________________________________________________________________________________

3.85.41 \(\int \frac {15-45 x+45 x^2-15 x^3+(600 x+210 x^2-162 x^3-6 x^4+6 x^5+e^{2 x} (96 x-216 x^2+48 x^3+192 x^4-144 x^5+24 x^6)) \log ^2(-4+x)}{(4-13 x+15 x^2-7 x^3+x^4) \log ^2(-4+x)} \, dx\) [8441]