\(\int \frac {e^{\frac {-8+x-2 \log (x)+10 x \log (4-2 x-\log (5))}{2 x \log (4-2 x-\log (5))}} (8 x-x^2+(-12+6 x+3 \log (5)) \log (4-2 x-\log (5))+\log (x) (2 x+(-4+2 x+\log (5)) \log (4-2 x-\log (5))))}{(-4 x^2+2 x^3+x^2 \log (5)) \log ^2(4-2 x-\log (5))} \, dx\) [634]

Optimal result
Mathematica [A] (verified)
Rubi [F]
Maple [A] (verified)
Fricas [A] (verification not implemented)
Sympy [F(-2)]
Maxima [F(-2)]
Giac [A] (verification not implemented)
Mupad [B] (verification not implemented)
Reduce [B] (verification not implemented)

Optimal result

Integrand size = 127, antiderivative size = 34 \[ \int \frac {e^{\frac {-8+x-2 \log (x)+10 x \log (4-2 x-\log (5))}{2 x \log (4-2 x-\log (5))}} \left (8 x-x^2+(-12+6 x+3 \log (5)) \log (4-2 x-\log (5))+\log (x) (2 x+(-4+2 x+\log (5)) \log (4-2 x-\log (5)))\right )}{\left (-4 x^2+2 x^3+x^2 \log (5)\right ) \log ^2(4-2 x-\log (5))} \, dx=e^{4+\frac {x+\frac {-4+\frac {x}{2}-\log (x)}{\log (4-2 x-\log (5))}}{x}} \] Output:

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

Mathematica [A] (verified)

Time = 0.07 (sec) , antiderivative size = 30, normalized size of antiderivative = 0.88 \[ \int \frac {e^{\frac {-8+x-2 \log (x)+10 x \log (4-2 x-\log (5))}{2 x \log (4-2 x-\log (5))}} \left (8 x-x^2+(-12+6 x+3 \log (5)) \log (4-2 x-\log (5))+\log (x) (2 x+(-4+2 x+\log (5)) \log (4-2 x-\log (5)))\right )}{\left (-4 x^2+2 x^3+x^2 \log (5)\right ) \log ^2(4-2 x-\log (5))} \, dx=e^{5+\frac {-8+x-2 \log (x)}{2 x \log (4-2 x-\log (5))}} \] Input:

Integrate[(E^((-8 + x - 2*Log[x] + 10*x*Log[4 - 2*x - Log[5]])/(2*x*Log[4 
- 2*x - Log[5]]))*(8*x - x^2 + (-12 + 6*x + 3*Log[5])*Log[4 - 2*x - Log[5] 
] + Log[x]*(2*x + (-4 + 2*x + Log[5])*Log[4 - 2*x - Log[5]])))/((-4*x^2 + 
2*x^3 + x^2*Log[5])*Log[4 - 2*x - Log[5]]^2),x]
 

Output:

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

Rubi [F]

Below are the steps used by Rubi to obtain the solution. The rule number used for the transformation is given above next to the arrow. The rules definitions used are listed below.

\(\displaystyle \int \frac {\left (-x^2+8 x+(6 x-12+3 \log (5)) \log (-2 x+4-\log (5))+\log (x) (2 x+(2 x-4+\log (5)) \log (-2 x+4-\log (5)))\right ) \exp \left (\frac {x+10 x \log (-2 x+4-\log (5))-2 \log (x)-8}{2 x \log (-2 x+4-\log (5))}\right )}{\left (2 x^3-4 x^2+x^2 \log (5)\right ) \log ^2(-2 x+4-\log (5))} \, dx\)

\(\Big \downarrow \) 6

\(\displaystyle \int \frac {\left (-x^2+8 x+(6 x-12+3 \log (5)) \log (-2 x+4-\log (5))+\log (x) (2 x+(2 x-4+\log (5)) \log (-2 x+4-\log (5)))\right ) \exp \left (\frac {x+10 x \log (-2 x+4-\log (5))-2 \log (x)-8}{2 x \log (-2 x+4-\log (5))}\right )}{\left (2 x^3+x^2 (\log (5)-4)\right ) \log ^2(-2 x+4-\log (5))}dx\)

\(\Big \downarrow \) 2026

\(\displaystyle \int \frac {\left (-x^2+8 x+(6 x-12+3 \log (5)) \log (-2 x+4-\log (5))+\log (x) (2 x+(2 x-4+\log (5)) \log (-2 x+4-\log (5)))\right ) \exp \left (\frac {x+10 x \log (-2 x+4-\log (5))-2 \log (x)-8}{2 x \log (-2 x+4-\log (5))}\right )}{x^2 (2 x-4+\log (5)) \log ^2(-2 x+4-\log (5))}dx\)

\(\Big \downarrow \) 7293

\(\displaystyle \int \left (\frac {(\log (x)+3) \exp \left (\frac {x+10 x \log (-2 x+4-\log (5))-2 \log (x)-8}{2 x \log (-2 x+4-\log (5))}\right )}{x^2 \log (-2 x+4-\log (5))}+\frac {(-x+2 \log (x)+8) \exp \left (\frac {x+10 x \log (-2 x+4-\log (5))-2 \log (x)-8}{2 x \log (-2 x+4-\log (5))}\right )}{x (2 x-4+\log (5)) \log ^2(-2 x+4-\log (5))}\right )dx\)

\(\Big \downarrow \) 2009

\(\displaystyle 3 \int \frac {\exp \left (\frac {10 \log (-2 x-\log (5)+4) x+x-2 \log (x)-8}{2 x \log (-2 x-\log (5)+4)}\right )}{x^2 \log (-2 x-\log (5)+4)}dx+\int \frac {\exp \left (\frac {10 \log (-2 x-\log (5)+4) x+x-2 \log (x)-8}{2 x \log (-2 x-\log (5)+4)}\right ) \log (x)}{x^2 \log (-2 x-\log (5)+4)}dx-\frac {8 \int \frac {\exp \left (\frac {10 \log (-2 x-\log (5)+4) x+x-2 \log (x)-8}{2 x \log (-2 x-\log (5)+4)}\right )}{x \log ^2(-2 x-\log (5)+4)}dx}{4-\log (5)}+\frac {16 \int \frac {\exp \left (\frac {10 \log (-2 x-\log (5)+4) x+x-2 \log (x)-8}{2 x \log (-2 x-\log (5)+4)}\right )}{(2 x+\log (5)-4) \log ^2(-2 x-\log (5)+4)}dx}{4-\log (5)}-\int \frac {\exp \left (\frac {10 \log (-2 x-\log (5)+4) x+x-2 \log (x)-8}{2 x \log (-2 x-\log (5)+4)}\right )}{(2 x+\log (5)-4) \log ^2(-2 x-\log (5)+4)}dx-\frac {2 \int \frac {\exp \left (\frac {10 \log (-2 x-\log (5)+4) x+x-2 \log (x)-8}{2 x \log (-2 x-\log (5)+4)}\right ) \log (x)}{x \log ^2(-2 x-\log (5)+4)}dx}{4-\log (5)}+\frac {4 \int \frac {\exp \left (\frac {10 \log (-2 x-\log (5)+4) x+x-2 \log (x)-8}{2 x \log (-2 x-\log (5)+4)}\right ) \log (x)}{(2 x+\log (5)-4) \log ^2(-2 x-\log (5)+4)}dx}{4-\log (5)}\)

Input:

Int[(E^((-8 + x - 2*Log[x] + 10*x*Log[4 - 2*x - Log[5]])/(2*x*Log[4 - 2*x 
- Log[5]]))*(8*x - x^2 + (-12 + 6*x + 3*Log[5])*Log[4 - 2*x - Log[5]] + Lo 
g[x]*(2*x + (-4 + 2*x + Log[5])*Log[4 - 2*x - Log[5]])))/((-4*x^2 + 2*x^3 
+ x^2*Log[5])*Log[4 - 2*x - Log[5]]^2),x]
 

Output:

$Aborted
 
Maple [A] (verified)

Time = 41.32 (sec) , antiderivative size = 41, normalized size of antiderivative = 1.21

method result size
risch \({\mathrm e}^{-\frac {-10 x \ln \left (-\ln \left (5\right )+4-2 x \right )+2 \ln \left (x \right )-x +8}{2 x \ln \left (-\ln \left (5\right )+4-2 x \right )}}\) \(41\)
parallelrisch \({\mathrm e}^{-\frac {-10 x \ln \left (-\ln \left (5\right )+4-2 x \right )+2 \ln \left (x \right )-x +8}{2 x \ln \left (-\ln \left (5\right )+4-2 x \right )}}\) \(41\)

Input:

int((((ln(5)+2*x-4)*ln(-ln(5)+4-2*x)+2*x)*ln(x)+(3*ln(5)+6*x-12)*ln(-ln(5) 
+4-2*x)-x^2+8*x)*exp(1/2*(-2*ln(x)+10*x*ln(-ln(5)+4-2*x)-8+x)/x/ln(-ln(5)+ 
4-2*x))/(x^2*ln(5)+2*x^3-4*x^2)/ln(-ln(5)+4-2*x)^2,x,method=_RETURNVERBOSE 
)
 

Output:

exp(-1/2*(-10*x*ln(-ln(5)+4-2*x)+2*ln(x)-x+8)/x/ln(-ln(5)+4-2*x))
 

Fricas [A] (verification not implemented)

Time = 0.08 (sec) , antiderivative size = 38, normalized size of antiderivative = 1.12 \[ \int \frac {e^{\frac {-8+x-2 \log (x)+10 x \log (4-2 x-\log (5))}{2 x \log (4-2 x-\log (5))}} \left (8 x-x^2+(-12+6 x+3 \log (5)) \log (4-2 x-\log (5))+\log (x) (2 x+(-4+2 x+\log (5)) \log (4-2 x-\log (5)))\right )}{\left (-4 x^2+2 x^3+x^2 \log (5)\right ) \log ^2(4-2 x-\log (5))} \, dx=e^{\left (\frac {10 \, x \log \left (-2 \, x - \log \left (5\right ) + 4\right ) + x - 2 \, \log \left (x\right ) - 8}{2 \, x \log \left (-2 \, x - \log \left (5\right ) + 4\right )}\right )} \] Input:

integrate((((log(5)+2*x-4)*log(-log(5)+4-2*x)+2*x)*log(x)+(3*log(5)+6*x-12 
)*log(-log(5)+4-2*x)-x^2+8*x)*exp(1/2*(-2*log(x)+10*x*log(-log(5)+4-2*x)-8 
+x)/x/log(-log(5)+4-2*x))/(x^2*log(5)+2*x^3-4*x^2)/log(-log(5)+4-2*x)^2,x, 
 algorithm="fricas")
 

Output:

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

Sympy [F(-2)]

Exception generated. \[ \int \frac {e^{\frac {-8+x-2 \log (x)+10 x \log (4-2 x-\log (5))}{2 x \log (4-2 x-\log (5))}} \left (8 x-x^2+(-12+6 x+3 \log (5)) \log (4-2 x-\log (5))+\log (x) (2 x+(-4+2 x+\log (5)) \log (4-2 x-\log (5)))\right )}{\left (-4 x^2+2 x^3+x^2 \log (5)\right ) \log ^2(4-2 x-\log (5))} \, dx=\text {Exception raised: TypeError} \] Input:

integrate((((ln(5)+2*x-4)*ln(-ln(5)+4-2*x)+2*x)*ln(x)+(3*ln(5)+6*x-12)*ln( 
-ln(5)+4-2*x)-x**2+8*x)*exp(1/2*(-2*ln(x)+10*x*ln(-ln(5)+4-2*x)-8+x)/x/ln( 
-ln(5)+4-2*x))/(x**2*ln(5)+2*x**3-4*x**2)/ln(-ln(5)+4-2*x)**2,x)
 

Output:

Exception raised: TypeError >> '>' not supported between instances of 'Pol 
y' and 'int'
 

Maxima [F(-2)]

Exception generated. \[ \int \frac {e^{\frac {-8+x-2 \log (x)+10 x \log (4-2 x-\log (5))}{2 x \log (4-2 x-\log (5))}} \left (8 x-x^2+(-12+6 x+3 \log (5)) \log (4-2 x-\log (5))+\log (x) (2 x+(-4+2 x+\log (5)) \log (4-2 x-\log (5)))\right )}{\left (-4 x^2+2 x^3+x^2 \log (5)\right ) \log ^2(4-2 x-\log (5))} \, dx=\text {Exception raised: RuntimeError} \] Input:

integrate((((log(5)+2*x-4)*log(-log(5)+4-2*x)+2*x)*log(x)+(3*log(5)+6*x-12 
)*log(-log(5)+4-2*x)-x^2+8*x)*exp(1/2*(-2*log(x)+10*x*log(-log(5)+4-2*x)-8 
+x)/x/log(-log(5)+4-2*x))/(x^2*log(5)+2*x^3-4*x^2)/log(-log(5)+4-2*x)^2,x, 
 algorithm="maxima")
 

Output:

Exception raised: RuntimeError >> ECL says: In function CAR, the value of 
the first argument is  0which is not of the expected type LIST
 

Giac [A] (verification not implemented)

Time = 0.30 (sec) , antiderivative size = 53, normalized size of antiderivative = 1.56 \[ \int \frac {e^{\frac {-8+x-2 \log (x)+10 x \log (4-2 x-\log (5))}{2 x \log (4-2 x-\log (5))}} \left (8 x-x^2+(-12+6 x+3 \log (5)) \log (4-2 x-\log (5))+\log (x) (2 x+(-4+2 x+\log (5)) \log (4-2 x-\log (5)))\right )}{\left (-4 x^2+2 x^3+x^2 \log (5)\right ) \log ^2(4-2 x-\log (5))} \, dx=e^{\left (-\frac {\log \left (x\right )}{x \log \left (-2 \, x - \log \left (5\right ) + 4\right )} + \frac {1}{2 \, \log \left (-2 \, x - \log \left (5\right ) + 4\right )} - \frac {4}{x \log \left (-2 \, x - \log \left (5\right ) + 4\right )} + 5\right )} \] Input:

integrate((((log(5)+2*x-4)*log(-log(5)+4-2*x)+2*x)*log(x)+(3*log(5)+6*x-12 
)*log(-log(5)+4-2*x)-x^2+8*x)*exp(1/2*(-2*log(x)+10*x*log(-log(5)+4-2*x)-8 
+x)/x/log(-log(5)+4-2*x))/(x^2*log(5)+2*x^3-4*x^2)/log(-log(5)+4-2*x)^2,x, 
 algorithm="giac")
 

Output:

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

Mupad [B] (verification not implemented)

Time = 3.30 (sec) , antiderivative size = 56, normalized size of antiderivative = 1.65 \[ \int \frac {e^{\frac {-8+x-2 \log (x)+10 x \log (4-2 x-\log (5))}{2 x \log (4-2 x-\log (5))}} \left (8 x-x^2+(-12+6 x+3 \log (5)) \log (4-2 x-\log (5))+\log (x) (2 x+(-4+2 x+\log (5)) \log (4-2 x-\log (5)))\right )}{\left (-4 x^2+2 x^3+x^2 \log (5)\right ) \log ^2(4-2 x-\log (5))} \, dx=\frac {{\mathrm {e}}^5\,{\mathrm {e}}^{-\frac {4}{x\,\ln \left (4-\ln \left (5\right )-2\,x\right )}}\,{\mathrm {e}}^{\frac {1}{2\,\ln \left (4-\ln \left (5\right )-2\,x\right )}}}{x^{\frac {1}{x\,\ln \left (4-\ln \left (5\right )-2\,x\right )}}} \] Input:

int((exp((x/2 - log(x) + 5*x*log(4 - log(5) - 2*x) - 4)/(x*log(4 - log(5) 
- 2*x)))*(8*x + log(4 - log(5) - 2*x)*(6*x + 3*log(5) - 12) - x^2 + log(x) 
*(2*x + log(4 - log(5) - 2*x)*(2*x + log(5) - 4))))/(log(4 - log(5) - 2*x) 
^2*(x^2*log(5) - 4*x^2 + 2*x^3)),x)
 

Output:

(exp(5)*exp(-4/(x*log(4 - log(5) - 2*x)))*exp(1/(2*log(4 - log(5) - 2*x))) 
)/x^(1/(x*log(4 - log(5) - 2*x)))
 

Reduce [B] (verification not implemented)

Time = 0.17 (sec) , antiderivative size = 44, normalized size of antiderivative = 1.29 \[ \int \frac {e^{\frac {-8+x-2 \log (x)+10 x \log (4-2 x-\log (5))}{2 x \log (4-2 x-\log (5))}} \left (8 x-x^2+(-12+6 x+3 \log (5)) \log (4-2 x-\log (5))+\log (x) (2 x+(-4+2 x+\log (5)) \log (4-2 x-\log (5)))\right )}{\left (-4 x^2+2 x^3+x^2 \log (5)\right ) \log ^2(4-2 x-\log (5))} \, dx=\frac {e^{\frac {1}{2 \,\mathrm {log}\left (-\mathrm {log}\left (5\right )-2 x +4\right )}} e^{5}}{e^{\frac {\mathrm {log}\left (x \right )+4}{\mathrm {log}\left (-\mathrm {log}\left (5\right )-2 x +4\right ) x}}} \] Input:

int((((log(5)+2*x-4)*log(-log(5)+4-2*x)+2*x)*log(x)+(3*log(5)+6*x-12)*log( 
-log(5)+4-2*x)-x^2+8*x)*exp(1/2*(-2*log(x)+10*x*log(-log(5)+4-2*x)-8+x)/x/ 
log(-log(5)+4-2*x))/(x^2*log(5)+2*x^3-4*x^2)/log(-log(5)+4-2*x)^2,x)
 

Output:

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