3.39.20 \(\int \frac {e^x (-2+64 x+27 x^2-66 x^3-30 x^4+17 x^5+8 x^6)+e^x (-32+2 x+32 x^2-x^3-8 x^4) \log (\frac {-4+2 x^2}{-80+5 x+40 x^2})}{32-2 x-32 x^2+x^3+8 x^4} \, dx\)

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

________________________________________________________________________________________

Rubi [C]  time = 41.44, antiderivative size = 983, normalized size of antiderivative = 35.11, number of steps used = 191, number of rules used = 12, integrand size = 101, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.119, Rules used = {6742, 6688, 6725, 2178, 2194, 2269, 2176, 2196, 2554, 2270, 6728, 2268}

result too large to display

Antiderivative was successfully verified.

[In]

Int[(E^x*(-2 + 64*x + 27*x^2 - 66*x^3 - 30*x^4 + 17*x^5 + 8*x^6) + E^x*(-32 + 2*x + 32*x^2 - x^3 - 8*x^4)*Log[
(-4 + 2*x^2)/(-80 + 5*x + 40*x^2)])/(32 - 2*x - 32*x^2 + x^3 + 8*x^4),x]

[Out]

E^x*x^2 - E^Sqrt[2]*ExpIntegralEi[-Sqrt[2] + x] - (38 - 23*Sqrt[2])*E^Sqrt[2]*ExpIntegralEi[-Sqrt[2] + x] + (3
9 - 23*Sqrt[2])*E^Sqrt[2]*ExpIntegralEi[-Sqrt[2] + x] - ExpIntegralEi[Sqrt[2] + x]/E^Sqrt[2] - ((38 + 23*Sqrt[
2])*ExpIntegralEi[Sqrt[2] + x])/E^Sqrt[2] + ((39 + 23*Sqrt[2])*ExpIntegralEi[Sqrt[2] + x])/E^Sqrt[2] - (512*E^
((-1 + 3*Sqrt[57])/16)*ExpIntegralEi[(1 - 3*Sqrt[57] + 16*x)/16])/(3*Sqrt[57]) - ((2867499 - 82561*Sqrt[57])*E
^((-1 + 3*Sqrt[57])/16)*ExpIntegralEi[(1 - 3*Sqrt[57] + 16*x)/16])/175104 + (17*(43947 - 33281*Sqrt[57])*E^((-
1 + 3*Sqrt[57])/16)*ExpIntegralEi[(1 - 3*Sqrt[57] + 16*x)/16])/175104 + (5*(22059 - 385*Sqrt[57])*E^((-1 + 3*S
qrt[57])/16)*ExpIntegralEi[(1 - 3*Sqrt[57] + 16*x)/16])/3648 - (11*(171 - 257*Sqrt[57])*E^((-1 + 3*Sqrt[57])/1
6)*ExpIntegralEi[(1 - 3*Sqrt[57] + 16*x)/16])/456 + ((1297 - 147*Sqrt[57])*E^((-1 + 3*Sqrt[57])/16)*ExpIntegra
lEi[(1 - 3*Sqrt[57] + 16*x)/16])/32 - (3*(443 - 49*Sqrt[57])*E^((-1 + 3*Sqrt[57])/16)*ExpIntegralEi[(1 - 3*Sqr
t[57] + 16*x)/16])/32 - (3*(171 - Sqrt[57])*E^((-1 + 3*Sqrt[57])/16)*ExpIntegralEi[(1 - 3*Sqrt[57] + 16*x)/16]
)/38 + ((171 + Sqrt[57])*E^((-1 + 3*Sqrt[57])/16)*ExpIntegralEi[(1 - 3*Sqrt[57] + 16*x)/16])/342 + (512*E^((-1
- 3*Sqrt[57])/16)*ExpIntegralEi[(1 + 3*Sqrt[57] + 16*x)/16])/(3*Sqrt[57]) + ((171 - Sqrt[57])*E^((-1 - 3*Sqrt
[57])/16)*ExpIntegralEi[(1 + 3*Sqrt[57] + 16*x)/16])/342 - (3*(171 + Sqrt[57])*E^((-1 - 3*Sqrt[57])/16)*ExpInt
egralEi[(1 + 3*Sqrt[57] + 16*x)/16])/38 - (3*(443 + 49*Sqrt[57])*E^((-1 - 3*Sqrt[57])/16)*ExpIntegralEi[(1 + 3
*Sqrt[57] + 16*x)/16])/32 + ((1297 + 147*Sqrt[57])*E^((-1 - 3*Sqrt[57])/16)*ExpIntegralEi[(1 + 3*Sqrt[57] + 16
*x)/16])/32 - (11*(171 + 257*Sqrt[57])*E^((-1 - 3*Sqrt[57])/16)*ExpIntegralEi[(1 + 3*Sqrt[57] + 16*x)/16])/456
+ (5*(22059 + 385*Sqrt[57])*E^((-1 - 3*Sqrt[57])/16)*ExpIntegralEi[(1 + 3*Sqrt[57] + 16*x)/16])/3648 + (17*(4
3947 + 33281*Sqrt[57])*E^((-1 - 3*Sqrt[57])/16)*ExpIntegralEi[(1 + 3*Sqrt[57] + 16*x)/16])/175104 - ((2867499
+ 82561*Sqrt[57])*E^((-1 - 3*Sqrt[57])/16)*ExpIntegralEi[(1 + 3*Sqrt[57] + 16*x)/16])/175104 - E^x*Log[(2*(2 -
x^2))/(5*(16 - x - 8*x^2))]

Rule 2176

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] &&  !$UseGamma === True

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 2194

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 2196

Int[(F_)^((c_.)*(v_))*(u_), x_Symbol] :> Int[ExpandIntegrand[F^(c*ExpandToSum[v, x]), u, x], x] /; FreeQ[{F, c
}, x] && PolynomialQ[u, x] && LinearQ[v, x] &&  !$UseGamma === True

Rule 2268

Int[(F_)^((g_.)*((d_.) + (e_.)*(x_))^(n_.))/((a_.) + (b_.)*(x_) + (c_.)*(x_)^2), x_Symbol] :> Int[ExpandIntegr
and[F^(g*(d + e*x)^n), 1/(a + b*x + c*x^2), x], x] /; FreeQ[{F, a, b, c, d, e, g, n}, x]

Rule 2269

Int[(F_)^((g_.)*((d_.) + (e_.)*(x_))^(n_.))/((a_) + (c_.)*(x_)^2), x_Symbol] :> Int[ExpandIntegrand[F^(g*(d +
e*x)^n), 1/(a + c*x^2), x], x] /; FreeQ[{F, a, c, d, e, g, n}, x]

Rule 2270

Int[((F_)^((g_.)*((d_.) + (e_.)*(x_))^(n_.))*(u_)^(m_.))/((a_.) + (b_.)*(x_) + (c_)*(x_)^2), x_Symbol] :> Int[
ExpandIntegrand[F^(g*(d + e*x)^n), u^m/(a + b*x + c*x^2), x], x] /; FreeQ[{F, a, b, c, d, e, g, n}, x] && Poly
nomialQ[u, x] && IntegerQ[m]

Rule 2554

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 6688

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

Rule 6725

Int[(u_)/((a_) + (b_.)*(x_)^(n_)), x_Symbol] :> With[{v = RationalFunctionExpand[u/(a + b*x^n), x]}, Int[v, x]
/; SumQ[v]] /; FreeQ[{a, b}, x] && IGtQ[n, 0]

Rule 6728

Int[(u_)/((a_.) + (b_.)*(x_)^(n_.) + (c_.)*(x_)^(n2_.)), x_Symbol] :> With[{v = RationalFunctionExpand[u/(a +
b*x^n + c*x^(2*n)), x]}, Int[v, x] /; SumQ[v]] /; FreeQ[{a, b, c}, x] && EqQ[n2, 2*n] && IGtQ[n, 0]

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 \left (\frac {e^x x \left (-2+64 x+27 x^2-66 x^3-30 x^4+17 x^5+8 x^6-32 \log \left (\frac {2 \left (-2+x^2\right )}{5 \left (-16+x+8 x^2\right )}\right )+2 x \log \left (\frac {2 \left (-2+x^2\right )}{5 \left (-16+x+8 x^2\right )}\right )+32 x^2 \log \left (\frac {2 \left (-2+x^2\right )}{5 \left (-16+x+8 x^2\right )}\right )-x^3 \log \left (\frac {2 \left (-2+x^2\right )}{5 \left (-16+x+8 x^2\right )}\right )-8 x^4 \log \left (\frac {2 \left (-2+x^2\right )}{5 \left (-16+x+8 x^2\right )}\right )\right )}{2 \left (-2+x^2\right )}-\frac {e^x (1+8 x) \left (-2+64 x+27 x^2-66 x^3-30 x^4+17 x^5+8 x^6-32 \log \left (\frac {2 \left (-2+x^2\right )}{5 \left (-16+x+8 x^2\right )}\right )+2 x \log \left (\frac {2 \left (-2+x^2\right )}{5 \left (-16+x+8 x^2\right )}\right )+32 x^2 \log \left (\frac {2 \left (-2+x^2\right )}{5 \left (-16+x+8 x^2\right )}\right )-x^3 \log \left (\frac {2 \left (-2+x^2\right )}{5 \left (-16+x+8 x^2\right )}\right )-8 x^4 \log \left (\frac {2 \left (-2+x^2\right )}{5 \left (-16+x+8 x^2\right )}\right )\right )}{2 \left (-16+x+8 x^2\right )}\right ) \, dx\\ &=\frac {1}{2} \int \frac {e^x x \left (-2+64 x+27 x^2-66 x^3-30 x^4+17 x^5+8 x^6-32 \log \left (\frac {2 \left (-2+x^2\right )}{5 \left (-16+x+8 x^2\right )}\right )+2 x \log \left (\frac {2 \left (-2+x^2\right )}{5 \left (-16+x+8 x^2\right )}\right )+32 x^2 \log \left (\frac {2 \left (-2+x^2\right )}{5 \left (-16+x+8 x^2\right )}\right )-x^3 \log \left (\frac {2 \left (-2+x^2\right )}{5 \left (-16+x+8 x^2\right )}\right )-8 x^4 \log \left (\frac {2 \left (-2+x^2\right )}{5 \left (-16+x+8 x^2\right )}\right )\right )}{-2+x^2} \, dx-\frac {1}{2} \int \frac {e^x (1+8 x) \left (-2+64 x+27 x^2-66 x^3-30 x^4+17 x^5+8 x^6-32 \log \left (\frac {2 \left (-2+x^2\right )}{5 \left (-16+x+8 x^2\right )}\right )+2 x \log \left (\frac {2 \left (-2+x^2\right )}{5 \left (-16+x+8 x^2\right )}\right )+32 x^2 \log \left (\frac {2 \left (-2+x^2\right )}{5 \left (-16+x+8 x^2\right )}\right )-x^3 \log \left (\frac {2 \left (-2+x^2\right )}{5 \left (-16+x+8 x^2\right )}\right )-8 x^4 \log \left (\frac {2 \left (-2+x^2\right )}{5 \left (-16+x+8 x^2\right )}\right )\right )}{-16+x+8 x^2} \, dx\\ &=-\left (\frac {1}{2} \int \frac {e^x (1+8 x) \left (2-64 x-27 x^2+66 x^3+30 x^4-17 x^5-8 x^6+\left (32-2 x-32 x^2+x^3+8 x^4\right ) \log \left (\frac {2 \left (-2+x^2\right )}{5 \left (-16+x+8 x^2\right )}\right )\right )}{16-x-8 x^2} \, dx\right )+\frac {1}{2} \int \frac {e^x x \left (2-64 x-27 x^2+66 x^3+30 x^4-17 x^5-8 x^6+\left (32-2 x-32 x^2+x^3+8 x^4\right ) \log \left (\frac {2 \left (-2+x^2\right )}{5 \left (-16+x+8 x^2\right )}\right )\right )}{2-x^2} \, dx\\ &=-\left (\frac {1}{2} \int \left (-\frac {2 e^x (1+8 x)}{-16+x+8 x^2}+\frac {64 e^x x (1+8 x)}{-16+x+8 x^2}+\frac {27 e^x x^2 (1+8 x)}{-16+x+8 x^2}-\frac {66 e^x x^3 (1+8 x)}{-16+x+8 x^2}-\frac {30 e^x x^4 (1+8 x)}{-16+x+8 x^2}+\frac {17 e^x x^5 (1+8 x)}{-16+x+8 x^2}+\frac {8 e^x x^6 (1+8 x)}{-16+x+8 x^2}-e^x (1+8 x) \left (-2+x^2\right ) \log \left (\frac {2 \left (-2+x^2\right )}{5 \left (-16+x+8 x^2\right )}\right )\right ) \, dx\right )+\frac {1}{2} \int \left (-\frac {2 e^x x}{-2+x^2}+\frac {64 e^x x^2}{-2+x^2}+\frac {27 e^x x^3}{-2+x^2}-\frac {66 e^x x^4}{-2+x^2}-\frac {30 e^x x^5}{-2+x^2}+\frac {17 e^x x^6}{-2+x^2}+\frac {8 e^x x^7}{-2+x^2}-e^x x \left (-16+x+8 x^2\right ) \log \left (\frac {2 \left (-2+x^2\right )}{5 \left (-16+x+8 x^2\right )}\right )\right ) \, dx\\ &=\frac {1}{2} \int e^x (1+8 x) \left (-2+x^2\right ) \log \left (\frac {2 \left (-2+x^2\right )}{5 \left (-16+x+8 x^2\right )}\right ) \, dx-\frac {1}{2} \int e^x x \left (-16+x+8 x^2\right ) \log \left (\frac {2 \left (-2+x^2\right )}{5 \left (-16+x+8 x^2\right )}\right ) \, dx+4 \int \frac {e^x x^7}{-2+x^2} \, dx-4 \int \frac {e^x x^6 (1+8 x)}{-16+x+8 x^2} \, dx+\frac {17}{2} \int \frac {e^x x^6}{-2+x^2} \, dx-\frac {17}{2} \int \frac {e^x x^5 (1+8 x)}{-16+x+8 x^2} \, dx+\frac {27}{2} \int \frac {e^x x^3}{-2+x^2} \, dx-\frac {27}{2} \int \frac {e^x x^2 (1+8 x)}{-16+x+8 x^2} \, dx-15 \int \frac {e^x x^5}{-2+x^2} \, dx+15 \int \frac {e^x x^4 (1+8 x)}{-16+x+8 x^2} \, dx+32 \int \frac {e^x x^2}{-2+x^2} \, dx-32 \int \frac {e^x x (1+8 x)}{-16+x+8 x^2} \, dx-33 \int \frac {e^x x^4}{-2+x^2} \, dx+33 \int \frac {e^x x^3 (1+8 x)}{-16+x+8 x^2} \, dx-\int \frac {e^x x}{-2+x^2} \, dx+\int \frac {e^x (1+8 x)}{-16+x+8 x^2} \, dx\\ &=-e^x \log \left (\frac {2 \left (2-x^2\right )}{5 \left (16-x-8 x^2\right )}\right )-\frac {1}{2} \int \frac {e^x \left (2+x^2\right ) \left (-32+30 x-23 x^2+8 x^3\right )}{\left (16-x-8 x^2\right ) \left (2-x^2\right )} \, dx+\frac {1}{2} \int \frac {e^x \left (2+x^2\right ) \left (-30+30 x-23 x^2+8 x^3\right )}{\left (16-x-8 x^2\right ) \left (2-x^2\right )} \, dx+4 \int \left (4 e^x x+2 e^x x^3+e^x x^5+\frac {8 e^x x}{-2+x^2}\right ) \, dx-4 \int \left (-\frac {257 e^x}{256}+\frac {129 e^x x}{32}-\frac {e^x x^2}{4}+2 e^x x^3+e^x x^5-\frac {e^x (4112-16769 x)}{256 \left (-16+x+8 x^2\right )}\right ) \, dx+\frac {17}{2} \int \left (4 e^x+2 e^x x^2+e^x x^4+\frac {8 e^x}{-2+x^2}\right ) \, dx-\frac {17}{2} \int \left (\frac {129 e^x}{32}-\frac {e^x x}{4}+2 e^x x^2+e^x x^4+\frac {e^x (2064-257 x)}{32 \left (-16+x+8 x^2\right )}\right ) \, dx+\frac {27}{2} \int \left (e^x x+\frac {2 e^x x}{-2+x^2}\right ) \, dx-\frac {27}{2} \int \left (e^x x+\frac {16 e^x x}{-16+x+8 x^2}\right ) \, dx-15 \int \left (2 e^x x+e^x x^3+\frac {4 e^x x}{-2+x^2}\right ) \, dx+15 \int \left (-\frac {e^x}{4}+2 e^x x+e^x x^3-\frac {e^x (16-129 x)}{4 \left (-16+x+8 x^2\right )}\right ) \, dx+32 \int \left (e^x+\frac {2 e^x}{-2+x^2}\right ) \, dx-32 \int \left (e^x+\frac {16 e^x}{-16+x+8 x^2}\right ) \, dx-33 \int \left (2 e^x+e^x x^2+\frac {4 e^x}{-2+x^2}\right ) \, dx+33 \int \left (2 e^x+e^x x^2+\frac {2 e^x (16-x)}{-16+x+8 x^2}\right ) \, dx-\int \left (-\frac {e^x}{2 \left (\sqrt {2}-x\right )}+\frac {e^x}{2 \left (\sqrt {2}+x\right )}\right ) \, dx+\int \left (\frac {\left (8+\frac {8}{3 \sqrt {57}}\right ) e^x}{1-3 \sqrt {57}+16 x}+\frac {\left (8-\frac {8}{3 \sqrt {57}}\right ) e^x}{1+3 \sqrt {57}+16 x}\right ) \, dx\\ &=-e^x \log \left (\frac {2 \left (2-x^2\right )}{5 \left (16-x-8 x^2\right )}\right )+\frac {1}{64} \int \frac {e^x (4112-16769 x)}{-16+x+8 x^2} \, dx-\frac {17}{64} \int \frac {e^x (2064-257 x)}{-16+x+8 x^2} \, dx+\frac {1}{2} \int \frac {e^x}{\sqrt {2}-x} \, dx-\frac {1}{2} \int \frac {e^x}{\sqrt {2}+x} \, dx-\frac {1}{2} \int \left (-3 e^x+e^x x-\frac {4 e^x (-46+39 x)}{-2+x^2}+\frac {3 e^x (-496+443 x)}{-16+x+8 x^2}\right ) \, dx+\frac {1}{2} \int \left (-3 e^x+e^x x-\frac {8 e^x (-23+19 x)}{-2+x^2}+\frac {e^x (-1490+1297 x)}{-16+x+8 x^2}\right ) \, dx+\frac {17}{8} \int e^x x \, dx-\frac {15 \int e^x \, dx}{4}-\frac {15}{4} \int \frac {e^x (16-129 x)}{-16+x+8 x^2} \, dx+\frac {257 \int e^x \, dx}{64}+16 \int e^x x \, dx-\frac {129}{8} \int e^x x \, dx+27 \int \frac {e^x x}{-2+x^2} \, dx+32 \int \frac {e^x x}{-2+x^2} \, dx+34 \int e^x \, dx-\frac {2193 \int e^x \, dx}{64}-60 \int \frac {e^x x}{-2+x^2} \, dx+64 \int \frac {e^x}{-2+x^2} \, dx+66 \int \frac {e^x (16-x)}{-16+x+8 x^2} \, dx+68 \int \frac {e^x}{-2+x^2} \, dx-132 \int \frac {e^x}{-2+x^2} \, dx-216 \int \frac {e^x x}{-16+x+8 x^2} \, dx-512 \int \frac {e^x}{-16+x+8 x^2} \, dx+\frac {1}{171} \left (8 \left (171-\sqrt {57}\right )\right ) \int \frac {e^x}{1+3 \sqrt {57}+16 x} \, dx+\frac {1}{171} \left (8 \left (171+\sqrt {57}\right )\right ) \int \frac {e^x}{1-3 \sqrt {57}+16 x} \, dx+\int e^x x^2 \, dx\\ &=\text {Rest of rules removed due to large latex content} \end {aligned} \end {gather*}

________________________________________________________________________________________

Mathematica [A]  time = 0.07, size = 30, normalized size = 1.07 \begin {gather*} e^x \left (x^2-\log \left (\frac {2 \left (-2+x^2\right )}{5 \left (-16+x+8 x^2\right )}\right )\right ) \end {gather*}

Antiderivative was successfully verified.

[In]

Integrate[(E^x*(-2 + 64*x + 27*x^2 - 66*x^3 - 30*x^4 + 17*x^5 + 8*x^6) + E^x*(-32 + 2*x + 32*x^2 - x^3 - 8*x^4
)*Log[(-4 + 2*x^2)/(-80 + 5*x + 40*x^2)])/(32 - 2*x - 32*x^2 + x^3 + 8*x^4),x]

[Out]

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

________________________________________________________________________________________

fricas [A]  time = 0.64, size = 29, normalized size = 1.04 \begin {gather*} x^{2} e^{x} - e^{x} \log \left (\frac {2 \, {\left (x^{2} - 2\right )}}{5 \, {\left (8 \, x^{2} + x - 16\right )}}\right ) \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(((-8*x^4-x^3+32*x^2+2*x-32)*exp(x)*log((2*x^2-4)/(40*x^2+5*x-80))+(8*x^6+17*x^5-30*x^4-66*x^3+27*x^2
+64*x-2)*exp(x))/(8*x^4+x^3-32*x^2-2*x+32),x, algorithm="fricas")

[Out]

x^2*e^x - e^x*log(2/5*(x^2 - 2)/(8*x^2 + x - 16))

________________________________________________________________________________________

giac [A]  time = 0.20, size = 29, normalized size = 1.04 \begin {gather*} x^{2} e^{x} - e^{x} \log \left (\frac {2 \, {\left (x^{2} - 2\right )}}{5 \, {\left (8 \, x^{2} + x - 16\right )}}\right ) \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(((-8*x^4-x^3+32*x^2+2*x-32)*exp(x)*log((2*x^2-4)/(40*x^2+5*x-80))+(8*x^6+17*x^5-30*x^4-66*x^3+27*x^2
+64*x-2)*exp(x))/(8*x^4+x^3-32*x^2-2*x+32),x, algorithm="giac")

[Out]

x^2*e^x - e^x*log(2/5*(x^2 - 2)/(8*x^2 + x - 16))

________________________________________________________________________________________

maple [C]  time = 0.13, size = 193, normalized size = 6.89

method	result	size
risch	\({\mathrm e}^{x} \ln \left (x^{2}+\frac {1}{8} x -2\right )-{\mathrm e}^{x} \ln \left (x^{2}-2\right )+\frac {i {\mathrm e}^{x} \pi \,\mathrm {csgn}\left (\frac {i}{x^{2}+\frac {1}{8} x -2}\right ) \mathrm {csgn}\left (i \left (x^{2}-2\right )\right ) \mathrm {csgn}\left (\frac {i \left (x^{2}-2\right )}{x^{2}+\frac {1}{8} x -2}\right )}{2}-\frac {i {\mathrm e}^{x} \pi \,\mathrm {csgn}\left (\frac {i}{x^{2}+\frac {1}{8} x -2}\right ) \mathrm {csgn}\left (\frac {i \left (x^{2}-2\right )}{x^{2}+\frac {1}{8} x -2}\right )^{2}}{2}-\frac {i {\mathrm e}^{x} \pi \,\mathrm {csgn}\left (i \left (x^{2}-2\right )\right ) \mathrm {csgn}\left (\frac {i \left (x^{2}-2\right )}{x^{2}+\frac {1}{8} x -2}\right )^{2}}{2}+\frac {i {\mathrm e}^{x} \pi \mathrm {csgn}\left (\frac {i \left (x^{2}-2\right )}{x^{2}+\frac {1}{8} x -2}\right )^{3}}{2}+{\mathrm e}^{x} x^{2}+2 \,{\mathrm e}^{x} \ln \relax (2)+{\mathrm e}^{x} \ln \relax (5)\)	\(193\)

Verification of antiderivative is not currently implemented for this CAS.

[In]

int(((-8*x^4-x^3+32*x^2+2*x-32)*exp(x)*ln((2*x^2-4)/(40*x^2+5*x-80))+(8*x^6+17*x^5-30*x^4-66*x^3+27*x^2+64*x-2
)*exp(x))/(8*x^4+x^3-32*x^2-2*x+32),x,method=_RETURNVERBOSE)

[Out]

exp(x)*ln(x^2+1/8*x-2)-exp(x)*ln(x^2-2)+1/2*I*exp(x)*Pi*csgn(I/(x^2+1/8*x-2))*csgn(I*(x^2-2))*csgn(I/(x^2+1/8*
x-2)*(x^2-2))-1/2*I*exp(x)*Pi*csgn(I/(x^2+1/8*x-2))*csgn(I/(x^2+1/8*x-2)*(x^2-2))^2-1/2*I*exp(x)*Pi*csgn(I*(x^
2-2))*csgn(I/(x^2+1/8*x-2)*(x^2-2))^2+1/2*I*exp(x)*Pi*csgn(I/(x^2+1/8*x-2)*(x^2-2))^3+exp(x)*x^2+2*exp(x)*ln(2
)+exp(x)*ln(5)

________________________________________________________________________________________

maxima [A]  time = 0.47, size = 36, normalized size = 1.29 \begin {gather*} {\left (x^{2} + \log \relax (5) - \log \relax (2)\right )} e^{x} + e^{x} \log \left (8 \, x^{2} + x - 16\right ) - e^{x} \log \left (x^{2} - 2\right ) \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(((-8*x^4-x^3+32*x^2+2*x-32)*exp(x)*log((2*x^2-4)/(40*x^2+5*x-80))+(8*x^6+17*x^5-30*x^4-66*x^3+27*x^2
+64*x-2)*exp(x))/(8*x^4+x^3-32*x^2-2*x+32),x, algorithm="maxima")

[Out]

(x^2 + log(5) - log(2))*e^x + e^x*log(8*x^2 + x - 16) - e^x*log(x^2 - 2)

________________________________________________________________________________________

mupad [B]  time = 0.27, size = 31, normalized size = 1.11 \begin {gather*} -{\mathrm {e}}^x\,\left (\ln \left (\frac {2\,x^2-4}{40\,x^2+5\,x-80}\right )-x^2\right ) \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

int((exp(x)*(64*x + 27*x^2 - 66*x^3 - 30*x^4 + 17*x^5 + 8*x^6 - 2) - log((2*x^2 - 4)/(5*x + 40*x^2 - 80))*exp(
x)*(x^3 - 32*x^2 - 2*x + 8*x^4 + 32))/(x^3 - 32*x^2 - 2*x + 8*x^4 + 32),x)

[Out]

-exp(x)*(log((2*x^2 - 4)/(5*x + 40*x^2 - 80)) - x^2)

________________________________________________________________________________________

sympy [A]  time = 0.78, size = 24, normalized size = 0.86 \begin {gather*} \left (x^{2} - \log {\left (\frac {2 x^{2} - 4}{40 x^{2} + 5 x - 80} \right )}\right ) e^{x} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(((-8*x**4-x**3+32*x**2+2*x-32)*exp(x)*ln((2*x**2-4)/(40*x**2+5*x-80))+(8*x**6+17*x**5-30*x**4-66*x**
3+27*x**2+64*x-2)*exp(x))/(8*x**4+x**3-32*x**2-2*x+32),x)

[Out]

(x**2 - log((2*x**2 - 4)/(40*x**2 + 5*x - 80)))*exp(x)

________________________________________________________________________________________