\(\int \frac {-6368+6352 x+e^{10+2 x} x+16 x^2+e^{5+x} (4-1596 x-4 x^2)+(16-16 x+4 e^{5+x} x) \log (x)}{8 x} \, dx\) [2010]

Optimal result

Integrand size = 58, antiderivative size = 18 \[ \int \frac {-6368+6352 x+e^{10+2 x} x+16 x^2+e^{5+x} \left (4-1596 x-4 x^2\right )+\left (16-16 x+4 e^{5+x} x\right ) \log (x)}{8 x} \, dx=\left (398-\frac {e^{5+x}}{4}+x-\log (x)\right )^2 \]

[Out]

(x-ln(x)+398-1/4*exp(5+x))^2

Rubi [B] (verified)

Leaf count is larger than twice the leaf count of optimal. \(49\) vs. \(2(18)=36\).

Time = 0.17 (sec) , antiderivative size = 49, normalized size of antiderivative = 2.72, number of steps used = 15, number of rules used = 9, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.155, Rules used = {12, 14, 2225, 6818, 6874, 2230, 2209, 2207, 2634} \[ \int \frac {-6368+6352 x+e^{10+2 x} x+16 x^2+e^{5+x} \left (4-1596 x-4 x^2\right )+\left (16-16 x+4 e^{5+x} x\right ) \log (x)}{8 x} \, dx=-199 e^{x+5}+\frac {1}{16} e^{2 x+10}-\frac {1}{2} e^{x+5} x+(x-\log (x)+398)^2+\frac {1}{2} e^{x+5} \log (x) \]

[In]

Int[(-6368 + 6352*x + E^(10 + 2*x)*x + 16*x^2 + E^(5 + x)*(4 - 1596*x - 4*x^2) + (16 - 16*x + 4*E^(5 + x)*x)*L
og[x])/(8*x),x]

[Out]

-199*E^(5 + x) + E^(10 + 2*x)/16 - (E^(5 + x)*x)/2 + (398 + x - Log[x])^2 + (E^(5 + x)*Log[x])/2

Rule 12

Int[(a_)*(u_), x_Symbol] :> Dist[a, Int[u, x], x] /; FreeQ[a, x] &&  !MatchQ[u, (b_)*(v_) /; FreeQ[b, x]]

Rule 14

Int[(u_)*((c_.)*(x_))^(m_.), x_Symbol] :> Int[ExpandIntegrand[(c*x)^m*u, x], x] /; FreeQ[{c, m}, x] && SumQ[u]
&&  !LinearQ[u, x] &&  !MatchQ[u, (a_) + (b_.)*(v_) /; FreeQ[{a, b}, x] && InverseFunctionQ[v]]

Rule 2207

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]

Rule 2209

Int[(F_)^((g_.)*((e_.) + (f_.)*(x_)))/((c_.) + (d_.)*(x_)), x_Symbol] :> Simp[(F^(g*(e - c*(f/d)))/d)*ExpInteg
ralEi[f*g*(c + d*x)*(Log[F]/d)], x] /; FreeQ[{F, c, d, e, f, g}, x] &&  !TrueQ[$UseGamma]

Rule 2225

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

Rule 2230

Int[(F_)^((c_.)*(v_))*(u_)^(m_.)*(w_), x_Symbol] :> Int[ExpandIntegrand[F^(c*ExpandToSum[v, x]), w*NormalizePo
werOfLinear[u, x]^m, x], x] /; FreeQ[{F, c}, x] && PolynomialQ[w, x] && LinearQ[v, x] && PowerOfLinearQ[u, x]
&& IntegerQ[m] &&  !TrueQ[$UseGamma]

Rule 2634

Int[Log[u_]*(v_), x_Symbol] :> With[{w = IntHide[v, x]}, Dist[Log[u], w, x] - Int[SimplifyIntegrand[w*(D[u, x]
/u), x], x] /; InverseFunctionFreeQ[w, x]] /; InverseFunctionFreeQ[u, x]

Rule 6818

Int[(u_)*(y_)^(m_.), x_Symbol] :> With[{q = DerivativeDivides[y, u, x]}, Simp[q*(y^(m + 1)/(m + 1)), x] /;  !F
alseQ[q]] /; FreeQ[m, x] && NeQ[m, -1]

Rule 6874

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

Rubi steps \begin{align*} \text {integral}& = \frac {1}{8} \int \frac {-6368+6352 x+e^{10+2 x} x+16 x^2+e^{5+x} \left (4-1596 x-4 x^2\right )+\left (16-16 x+4 e^{5+x} x\right ) \log (x)}{x} \, dx \\ & = \frac {1}{8} \int \left (e^{10+2 x}+\frac {16 (-1+x) (398+x-\log (x))}{x}-\frac {4 e^{5+x} \left (-1+399 x+x^2-x \log (x)\right )}{x}\right ) \, dx \\ & = \frac {1}{8} \int e^{10+2 x} \, dx-\frac {1}{2} \int \frac {e^{5+x} \left (-1+399 x+x^2-x \log (x)\right )}{x} \, dx+2 \int \frac {(-1+x) (398+x-\log (x))}{x} \, dx \\ & = \frac {1}{16} e^{10+2 x}+(398+x-\log (x))^2-\frac {1}{2} \int \left (\frac {e^{5+x} \left (-1+399 x+x^2\right )}{x}-e^{5+x} \log (x)\right ) \, dx \\ & = \frac {1}{16} e^{10+2 x}+(398+x-\log (x))^2-\frac {1}{2} \int \frac {e^{5+x} \left (-1+399 x+x^2\right )}{x} \, dx+\frac {1}{2} \int e^{5+x} \log (x) \, dx \\ & = \frac {1}{16} e^{10+2 x}+(398+x-\log (x))^2+\frac {1}{2} e^{5+x} \log (x)-\frac {1}{2} \int \frac {e^{5+x}}{x} \, dx-\frac {1}{2} \int \left (399 e^{5+x}-\frac {e^{5+x}}{x}+e^{5+x} x\right ) \, dx \\ & = \frac {1}{16} e^{10+2 x}-\frac {e^5 \operatorname {ExpIntegralEi}(x)}{2}+(398+x-\log (x))^2+\frac {1}{2} e^{5+x} \log (x)+\frac {1}{2} \int \frac {e^{5+x}}{x} \, dx-\frac {1}{2} \int e^{5+x} x \, dx-\frac {399}{2} \int e^{5+x} \, dx \\ & = -\frac {399 e^{5+x}}{2}+\frac {1}{16} e^{10+2 x}-\frac {1}{2} e^{5+x} x+(398+x-\log (x))^2+\frac {1}{2} e^{5+x} \log (x)+\frac {1}{2} \int e^{5+x} \, dx \\ & = -199 e^{5+x}+\frac {1}{16} e^{10+2 x}-\frac {1}{2} e^{5+x} x+(398+x-\log (x))^2+\frac {1}{2} e^{5+x} \log (x) \\ \end{align*}

Mathematica [A] (verified)

Time = 0.06 (sec) , antiderivative size = 23, normalized size of antiderivative = 1.28 \[ \int \frac {-6368+6352 x+e^{10+2 x} x+16 x^2+e^{5+x} \left (4-1596 x-4 x^2\right )+\left (16-16 x+4 e^{5+x} x\right ) \log (x)}{8 x} \, dx=\frac {1}{16} \left (-e^{5+x}+4 (398+x)-4 \log (x)\right )^2 \]

[In]

Integrate[(-6368 + 6352*x + E^(10 + 2*x)*x + 16*x^2 + E^(5 + x)*(4 - 1596*x - 4*x^2) + (16 - 16*x + 4*E^(5 + x
)*x)*Log[x])/(8*x),x]

[Out]

(-E^(5 + x) + 4*(398 + x) - 4*Log[x])^2/16

Maple [B] (verified)

Leaf count of result is larger than twice the leaf count of optimal. \(49\) vs. \(2(15)=30\).

Time = 0.08 (sec) , antiderivative size = 50, normalized size of antiderivative = 2.78

method	result	size
default	\(\ln \left (x \right )^{2}+\frac {\ln \left (x \right ) {\mathrm e}^{5+x}}{2}-2 x \ln \left (x \right )+x^{2}+796 x -796 \ln \left (x \right )+\frac {{\mathrm e}^{2 x +10}}{16}-\frac {x \,{\mathrm e}^{5+x}}{2}-199 \,{\mathrm e}^{5+x}\)	\(50\)
norman	\(\ln \left (x \right )^{2}+\frac {\ln \left (x \right ) {\mathrm e}^{5+x}}{2}-2 x \ln \left (x \right )+x^{2}+796 x -796 \ln \left (x \right )+\frac {{\mathrm e}^{2 x +10}}{16}-\frac {x \,{\mathrm e}^{5+x}}{2}-199 \,{\mathrm e}^{5+x}\)	\(50\)
parallelrisch	\(\ln \left (x \right )^{2}+\frac {\ln \left (x \right ) {\mathrm e}^{5+x}}{2}-2 x \ln \left (x \right )+x^{2}+796 x -796 \ln \left (x \right )+\frac {{\mathrm e}^{2 x +10}}{16}-\frac {x \,{\mathrm e}^{5+x}}{2}-199 \,{\mathrm e}^{5+x}\)	\(50\)
parts	\(\ln \left (x \right )^{2}+\frac {\ln \left (x \right ) {\mathrm e}^{5+x}}{2}-2 x \ln \left (x \right )+x^{2}+796 x -796 \ln \left (x \right )+\frac {{\mathrm e}^{2 x +10}}{16}-\frac {x \,{\mathrm e}^{5+x}}{2}-199 \,{\mathrm e}^{5+x}\)	\(50\)
risch	\(\ln \left (x \right )^{2}+\frac {\left (-16 x +4 \,{\mathrm e}^{5+x}\right ) \ln \left (x \right )}{8}+x^{2}+796 x -796 \ln \left (x \right )+\frac {{\mathrm e}^{2 x +10}}{16}-\frac {x \,{\mathrm e}^{5+x}}{2}-199 \,{\mathrm e}^{5+x}\)	\(51\)

[In]

int(1/8*((4*x*exp(5+x)-16*x+16)*ln(x)+x*exp(5+x)^2+(-4*x^2-1596*x+4)*exp(5+x)+16*x^2+6352*x-6368)/x,x,method=_
RETURNVERBOSE)

[Out]

1/16*exp(5+x)^2-1/2*x*exp(5+x)+1/2*ln(x)*exp(5+x)-199*exp(5+x)+x^2+796*x-796*ln(x)+ln(x)^2-2*x*ln(x)

Fricas [B] (verification not implemented)

Leaf count of result is larger than twice the leaf count of optimal. 43 vs. \(2 (19) = 38\).

Time = 0.24 (sec) , antiderivative size = 43, normalized size of antiderivative = 2.39 \[ \int \frac {-6368+6352 x+e^{10+2 x} x+16 x^2+e^{5+x} \left (4-1596 x-4 x^2\right )+\left (16-16 x+4 e^{5+x} x\right ) \log (x)}{8 x} \, dx=x^{2} - \frac {1}{2} \, {\left (x + 398\right )} e^{\left (x + 5\right )} - \frac {1}{2} \, {\left (4 \, x - e^{\left (x + 5\right )} + 1592\right )} \log \left (x\right ) + \log \left (x\right )^{2} + 796 \, x + \frac {1}{16} \, e^{\left (2 \, x + 10\right )} \]

[In]

integrate(1/8*((4*x*exp(5+x)-16*x+16)*log(x)+x*exp(5+x)^2+(-4*x^2-1596*x+4)*exp(5+x)+16*x^2+6352*x-6368)/x,x,
algorithm="fricas")

[Out]

x^2 - 1/2*(x + 398)*e^(x + 5) - 1/2*(4*x - e^(x + 5) + 1592)*log(x) + log(x)^2 + 796*x + 1/16*e^(2*x + 10)

Sympy [B] (verification not implemented)

Leaf count of result is larger than twice the leaf count of optimal. 48 vs. \(2 (14) = 28\).

Time = 0.15 (sec) , antiderivative size = 48, normalized size of antiderivative = 2.67 \[ \int \frac {-6368+6352 x+e^{10+2 x} x+16 x^2+e^{5+x} \left (4-1596 x-4 x^2\right )+\left (16-16 x+4 e^{5+x} x\right ) \log (x)}{8 x} \, dx=x^{2} - 2 x \log {\left (x \right )} + 796 x + \frac {\left (- 16 x + 16 \log {\left (x \right )} - 6368\right ) e^{x + 5}}{32} + \frac {e^{2 x + 10}}{16} + \log {\left (x \right )}^{2} - 796 \log {\left (x \right )} \]

[In]

integrate(1/8*((4*x*exp(5+x)-16*x+16)*ln(x)+x*exp(5+x)**2+(-4*x**2-1596*x+4)*exp(5+x)+16*x**2+6352*x-6368)/x,x
)

[Out]

x**2 - 2*x*log(x) + 796*x + (-16*x + 16*log(x) - 6368)*exp(x + 5)/32 + exp(2*x + 10)/16 + log(x)**2 - 796*log(
x)

Maxima [B] (verification not implemented)

Leaf count of result is larger than twice the leaf count of optimal. 55 vs. \(2 (19) = 38\).

Time = 0.23 (sec) , antiderivative size = 55, normalized size of antiderivative = 3.06 \[ \int \frac {-6368+6352 x+e^{10+2 x} x+16 x^2+e^{5+x} \left (4-1596 x-4 x^2\right )+\left (16-16 x+4 e^{5+x} x\right ) \log (x)}{8 x} \, dx=x^{2} - \frac {1}{2} \, {\left (x e^{5} - e^{5}\right )} e^{x} - 2 \, x \log \left (x\right ) + \frac {1}{2} \, e^{\left (x + 5\right )} \log \left (x\right ) + \log \left (x\right )^{2} + 796 \, x + \frac {1}{16} \, e^{\left (2 \, x + 10\right )} - \frac {399}{2} \, e^{\left (x + 5\right )} - 796 \, \log \left (x\right ) \]

[In]

integrate(1/8*((4*x*exp(5+x)-16*x+16)*log(x)+x*exp(5+x)^2+(-4*x^2-1596*x+4)*exp(5+x)+16*x^2+6352*x-6368)/x,x,
algorithm="maxima")

[Out]

x^2 - 1/2*(x*e^5 - e^5)*e^x - 2*x*log(x) + 1/2*e^(x + 5)*log(x) + log(x)^2 + 796*x + 1/16*e^(2*x + 10) - 399/2
*e^(x + 5) - 796*log(x)

Giac [B] (verification not implemented)

Leaf count of result is larger than twice the leaf count of optimal. 49 vs. \(2 (19) = 38\).

Time = 0.26 (sec) , antiderivative size = 49, normalized size of antiderivative = 2.72 \[ \int \frac {-6368+6352 x+e^{10+2 x} x+16 x^2+e^{5+x} \left (4-1596 x-4 x^2\right )+\left (16-16 x+4 e^{5+x} x\right ) \log (x)}{8 x} \, dx=x^{2} - \frac {1}{2} \, x e^{\left (x + 5\right )} - 2 \, x \log \left (x\right ) + \frac {1}{2} \, e^{\left (x + 5\right )} \log \left (x\right ) + \log \left (x\right )^{2} + 796 \, x + \frac {1}{16} \, e^{\left (2 \, x + 10\right )} - 199 \, e^{\left (x + 5\right )} - 796 \, \log \left (x\right ) \]

[In]

integrate(1/8*((4*x*exp(5+x)-16*x+16)*log(x)+x*exp(5+x)^2+(-4*x^2-1596*x+4)*exp(5+x)+16*x^2+6352*x-6368)/x,x,
algorithm="giac")

[Out]

x^2 - 1/2*x*e^(x + 5) - 2*x*log(x) + 1/2*e^(x + 5)*log(x) + log(x)^2 + 796*x + 1/16*e^(2*x + 10) - 199*e^(x +
5) - 796*log(x)

Mupad [B] (verification not implemented)

Time = 9.28 (sec) , antiderivative size = 49, normalized size of antiderivative = 2.72 \[ \int \frac {-6368+6352 x+e^{10+2 x} x+16 x^2+e^{5+x} \left (4-1596 x-4 x^2\right )+\left (16-16 x+4 e^{5+x} x\right ) \log (x)}{8 x} \, dx=796\,x-199\,{\mathrm {e}}^{x+5}+\frac {{\mathrm {e}}^{2\,x+10}}{16}-796\,\ln \left (x\right )-\frac {x\,{\mathrm {e}}^{x+5}}{2}+{\ln \left (x\right )}^2+\frac {{\mathrm {e}}^{x+5}\,\ln \left (x\right )}{2}-2\,x\,\ln \left (x\right )+x^2 \]

[In]

int((794*x - (exp(x + 5)*(1596*x + 4*x^2 - 4))/8 + (x*exp(2*x + 10))/8 + (log(x)*(4*x*exp(x + 5) - 16*x + 16))
/8 + 2*x^2 - 796)/x,x)

[Out]

796*x - 199*exp(x + 5) + exp(2*x + 10)/16 - 796*log(x) - (x*exp(x + 5))/2 + log(x)^2 + (exp(x + 5)*log(x))/2 -
2*x*log(x) + x^2