3.2.4 \(\int \frac {-9+7 x+27 x^2+e^{-x} (5 x-3 x^2)+(-6-2 x+18 x^2+e^{-x} (2 x-x^2)) \log (x)+(-1-2 x+3 x^2) \log ^2(x)}{9+6 \log (x)+\log ^2(x)} \, dx\)

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

________________________________________________________________________________________

Rubi [C]  time = 1.50, antiderivative size = 167, normalized size of antiderivative = 6.68, number of steps used = 57, number of rules used = 13, integrand size = 81, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.160, Rules used = {6741, 6742, 2297, 2299, 2178, 2306, 2309, 2360, 2366, 6482, 43, 2356, 2288} \begin {gather*} -\frac {12 \text {Ei}(2 (\log (x)+3))}{e^6}+\frac {162 \text {Ei}(3 (\log (x)+3))}{e^9}-\frac {4 \log (x) \text {Ei}(2 (\log (x)+3))}{e^6}+\frac {54 \log (x) \text {Ei}(3 (\log (x)+3))}{e^9}+\frac {4 (\log (x)+3) \text {Ei}(2 (\log (x)+3))}{e^6}-\frac {54 (\log (x)+3) \text {Ei}(3 (\log (x)+3))}{e^9}+19 x^3-\frac {18 x^3 \log (x)}{\log (x)+3}-\frac {54 x^3}{\log (x)+3}-3 x^2+\frac {2 x^2 \log (x)}{\log (x)+3}+\frac {11 x^2}{\log (x)+3}-x+\frac {e^{-x} x (3 x+x \log (x))}{(\log (x)+3)^2} \end {gather*}

Antiderivative was successfully verified.

[In]

Int[(-9 + 7*x + 27*x^2 + (5*x - 3*x^2)/E^x + (-6 - 2*x + 18*x^2 + (2*x - x^2)/E^x)*Log[x] + (-1 - 2*x + 3*x^2)
*Log[x]^2)/(9 + 6*Log[x] + Log[x]^2),x]

[Out]

-x - 3*x^2 + 19*x^3 - (12*ExpIntegralEi[2*(3 + Log[x])])/E^6 + (162*ExpIntegralEi[3*(3 + Log[x])])/E^9 - (4*Ex
pIntegralEi[2*(3 + Log[x])]*Log[x])/E^6 + (54*ExpIntegralEi[3*(3 + Log[x])]*Log[x])/E^9 + (11*x^2)/(3 + Log[x]
) - (54*x^3)/(3 + Log[x]) + (2*x^2*Log[x])/(3 + Log[x]) - (18*x^3*Log[x])/(3 + Log[x]) + (4*ExpIntegralEi[2*(3
+ Log[x])]*(3 + Log[x]))/E^6 - (54*ExpIntegralEi[3*(3 + Log[x])]*(3 + Log[x]))/E^9 + (x*(3*x + x*Log[x]))/(E^
x*(3 + Log[x])^2)

Rule 43

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])

Rule 2178

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

Rule 2288

Int[(y_.)*(F_)^(u_)*((v_) + (w_)), x_Symbol] :> With[{z = (v*y)/(Log[F]*D[u, x])}, Simp[F^u*z, x] /; EqQ[D[z,
x], w*y]] /; FreeQ[F, x]

Rule 2297

Int[((a_.) + Log[(c_.)*(x_)^(n_.)]*(b_.))^(p_), x_Symbol] :> Simp[(x*(a + b*Log[c*x^n])^(p + 1))/(b*n*(p + 1))
, x] - Dist[1/(b*n*(p + 1)), Int[(a + b*Log[c*x^n])^(p + 1), x], x] /; FreeQ[{a, b, c, n}, x] && LtQ[p, -1] &&
IntegerQ[2*p]

Rule 2299

Int[((a_.) + Log[(c_.)*(x_)^(n_.)]*(b_.))^(p_), x_Symbol] :> Dist[1/(n*c^(1/n)), Subst[Int[E^(x/n)*(a + b*x)^p
, x], x, Log[c*x^n]], x] /; FreeQ[{a, b, c, p}, x] && IntegerQ[1/n]

Rule 2306

Int[((a_.) + Log[(c_.)*(x_)^(n_.)]*(b_.))^(p_)*((d_.)*(x_))^(m_.), x_Symbol] :> Simp[((d*x)^(m + 1)*(a + b*Log
[c*x^n])^(p + 1))/(b*d*n*(p + 1)), x] - Dist[(m + 1)/(b*n*(p + 1)), Int[(d*x)^m*(a + b*Log[c*x^n])^(p + 1), x]
, x] /; FreeQ[{a, b, c, d, m, n}, x] && NeQ[m, -1] && LtQ[p, -1]

Rule 2309

Int[((a_.) + Log[(c_.)*(x_)]*(b_.))^(p_)*(x_)^(m_.), x_Symbol] :> Dist[1/c^(m + 1), Subst[Int[E^((m + 1)*x)*(a
+ b*x)^p, x], x, Log[c*x]], x] /; FreeQ[{a, b, c, p}, x] && IntegerQ[m]

Rule 2356

Int[((a_.) + Log[(c_.)*(x_)^(n_.)]*(b_.))^(p_.)*(Polyx_), x_Symbol] :> Int[ExpandIntegrand[Polyx*(a + b*Log[c*
x^n])^p, x], x] /; FreeQ[{a, b, c, n, p}, x] && PolynomialQ[Polyx, x]

Rule 2360

Int[((a_.) + Log[(c_.)*(x_)^(n_.)]*(b_.))^(p_.)*(Log[(c_.)*(x_)^(n_.)]*(e_.) + (d_))^(q_.), x_Symbol] :> Int[E
xpandIntegrand[(a + b*Log[c*x^n])^p*(d + e*Log[c*x^n])^q, x], x] /; FreeQ[{a, b, c, d, e, n}, x] && IntegerQ[p
] && IntegerQ[q]

Rule 2366

Int[((a_.) + Log[(c_.)*(x_)^(n_.)]*(b_.))^(p_.)*((d_.) + Log[(f_.)*(x_)^(r_.)]*(e_.))*((g_.)*(x_))^(m_.), x_Sy
mbol] :> With[{u = IntHide[(g*x)^m*(a + b*Log[c*x^n])^p, x]}, Dist[d + e*Log[f*x^r], u, x] - Dist[e*r, Int[Sim
plifyIntegrand[u/x, x], x], x]] /; FreeQ[{a, b, c, d, e, f, g, m, n, p, r}, x] &&  !(EqQ[p, 1] && EqQ[a, 0] &&
NeQ[d, 0])

Rule 6482

Int[ExpIntegralEi[(a_.) + (b_.)*(x_)], x_Symbol] :> Simp[((a + b*x)*ExpIntegralEi[a + b*x])/b, x] - Simp[E^(a
+ b*x)/b, x] /; FreeQ[{a, b}, x]

Rule 6741

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

Rule 6742

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

Rubi steps

\begin {gather*} \begin {aligned} \text {integral} &=\int \frac {-9+7 x+27 x^2+e^{-x} \left (5 x-3 x^2\right )+\left (-6-2 x+18 x^2+e^{-x} \left (2 x-x^2\right )\right ) \log (x)+\left (-1-2 x+3 x^2\right ) \log ^2(x)}{(3+\log (x))^2} \, dx\\ &=\int \left (-\frac {9}{(3+\log (x))^2}+\frac {7 x}{(3+\log (x))^2}+\frac {27 x^2}{(3+\log (x))^2}-\frac {6 \log (x)}{(3+\log (x))^2}-\frac {2 x \log (x)}{(3+\log (x))^2}+\frac {18 x^2 \log (x)}{(3+\log (x))^2}+\frac {(-1+x) (1+3 x) \log ^2(x)}{(3+\log (x))^2}-\frac {e^{-x} x (-5+3 x-2 \log (x)+x \log (x))}{(3+\log (x))^2}\right ) \, dx\\ &=-\left (2 \int \frac {x \log (x)}{(3+\log (x))^2} \, dx\right )-6 \int \frac {\log (x)}{(3+\log (x))^2} \, dx+7 \int \frac {x}{(3+\log (x))^2} \, dx-9 \int \frac {1}{(3+\log (x))^2} \, dx+18 \int \frac {x^2 \log (x)}{(3+\log (x))^2} \, dx+27 \int \frac {x^2}{(3+\log (x))^2} \, dx+\int \frac {(-1+x) (1+3 x) \log ^2(x)}{(3+\log (x))^2} \, dx-\int \frac {e^{-x} x (-5+3 x-2 \log (x)+x \log (x))}{(3+\log (x))^2} \, dx\\ &=-\frac {4 \text {Ei}(2 (3+\log (x))) \log (x)}{e^6}+\frac {54 \text {Ei}(3 (3+\log (x))) \log (x)}{e^9}+\frac {9 x}{3+\log (x)}-\frac {7 x^2}{3+\log (x)}-\frac {27 x^3}{3+\log (x)}+\frac {2 x^2 \log (x)}{3+\log (x)}-\frac {18 x^3 \log (x)}{3+\log (x)}+\frac {e^{-x} x (3 x+x \log (x))}{(3+\log (x))^2}+2 \int \left (\frac {2 \text {Ei}(2 (3+\log (x)))}{e^6 x}-\frac {x}{3+\log (x)}\right ) \, dx-6 \int \left (-\frac {3}{(3+\log (x))^2}+\frac {1}{3+\log (x)}\right ) \, dx-9 \int \frac {1}{3+\log (x)} \, dx+14 \int \frac {x}{3+\log (x)} \, dx-18 \int \left (\frac {3 \text {Ei}(3 (3+\log (x)))}{e^9 x}-\frac {x^2}{3+\log (x)}\right ) \, dx+81 \int \frac {x^2}{3+\log (x)} \, dx+\int \left ((-1+x) (1+3 x)+\frac {9 (-1+x) (1+3 x)}{(3+\log (x))^2}-\frac {6 (-1+x) (1+3 x)}{3+\log (x)}\right ) \, dx\\ &=-\frac {4 \text {Ei}(2 (3+\log (x))) \log (x)}{e^6}+\frac {54 \text {Ei}(3 (3+\log (x))) \log (x)}{e^9}+\frac {9 x}{3+\log (x)}-\frac {7 x^2}{3+\log (x)}-\frac {27 x^3}{3+\log (x)}+\frac {2 x^2 \log (x)}{3+\log (x)}-\frac {18 x^3 \log (x)}{3+\log (x)}+\frac {e^{-x} x (3 x+x \log (x))}{(3+\log (x))^2}-2 \int \frac {x}{3+\log (x)} \, dx-6 \int \frac {1}{3+\log (x)} \, dx-6 \int \frac {(-1+x) (1+3 x)}{3+\log (x)} \, dx+9 \int \frac {(-1+x) (1+3 x)}{(3+\log (x))^2} \, dx-9 \operatorname {Subst}\left (\int \frac {e^x}{3+x} \, dx,x,\log (x)\right )+14 \operatorname {Subst}\left (\int \frac {e^{2 x}}{3+x} \, dx,x,\log (x)\right )+18 \int \frac {1}{(3+\log (x))^2} \, dx+18 \int \frac {x^2}{3+\log (x)} \, dx+81 \operatorname {Subst}\left (\int \frac {e^{3 x}}{3+x} \, dx,x,\log (x)\right )-\frac {54 \int \frac {\text {Ei}(3 (3+\log (x)))}{x} \, dx}{e^9}+\frac {4 \int \frac {\text {Ei}(2 (3+\log (x)))}{x} \, dx}{e^6}+\int (-1+x) (1+3 x) \, dx\\ &=-\frac {9 \text {Ei}(3+\log (x))}{e^3}+\frac {14 \text {Ei}(2 (3+\log (x)))}{e^6}+\frac {81 \text {Ei}(3 (3+\log (x)))}{e^9}-\frac {4 \text {Ei}(2 (3+\log (x))) \log (x)}{e^6}+\frac {54 \text {Ei}(3 (3+\log (x))) \log (x)}{e^9}-\frac {9 x}{3+\log (x)}-\frac {7 x^2}{3+\log (x)}-\frac {27 x^3}{3+\log (x)}+\frac {2 x^2 \log (x)}{3+\log (x)}-\frac {18 x^3 \log (x)}{3+\log (x)}+\frac {e^{-x} x (3 x+x \log (x))}{(3+\log (x))^2}-2 \operatorname {Subst}\left (\int \frac {e^{2 x}}{3+x} \, dx,x,\log (x)\right )-6 \int \left (-\frac {1}{3+\log (x)}-\frac {2 x}{3+\log (x)}+\frac {3 x^2}{3+\log (x)}\right ) \, dx-6 \operatorname {Subst}\left (\int \frac {e^x}{3+x} \, dx,x,\log (x)\right )+9 \int \left (-\frac {1}{(3+\log (x))^2}-\frac {2 x}{(3+\log (x))^2}+\frac {3 x^2}{(3+\log (x))^2}\right ) \, dx+18 \int \frac {1}{3+\log (x)} \, dx+18 \operatorname {Subst}\left (\int \frac {e^{3 x}}{3+x} \, dx,x,\log (x)\right )-\frac {54 \operatorname {Subst}(\int \text {Ei}(3 (3+x)) \, dx,x,\log (x))}{e^9}+\frac {4 \operatorname {Subst}(\int \text {Ei}(2 (3+x)) \, dx,x,\log (x))}{e^6}+\int \left (-1-2 x+3 x^2\right ) \, dx\\ &=-x-x^2+x^3-\frac {15 \text {Ei}(3+\log (x))}{e^3}+\frac {12 \text {Ei}(2 (3+\log (x)))}{e^6}+\frac {99 \text {Ei}(3 (3+\log (x)))}{e^9}-\frac {4 \text {Ei}(2 (3+\log (x))) \log (x)}{e^6}+\frac {54 \text {Ei}(3 (3+\log (x))) \log (x)}{e^9}-\frac {9 x}{3+\log (x)}-\frac {7 x^2}{3+\log (x)}-\frac {27 x^3}{3+\log (x)}+\frac {2 x^2 \log (x)}{3+\log (x)}-\frac {18 x^3 \log (x)}{3+\log (x)}+\frac {e^{-x} x (3 x+x \log (x))}{(3+\log (x))^2}+6 \int \frac {1}{3+\log (x)} \, dx-9 \int \frac {1}{(3+\log (x))^2} \, dx+12 \int \frac {x}{3+\log (x)} \, dx-18 \int \frac {x}{(3+\log (x))^2} \, dx-18 \int \frac {x^2}{3+\log (x)} \, dx+18 \operatorname {Subst}\left (\int \frac {e^x}{3+x} \, dx,x,\log (x)\right )+27 \int \frac {x^2}{(3+\log (x))^2} \, dx-\frac {18 \operatorname {Subst}(\int \text {Ei}(x) \, dx,x,9+3 \log (x))}{e^9}+\frac {2 \operatorname {Subst}(\int \text {Ei}(x) \, dx,x,6+2 \log (x))}{e^6}\\ &=-x-3 x^2+19 x^3+\frac {3 \text {Ei}(3+\log (x))}{e^3}+\frac {12 \text {Ei}(2 (3+\log (x)))}{e^6}+\frac {99 \text {Ei}(3 (3+\log (x)))}{e^9}-\frac {4 \text {Ei}(2 (3+\log (x))) \log (x)}{e^6}+\frac {54 \text {Ei}(3 (3+\log (x))) \log (x)}{e^9}+\frac {11 x^2}{3+\log (x)}-\frac {54 x^3}{3+\log (x)}+\frac {2 x^2 \log (x)}{3+\log (x)}-\frac {18 x^3 \log (x)}{3+\log (x)}+\frac {4 \text {Ei}(6+2 \log (x)) (3+\log (x))}{e^6}-\frac {54 \text {Ei}(9+3 \log (x)) (3+\log (x))}{e^9}+\frac {e^{-x} x (3 x+x \log (x))}{(3+\log (x))^2}+6 \operatorname {Subst}\left (\int \frac {e^x}{3+x} \, dx,x,\log (x)\right )-9 \int \frac {1}{3+\log (x)} \, dx+12 \operatorname {Subst}\left (\int \frac {e^{2 x}}{3+x} \, dx,x,\log (x)\right )-18 \operatorname {Subst}\left (\int \frac {e^{3 x}}{3+x} \, dx,x,\log (x)\right )-36 \int \frac {x}{3+\log (x)} \, dx+81 \int \frac {x^2}{3+\log (x)} \, dx\\ &=-x-3 x^2+19 x^3+\frac {9 \text {Ei}(3+\log (x))}{e^3}+\frac {24 \text {Ei}(2 (3+\log (x)))}{e^6}+\frac {81 \text {Ei}(3 (3+\log (x)))}{e^9}-\frac {4 \text {Ei}(2 (3+\log (x))) \log (x)}{e^6}+\frac {54 \text {Ei}(3 (3+\log (x))) \log (x)}{e^9}+\frac {11 x^2}{3+\log (x)}-\frac {54 x^3}{3+\log (x)}+\frac {2 x^2 \log (x)}{3+\log (x)}-\frac {18 x^3 \log (x)}{3+\log (x)}+\frac {4 \text {Ei}(6+2 \log (x)) (3+\log (x))}{e^6}-\frac {54 \text {Ei}(9+3 \log (x)) (3+\log (x))}{e^9}+\frac {e^{-x} x (3 x+x \log (x))}{(3+\log (x))^2}-9 \operatorname {Subst}\left (\int \frac {e^x}{3+x} \, dx,x,\log (x)\right )-36 \operatorname {Subst}\left (\int \frac {e^{2 x}}{3+x} \, dx,x,\log (x)\right )+81 \operatorname {Subst}\left (\int \frac {e^{3 x}}{3+x} \, dx,x,\log (x)\right )\\ &=-x-3 x^2+19 x^3-\frac {12 \text {Ei}(2 (3+\log (x)))}{e^6}+\frac {162 \text {Ei}(3 (3+\log (x)))}{e^9}-\frac {4 \text {Ei}(2 (3+\log (x))) \log (x)}{e^6}+\frac {54 \text {Ei}(3 (3+\log (x))) \log (x)}{e^9}+\frac {11 x^2}{3+\log (x)}-\frac {54 x^3}{3+\log (x)}+\frac {2 x^2 \log (x)}{3+\log (x)}-\frac {18 x^3 \log (x)}{3+\log (x)}+\frac {4 \text {Ei}(6+2 \log (x)) (3+\log (x))}{e^6}-\frac {54 \text {Ei}(9+3 \log (x)) (3+\log (x))}{e^9}+\frac {e^{-x} x (3 x+x \log (x))}{(3+\log (x))^2}\\ \end {aligned} \end {gather*}

________________________________________________________________________________________

Mathematica [A]  time = 0.51, size = 25, normalized size = 1.00 \begin {gather*} x \left (-1-x+x^2+\frac {\left (5+e^{-x}\right ) x}{3+\log (x)}\right ) \end {gather*}

Antiderivative was successfully verified.

[In]

Integrate[(-9 + 7*x + 27*x^2 + (5*x - 3*x^2)/E^x + (-6 - 2*x + 18*x^2 + (2*x - x^2)/E^x)*Log[x] + (-1 - 2*x +
3*x^2)*Log[x]^2)/(9 + 6*Log[x] + Log[x]^2),x]

[Out]

x*(-1 - x + x^2 + ((5 + E^(-x))*x)/(3 + Log[x]))

________________________________________________________________________________________

fricas [A]  time = 0.97, size = 44, normalized size = 1.76 \begin {gather*} \frac {3 \, x^{3} + x^{2} e^{\left (-x\right )} + 2 \, x^{2} + {\left (x^{3} - x^{2} - x\right )} \log \relax (x) - 3 \, x}{\log \relax (x) + 3} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(((3*x^2-2*x-1)*log(x)^2+((-x^2+2*x)*exp(-x)+18*x^2-2*x-6)*log(x)+(-3*x^2+5*x)*exp(-x)+27*x^2+7*x-9)/
(log(x)^2+6*log(x)+9),x, algorithm="fricas")

[Out]

(3*x^3 + x^2*e^(-x) + 2*x^2 + (x^3 - x^2 - x)*log(x) - 3*x)/(log(x) + 3)

________________________________________________________________________________________

giac [A]  time = 0.31, size = 47, normalized size = 1.88 \begin {gather*} \frac {x^{3} \log \relax (x) + 3 \, x^{3} + x^{2} e^{\left (-x\right )} - x^{2} \log \relax (x) + 2 \, x^{2} - x \log \relax (x) - 3 \, x}{\log \relax (x) + 3} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(((3*x^2-2*x-1)*log(x)^2+((-x^2+2*x)*exp(-x)+18*x^2-2*x-6)*log(x)+(-3*x^2+5*x)*exp(-x)+27*x^2+7*x-9)/
(log(x)^2+6*log(x)+9),x, algorithm="giac")

[Out]

(x^3*log(x) + 3*x^3 + x^2*e^(-x) - x^2*log(x) + 2*x^2 - x*log(x) - 3*x)/(log(x) + 3)

________________________________________________________________________________________

maple [A]  time = 0.06, size = 29, normalized size = 1.16

method	result	size
risch	\(x^{3}-x^{2}-x +\frac {x^{2} \left ({\mathrm e}^{-x}+5\right )}{3+\ln \relax (x )}\)	\(29\)
norman	\(\frac {x^{2} {\mathrm e}^{-x}+x^{3} \ln \relax (x )-3 x +2 x^{2}+3 x^{3}-x \ln \relax (x )-x^{2} \ln \relax (x )}{3+\ln \relax (x )}\)	\(48\)
default	\(\frac {x^{3} \ln \relax (x )-3 x +2 x^{2}+3 x^{3}-x^{2} \ln \relax (x )-x \ln \relax (x )}{3+\ln \relax (x )}+\frac {x^{2} {\mathrm e}^{-x}}{3+\ln \relax (x )}\)	\(55\)

Verification of antiderivative is not currently implemented for this CAS.

[In]

int(((3*x^2-2*x-1)*ln(x)^2+((-x^2+2*x)*exp(-x)+18*x^2-2*x-6)*ln(x)+(-3*x^2+5*x)*exp(-x)+27*x^2+7*x-9)/(ln(x)^2
+6*ln(x)+9),x,method=_RETURNVERBOSE)

[Out]

x^3-x^2-x+x^2*(exp(-x)+5)/(3+ln(x))

________________________________________________________________________________________

maxima [F]  time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \frac {9 \, e^{\left (-3\right )} E_{2}\left (-\log \relax (x) - 3\right )}{\log \relax (x) + 3} - \frac {7 \, e^{\left (-6\right )} E_{2}\left (-2 \, \log \relax (x) - 6\right )}{\log \relax (x) + 3} - \frac {27 \, e^{\left (-9\right )} E_{2}\left (-3 \, \log \relax (x) - 9\right )}{\log \relax (x) + 3} + \frac {30 \, x^{3} + x^{2} e^{\left (-x\right )} + 9 \, x^{2} + {\left (x^{3} - x^{2} - x\right )} \log \relax (x) - 12 \, x}{\log \relax (x) + 3} - \int \frac {81 \, x^{2} + 14 \, x - 9}{\log \relax (x) + 3}\,{d x} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(((3*x^2-2*x-1)*log(x)^2+((-x^2+2*x)*exp(-x)+18*x^2-2*x-6)*log(x)+(-3*x^2+5*x)*exp(-x)+27*x^2+7*x-9)/
(log(x)^2+6*log(x)+9),x, algorithm="maxima")

[Out]

9*e^(-3)*exp_integral_e(2, -log(x) - 3)/(log(x) + 3) - 7*e^(-6)*exp_integral_e(2, -2*log(x) - 6)/(log(x) + 3)
- 27*e^(-9)*exp_integral_e(2, -3*log(x) - 9)/(log(x) + 3) + (30*x^3 + x^2*e^(-x) + 9*x^2 + (x^3 - x^2 - x)*log
(x) - 12*x)/(log(x) + 3) - integrate((81*x^2 + 14*x - 9)/(log(x) + 3), x)

________________________________________________________________________________________

mupad [B]  time = 0.44, size = 27, normalized size = 1.08 \begin {gather*} x^3-x+\frac {x^2\,\left ({\mathrm {e}}^{-x}-\ln \relax (x)+2\right )}{\ln \relax (x)+3} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

int((7*x + exp(-x)*(5*x - 3*x^2) - log(x)^2*(2*x - 3*x^2 + 1) - log(x)*(2*x - exp(-x)*(2*x - x^2) - 18*x^2 + 6
) + 27*x^2 - 9)/(6*log(x) + log(x)^2 + 9),x)

[Out]

x^3 - x + (x^2*(exp(-x) - log(x) + 2))/(log(x) + 3)

________________________________________________________________________________________

sympy [A]  time = 0.33, size = 29, normalized size = 1.16 \begin {gather*} x^{3} - x^{2} + \frac {5 x^{2}}{\log {\relax (x )} + 3} + \frac {x^{2} e^{- x}}{\log {\relax (x )} + 3} - x \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(((3*x**2-2*x-1)*ln(x)**2+((-x**2+2*x)*exp(-x)+18*x**2-2*x-6)*ln(x)+(-3*x**2+5*x)*exp(-x)+27*x**2+7*x
-9)/(ln(x)**2+6*ln(x)+9),x)

[Out]

x**3 - x**2 + 5*x**2/(log(x) + 3) + x**2*exp(-x)/(log(x) + 3) - x

________________________________________________________________________________________