3.28.49 \(\int \frac {-4 x+8 e^{8-2 x} x+(-8+e^{8-2 x}+x) \log (64+e^{16-4 x}-16 x+x^2+e^{8-2 x} (-16+2 x))}{(-8+e^{8-2 x}+x) \log ^3(64+e^{16-4 x}-16 x+x^2+e^{8-2 x} (-16+2 x))} \, dx\)

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

________________________________________________________________________________________

Rubi [F]  time = 3.19, antiderivative size = 0, normalized size of antiderivative = 0.00, number of steps used = 0, number of rules used = 0, integrand size = 0, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.000, Rules used = {} \begin {gather*} \int \frac {-4 x+8 e^{8-2 x} x+\left (-8+e^{8-2 x}+x\right ) \log \left (64+e^{16-4 x}-16 x+x^2+e^{8-2 x} (-16+2 x)\right )}{\left (-8+e^{8-2 x}+x\right ) \log ^3\left (64+e^{16-4 x}-16 x+x^2+e^{8-2 x} (-16+2 x)\right )} \, dx \end {gather*}

Verification is not applicable to the result.

[In]

Int[(-4*x + 8*E^(8 - 2*x)*x + (-8 + E^(8 - 2*x) + x)*Log[64 + E^(16 - 4*x) - 16*x + x^2 + E^(8 - 2*x)*(-16 + 2
*x)])/((-8 + E^(8 - 2*x) + x)*Log[64 + E^(16 - 4*x) - 16*x + x^2 + E^(8 - 2*x)*(-16 + 2*x)]^3),x]

[Out]

-4*Defer[Int][Log[(E^8 + E^(2*x)*(-8 + x))^2/E^(4*x)]^(-3), x] - 32*Defer[Int][1/((-8 + x)*Log[(E^8 + E^(2*x)*
(-8 + x))^2/E^(4*x)]^3), x] + 4*E^8*Defer[Int][1/((E^8 - 8*E^(2*x) + E^(2*x)*x)*Log[(E^8 + E^(2*x)*(-8 + x))^2
/E^(4*x)]^3), x] + 32*E^8*Defer[Int][1/((-8 + x)*(E^8 - 8*E^(2*x) + E^(2*x)*x)*Log[(E^8 + E^(2*x)*(-8 + x))^2/
E^(4*x)]^3), x] + 8*E^8*Defer[Int][x/((E^8 - 8*E^(2*x) + E^(2*x)*x)*Log[(E^8 + E^(2*x)*(-8 + x))^2/E^(4*x)]^3)
, x] + Defer[Int][Log[(E^8 + E^(2*x)*(-8 + x))^2/E^(4*x)]^(-2), x]

Rubi steps

\begin {gather*} \begin {aligned} \text {integral} &=\int \frac {4 x-8 e^{8-2 x} x-\left (-8+e^{8-2 x}+x\right ) \log \left (64+e^{16-4 x}-16 x+x^2+e^{8-2 x} (-16+2 x)\right )}{\left (8-e^{8-2 x}-x\right ) \log ^3\left (e^{-4 x} \left (e^8-8 e^{2 x}+e^{2 x} x\right )^2\right )} \, dx\\ &=\int \left (\frac {4 e^8 x (-15+2 x)}{(-8+x) \left (e^8-8 e^{2 x}+e^{2 x} x\right ) \log ^3\left (e^{-4 x} \left (e^8+e^{2 x} (-8+x)\right )^2\right )}+\frac {-4 x-8 \log \left (e^{-4 x} \left (e^8+e^{2 x} (-8+x)\right )^2\right )+x \log \left (e^{-4 x} \left (e^8+e^{2 x} (-8+x)\right )^2\right )}{(-8+x) \log ^3\left (e^{-4 x} \left (e^8+e^{2 x} (-8+x)\right )^2\right )}\right ) \, dx\\ &=\left (4 e^8\right ) \int \frac {x (-15+2 x)}{(-8+x) \left (e^8-8 e^{2 x}+e^{2 x} x\right ) \log ^3\left (e^{-4 x} \left (e^8+e^{2 x} (-8+x)\right )^2\right )} \, dx+\int \frac {-4 x-8 \log \left (e^{-4 x} \left (e^8+e^{2 x} (-8+x)\right )^2\right )+x \log \left (e^{-4 x} \left (e^8+e^{2 x} (-8+x)\right )^2\right )}{(-8+x) \log ^3\left (e^{-4 x} \left (e^8+e^{2 x} (-8+x)\right )^2\right )} \, dx\\ &=\left (4 e^8\right ) \int \left (\frac {1}{\left (e^8-8 e^{2 x}+e^{2 x} x\right ) \log ^3\left (e^{-4 x} \left (e^8+e^{2 x} (-8+x)\right )^2\right )}+\frac {8}{(-8+x) \left (e^8-8 e^{2 x}+e^{2 x} x\right ) \log ^3\left (e^{-4 x} \left (e^8+e^{2 x} (-8+x)\right )^2\right )}+\frac {2 x}{\left (e^8-8 e^{2 x}+e^{2 x} x\right ) \log ^3\left (e^{-4 x} \left (e^8+e^{2 x} (-8+x)\right )^2\right )}\right ) \, dx+\int \frac {-\frac {4 x}{-8+x}+\log \left (e^{-4 x} \left (e^8+e^{2 x} (-8+x)\right )^2\right )}{\log ^3\left (e^{-4 x} \left (e^8+e^{2 x} (-8+x)\right )^2\right )} \, dx\\ &=\left (4 e^8\right ) \int \frac {1}{\left (e^8-8 e^{2 x}+e^{2 x} x\right ) \log ^3\left (e^{-4 x} \left (e^8+e^{2 x} (-8+x)\right )^2\right )} \, dx+\left (8 e^8\right ) \int \frac {x}{\left (e^8-8 e^{2 x}+e^{2 x} x\right ) \log ^3\left (e^{-4 x} \left (e^8+e^{2 x} (-8+x)\right )^2\right )} \, dx+\left (32 e^8\right ) \int \frac {1}{(-8+x) \left (e^8-8 e^{2 x}+e^{2 x} x\right ) \log ^3\left (e^{-4 x} \left (e^8+e^{2 x} (-8+x)\right )^2\right )} \, dx+\int \left (-\frac {4 x}{(-8+x) \log ^3\left (e^{-4 x} \left (e^8+e^{2 x} (-8+x)\right )^2\right )}+\frac {1}{\log ^2\left (e^{-4 x} \left (e^8+e^{2 x} (-8+x)\right )^2\right )}\right ) \, dx\\ &=-\left (4 \int \frac {x}{(-8+x) \log ^3\left (e^{-4 x} \left (e^8+e^{2 x} (-8+x)\right )^2\right )} \, dx\right )+\left (4 e^8\right ) \int \frac {1}{\left (e^8-8 e^{2 x}+e^{2 x} x\right ) \log ^3\left (e^{-4 x} \left (e^8+e^{2 x} (-8+x)\right )^2\right )} \, dx+\left (8 e^8\right ) \int \frac {x}{\left (e^8-8 e^{2 x}+e^{2 x} x\right ) \log ^3\left (e^{-4 x} \left (e^8+e^{2 x} (-8+x)\right )^2\right )} \, dx+\left (32 e^8\right ) \int \frac {1}{(-8+x) \left (e^8-8 e^{2 x}+e^{2 x} x\right ) \log ^3\left (e^{-4 x} \left (e^8+e^{2 x} (-8+x)\right )^2\right )} \, dx+\int \frac {1}{\log ^2\left (e^{-4 x} \left (e^8+e^{2 x} (-8+x)\right )^2\right )} \, dx\\ &=-\left (4 \int \left (\frac {1}{\log ^3\left (e^{-4 x} \left (e^8+e^{2 x} (-8+x)\right )^2\right )}+\frac {8}{(-8+x) \log ^3\left (e^{-4 x} \left (e^8+e^{2 x} (-8+x)\right )^2\right )}\right ) \, dx\right )+\left (4 e^8\right ) \int \frac {1}{\left (e^8-8 e^{2 x}+e^{2 x} x\right ) \log ^3\left (e^{-4 x} \left (e^8+e^{2 x} (-8+x)\right )^2\right )} \, dx+\left (8 e^8\right ) \int \frac {x}{\left (e^8-8 e^{2 x}+e^{2 x} x\right ) \log ^3\left (e^{-4 x} \left (e^8+e^{2 x} (-8+x)\right )^2\right )} \, dx+\left (32 e^8\right ) \int \frac {1}{(-8+x) \left (e^8-8 e^{2 x}+e^{2 x} x\right ) \log ^3\left (e^{-4 x} \left (e^8+e^{2 x} (-8+x)\right )^2\right )} \, dx+\int \frac {1}{\log ^2\left (e^{-4 x} \left (e^8+e^{2 x} (-8+x)\right )^2\right )} \, dx\\ &=-\left (4 \int \frac {1}{\log ^3\left (e^{-4 x} \left (e^8+e^{2 x} (-8+x)\right )^2\right )} \, dx\right )-32 \int \frac {1}{(-8+x) \log ^3\left (e^{-4 x} \left (e^8+e^{2 x} (-8+x)\right )^2\right )} \, dx+\left (4 e^8\right ) \int \frac {1}{\left (e^8-8 e^{2 x}+e^{2 x} x\right ) \log ^3\left (e^{-4 x} \left (e^8+e^{2 x} (-8+x)\right )^2\right )} \, dx+\left (8 e^8\right ) \int \frac {x}{\left (e^8-8 e^{2 x}+e^{2 x} x\right ) \log ^3\left (e^{-4 x} \left (e^8+e^{2 x} (-8+x)\right )^2\right )} \, dx+\left (32 e^8\right ) \int \frac {1}{(-8+x) \left (e^8-8 e^{2 x}+e^{2 x} x\right ) \log ^3\left (e^{-4 x} \left (e^8+e^{2 x} (-8+x)\right )^2\right )} \, dx+\int \frac {1}{\log ^2\left (e^{-4 x} \left (e^8+e^{2 x} (-8+x)\right )^2\right )} \, dx\\ \end {aligned} \end {gather*}

________________________________________________________________________________________

Mathematica [A]  time = 0.46, size = 26, normalized size = 1.30 \begin {gather*} \frac {x}{\log ^2\left (e^{-4 x} \left (e^8+e^{2 x} (-8+x)\right )^2\right )} \end {gather*}

Antiderivative was successfully verified.

[In]

Integrate[(-4*x + 8*E^(8 - 2*x)*x + (-8 + E^(8 - 2*x) + x)*Log[64 + E^(16 - 4*x) - 16*x + x^2 + E^(8 - 2*x)*(-
16 + 2*x)])/((-8 + E^(8 - 2*x) + x)*Log[64 + E^(16 - 4*x) - 16*x + x^2 + E^(8 - 2*x)*(-16 + 2*x)]^3),x]

[Out]

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

________________________________________________________________________________________

fricas [A]  time = 0.44, size = 30, normalized size = 1.50 \begin {gather*} \frac {x}{\log \left (x^{2} + 2 \, {\left (x - 8\right )} e^{\left (-2 \, x + 8\right )} - 16 \, x + e^{\left (-4 \, x + 16\right )} + 64\right )^{2}} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(((exp(-x+4)^2-8+x)*log(exp(-x+4)^4+(2*x-16)*exp(-x+4)^2+x^2-16*x+64)+8*x*exp(-x+4)^2-4*x)/(exp(-x+4)
^2-8+x)/log(exp(-x+4)^4+(2*x-16)*exp(-x+4)^2+x^2-16*x+64)^3,x, algorithm="fricas")

[Out]

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

________________________________________________________________________________________

giac [B]  time = 0.88, size = 99, normalized size = 4.95 \begin {gather*} \frac {x}{16 \, x^{2} - 8 \, x \log \left (x^{2} e^{\left (4 \, x\right )} - 16 \, x e^{\left (4 \, x\right )} + 2 \, x e^{\left (2 \, x + 8\right )} + e^{16} + 64 \, e^{\left (4 \, x\right )} - 16 \, e^{\left (2 \, x + 8\right )}\right ) + \log \left (x^{2} e^{\left (4 \, x\right )} - 16 \, x e^{\left (4 \, x\right )} + 2 \, x e^{\left (2 \, x + 8\right )} + e^{16} + 64 \, e^{\left (4 \, x\right )} - 16 \, e^{\left (2 \, x + 8\right )}\right )^{2}} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(((exp(-x+4)^2-8+x)*log(exp(-x+4)^4+(2*x-16)*exp(-x+4)^2+x^2-16*x+64)+8*x*exp(-x+4)^2-4*x)/(exp(-x+4)
^2-8+x)/log(exp(-x+4)^4+(2*x-16)*exp(-x+4)^2+x^2-16*x+64)^3,x, algorithm="giac")

[Out]

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

________________________________________________________________________________________

maple [C]  time = 0.10, size = 104, normalized size = 5.20

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

Verification of antiderivative is not currently implemented for this CAS.

[In]

int(((exp(-x+4)^2-8+x)*ln(exp(-x+4)^4+(2*x-16)*exp(-x+4)^2+x^2-16*x+64)+8*x*exp(-x+4)^2-4*x)/(exp(-x+4)^2-8+x)
/ln(exp(-x+4)^4+(2*x-16)*exp(-x+4)^2+x^2-16*x+64)^3,x,method=_RETURNVERBOSE)

[Out]

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

________________________________________________________________________________________

maxima [B]  time = 0.54, size = 40, normalized size = 2.00 \begin {gather*} \frac {x}{4 \, {\left (4 \, x^{2} - 4 \, x \log \left ({\left (x - 8\right )} e^{\left (2 \, x\right )} + e^{8}\right ) + \log \left ({\left (x - 8\right )} e^{\left (2 \, x\right )} + e^{8}\right )^{2}\right )}} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(((exp(-x+4)^2-8+x)*log(exp(-x+4)^4+(2*x-16)*exp(-x+4)^2+x^2-16*x+64)+8*x*exp(-x+4)^2-4*x)/(exp(-x+4)
^2-8+x)/log(exp(-x+4)^4+(2*x-16)*exp(-x+4)^2+x^2-16*x+64)^3,x, algorithm="maxima")

[Out]

1/4*x/(4*x^2 - 4*x*log((x - 8)*e^(2*x) + e^8) + log((x - 8)*e^(2*x) + e^8)^2)

________________________________________________________________________________________

mupad [B]  time = 0.38, size = 297, normalized size = 14.85 \begin {gather*} \frac {\frac {x}{8}-\frac {7}{8}}{2\,{\mathrm {e}}^{8-2\,x}-1}-\frac {\frac {x+{\mathrm {e}}^{8-2\,x}-8}{4\,\left (2\,{\mathrm {e}}^{8-2\,x}-1\right )}-\frac {\ln \left ({\mathrm {e}}^{-4\,x}\,{\mathrm {e}}^{16}-16\,x+x^2+{\mathrm {e}}^{-2\,x}\,{\mathrm {e}}^8\,\left (2\,x-16\right )+64\right )\,\left (x+{\mathrm {e}}^{8-2\,x}-8\right )\,\left (28\,{\mathrm {e}}^{8-2\,x}-4\,x\,{\mathrm {e}}^{8-2\,x}+1\right )}{8\,{\left (2\,{\mathrm {e}}^{8-2\,x}-1\right )}^3}}{\ln \left ({\mathrm {e}}^{-4\,x}\,{\mathrm {e}}^{16}-16\,x+x^2+{\mathrm {e}}^{-2\,x}\,{\mathrm {e}}^8\,\left (2\,x-16\right )+64\right )}+\frac {\frac {x^2}{4}-\frac {15\,x}{4}+\frac {225}{16}}{6\,{\mathrm {e}}^{8-2\,x}-12\,{\mathrm {e}}^{16-4\,x}+8\,{\mathrm {e}}^{24-6\,x}-1}+\frac {\frac {x^2}{4}-\frac {7\,x}{2}+\frac {195}{16}}{4\,{\mathrm {e}}^{16-4\,x}-4\,{\mathrm {e}}^{8-2\,x}+1}+\frac {x+\frac {\ln \left ({\mathrm {e}}^{-4\,x}\,{\mathrm {e}}^{16}-16\,x+x^2+{\mathrm {e}}^{-2\,x}\,{\mathrm {e}}^8\,\left (2\,x-16\right )+64\right )\,\left (x+{\mathrm {e}}^{8-2\,x}-8\right )}{4\,\left (2\,{\mathrm {e}}^{8-2\,x}-1\right )}}{{\ln \left ({\mathrm {e}}^{-4\,x}\,{\mathrm {e}}^{16}-16\,x+x^2+{\mathrm {e}}^{-2\,x}\,{\mathrm {e}}^8\,\left (2\,x-16\right )+64\right )}^2} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

int((log(exp(16 - 4*x) - 16*x + exp(8 - 2*x)*(2*x - 16) + x^2 + 64)*(x + exp(8 - 2*x) - 8) - 4*x + 8*x*exp(8 -
2*x))/(log(exp(16 - 4*x) - 16*x + exp(8 - 2*x)*(2*x - 16) + x^2 + 64)^3*(x + exp(8 - 2*x) - 8)),x)

[Out]

(x/8 - 7/8)/(2*exp(8 - 2*x) - 1) - ((x + exp(8 - 2*x) - 8)/(4*(2*exp(8 - 2*x) - 1)) - (log(exp(-4*x)*exp(16) -
16*x + x^2 + exp(-2*x)*exp(8)*(2*x - 16) + 64)*(x + exp(8 - 2*x) - 8)*(28*exp(8 - 2*x) - 4*x*exp(8 - 2*x) + 1
))/(8*(2*exp(8 - 2*x) - 1)^3))/log(exp(-4*x)*exp(16) - 16*x + x^2 + exp(-2*x)*exp(8)*(2*x - 16) + 64) + (x^2/4
- (15*x)/4 + 225/16)/(6*exp(8 - 2*x) - 12*exp(16 - 4*x) + 8*exp(24 - 6*x) - 1) + (x^2/4 - (7*x)/2 + 195/16)/(
4*exp(16 - 4*x) - 4*exp(8 - 2*x) + 1) + (x + (log(exp(-4*x)*exp(16) - 16*x + x^2 + exp(-2*x)*exp(8)*(2*x - 16)
+ 64)*(x + exp(8 - 2*x) - 8))/(4*(2*exp(8 - 2*x) - 1)))/log(exp(-4*x)*exp(16) - 16*x + x^2 + exp(-2*x)*exp(8)
*(2*x - 16) + 64)^2

________________________________________________________________________________________

sympy [A]  time = 0.23, size = 31, normalized size = 1.55 \begin {gather*} \frac {x}{\log {\left (x^{2} - 16 x + \left (2 x - 16\right ) e^{8 - 2 x} + e^{16 - 4 x} + 64 \right )}^{2}} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(((exp(-x+4)**2-8+x)*ln(exp(-x+4)**4+(2*x-16)*exp(-x+4)**2+x**2-16*x+64)+8*x*exp(-x+4)**2-4*x)/(exp(-
x+4)**2-8+x)/ln(exp(-x+4)**4+(2*x-16)*exp(-x+4)**2+x**2-16*x+64)**3,x)

[Out]

x/log(x**2 - 16*x + (2*x - 16)*exp(8 - 2*x) + exp(16 - 4*x) + 64)**2

________________________________________________________________________________________