\(\int \frac {4 e^x+(e^x (-4 x+x^2)+4 e^x x^2 (i \pi +\log (\log (4)))+e^x x^2 \log ^2(\log (4)) (i \pi +\log (\log (4)))) \log (\frac {-4+x+4 x (i \pi +\log (\log (4)))+x \log ^2(\log (4)) (i \pi +\log (\log (4)))}{x (i \pi +\log (\log (4)))})}{-4 x+x^2+4 x^2 (i \pi +\log (\log (4)))+x^2 \log ^2(\log (4)) (i \pi +\log (\log (4)))} \, dx\) [2450]

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

Optimal result

Integrand size = 146, antiderivative size = 30 \[ \int \frac {4 e^x+\left (e^x \left (-4 x+x^2\right )+4 e^x x^2 (i \pi +\log (\log (4)))+e^x x^2 \log ^2(\log (4)) (i \pi +\log (\log (4)))\right ) \log \left (\frac {-4+x+4 x (i \pi +\log (\log (4)))+x \log ^2(\log (4)) (i \pi +\log (\log (4)))}{x (i \pi +\log (\log (4)))}\right )}{-4 x+x^2+4 x^2 (i \pi +\log (\log (4)))+x^2 \log ^2(\log (4)) (i \pi +\log (\log (4)))} \, dx=e^x \log \left (4+\log ^2(\log (4))+\frac {-4+x}{x (i \pi +\log (\log (4)))}\right ) \] Output:

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

Mathematica [A] (verified)

Time = 0.07 (sec) , antiderivative size = 39, normalized size of antiderivative = 1.30 \[ \int \frac {4 e^x+\left (e^x \left (-4 x+x^2\right )+4 e^x x^2 (i \pi +\log (\log (4)))+e^x x^2 \log ^2(\log (4)) (i \pi +\log (\log (4)))\right ) \log \left (\frac {-4+x+4 x (i \pi +\log (\log (4)))+x \log ^2(\log (4)) (i \pi +\log (\log (4)))}{x (i \pi +\log (\log (4)))}\right )}{-4 x+x^2+4 x^2 (i \pi +\log (\log (4)))+x^2 \log ^2(\log (4)) (i \pi +\log (\log (4)))} \, dx=e^x \log \left (4+\log ^2(\log (4))+\frac {1}{i \pi +\log (\log (4))}-\frac {4}{x (i \pi +\log (\log (4)))}\right ) \] Input:

Integrate[(4*E^x + (E^x*(-4*x + x^2) + 4*E^x*x^2*(I*Pi + Log[Log[4]]) + E^ 
x*x^2*Log[Log[4]]^2*(I*Pi + Log[Log[4]]))*Log[(-4 + x + 4*x*(I*Pi + Log[Lo 
g[4]]) + x*Log[Log[4]]^2*(I*Pi + Log[Log[4]]))/(x*(I*Pi + Log[Log[4]]))])/ 
(-4*x + x^2 + 4*x^2*(I*Pi + Log[Log[4]]) + x^2*Log[Log[4]]^2*(I*Pi + Log[L 
og[4]])),x]
 

Output:

E^x*Log[4 + Log[Log[4]]^2 + (I*Pi + Log[Log[4]])^(-1) - 4/(x*(I*Pi + Log[L 
og[4]]))]
 

Rubi [A] (verified)

Time = 1.40 (sec) , antiderivative size = 39, normalized size of antiderivative = 1.30, number of steps used = 5, number of rules used = 5, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.034, Rules used = {6, 6, 2026, 7239, 2726}

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 {4 e^x+\left (e^x \left (x^2-4 x\right )+e^x x^2 \log ^2(\log (4)) (\log (\log (4))+i \pi )+4 e^x x^2 (\log (\log (4))+i \pi )\right ) \log \left (\frac {x+x \log ^2(\log (4)) (\log (\log (4))+i \pi )+4 x (\log (\log (4))+i \pi )-4}{x (\log (\log (4))+i \pi )}\right )}{x^2+x^2 \log ^2(\log (4)) (\log (\log (4))+i \pi )+4 x^2 (\log (\log (4))+i \pi )-4 x} \, dx\)

\(\Big \downarrow \) 6

\(\displaystyle \int \frac {4 e^x+\left (e^x \left (x^2-4 x\right )+e^x x^2 \log ^2(\log (4)) (\log (\log (4))+i \pi )+4 e^x x^2 (\log (\log (4))+i \pi )\right ) \log \left (\frac {x+x \log ^2(\log (4)) (\log (\log (4))+i \pi )+4 x (\log (\log (4))+i \pi )-4}{x (\log (\log (4))+i \pi )}\right )}{x^2 \log ^2(\log (4)) (\log (\log (4))+i \pi )+x^2 (1+4 (\log (\log (4))+i \pi ))-4 x}dx\)

\(\Big \downarrow \) 6

\(\displaystyle \int \frac {4 e^x+\left (e^x \left (x^2-4 x\right )+e^x x^2 \log ^2(\log (4)) (\log (\log (4))+i \pi )+4 e^x x^2 (\log (\log (4))+i \pi )\right ) \log \left (\frac {x+x \log ^2(\log (4)) (\log (\log (4))+i \pi )+4 x (\log (\log (4))+i \pi )-4}{x (\log (\log (4))+i \pi )}\right )}{-4 x+x^2 \left (1+\log ^2(\log (4)) (\log (\log (4))+i \pi )+4 (\log (\log (4))+i \pi )\right )}dx\)

\(\Big \downarrow \) 2026

\(\displaystyle \int \frac {4 e^x+\left (e^x \left (x^2-4 x\right )+e^x x^2 \log ^2(\log (4)) (\log (\log (4))+i \pi )+4 e^x x^2 (\log (\log (4))+i \pi )\right ) \log \left (\frac {x+x \log ^2(\log (4)) (\log (\log (4))+i \pi )+4 x (\log (\log (4))+i \pi )-4}{x (\log (\log (4))+i \pi )}\right )}{x \left (-4+x \left (1+\log ^3(\log (4))+i \pi \left (4+\log ^2(\log (4))\right )+4 \log (\log (4))\right )\right )}dx\)

\(\Big \downarrow \) 7239

\(\displaystyle \int e^x \left (\log \left (-\frac {4}{x (\log (\log (4))+i \pi )}+4+\log ^2(\log (4))+\frac {1}{\log (\log (4))+i \pi }\right )+\frac {4}{x \left (-4+x \left (1+\log ^3(\log (4))+i \pi \left (4+\log ^2(\log (4))\right )+4 \log (\log (4))\right )\right )}\right )dx\)

\(\Big \downarrow \) 2726

\(\displaystyle e^x \log \left (-\frac {4}{x (\log (\log (4))+i \pi )}+4+\log ^2(\log (4))+\frac {1}{\log (\log (4))+i \pi }\right )\)

Input:

Int[(4*E^x + (E^x*(-4*x + x^2) + 4*E^x*x^2*(I*Pi + Log[Log[4]]) + E^x*x^2* 
Log[Log[4]]^2*(I*Pi + Log[Log[4]]))*Log[(-4 + x + 4*x*(I*Pi + Log[Log[4]]) 
 + x*Log[Log[4]]^2*(I*Pi + Log[Log[4]]))/(x*(I*Pi + Log[Log[4]]))])/(-4*x 
+ x^2 + 4*x^2*(I*Pi + Log[Log[4]]) + x^2*Log[Log[4]]^2*(I*Pi + Log[Log[4]] 
)),x]
 

Output:

E^x*Log[4 + Log[Log[4]]^2 + (I*Pi + Log[Log[4]])^(-1) - 4/(x*(I*Pi + Log[L 
og[4]]))]
 

Defintions of rubi rules used

rule 6
Int[(u_.)*((v_.) + (a_.)*(Fx_) + (b_.)*(Fx_))^(p_.), x_Symbol] :> Int[u*(v 
+ (a + b)*Fx)^p, x] /; FreeQ[{a, b}, x] &&  !FreeQ[Fx, x]
 

rule 2026
Int[(Fx_.)*(Px_)^(p_.), x_Symbol] :> With[{r = Expon[Px, x, Min]}, Int[x^(p 
*r)*ExpandToSum[Px/x^r, x]^p*Fx, x] /; IGtQ[r, 0]] /; PolyQ[Px, x] && Integ 
erQ[p] &&  !MonomialQ[Px, x] && (ILtQ[p, 0] ||  !PolyQ[u, x])
 

rule 2726
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 7239
Int[u_, x_Symbol] :> With[{v = SimplifyIntegrand[u, x]}, Int[v, x] /; Simpl 
erIntegrandQ[v, u, x]]
 
Maple [A] (verified)

Time = 43.13 (sec) , antiderivative size = 41, normalized size of antiderivative = 1.37

method result size
default \({\mathrm e}^{x} \ln \left (\frac {x \ln \left (-2 \ln \left (2\right )\right ) \ln \left (2 \ln \left (2\right )\right )^{2}+4 x \ln \left (-2 \ln \left (2\right )\right )+x -4}{x \ln \left (-2 \ln \left (2\right )\right )}\right )\) \(41\)
norman \({\mathrm e}^{x} \ln \left (\frac {x \ln \left (-2 \ln \left (2\right )\right ) \ln \left (2 \ln \left (2\right )\right )^{2}+4 x \ln \left (-2 \ln \left (2\right )\right )+x -4}{x \ln \left (-2 \ln \left (2\right )\right )}\right )\) \(41\)
parallelrisch \({\mathrm e}^{x} \ln \left (\frac {x \ln \left (-2 \ln \left (2\right )\right ) \ln \left (2 \ln \left (2\right )\right )^{2}+4 x \ln \left (-2 \ln \left (2\right )\right )+x -4}{x \ln \left (-2 \ln \left (2\right )\right )}\right )\) \(41\)
risch \({\mathrm e}^{x} \ln \left (\left (x \left (\ln \left (2\right )+\ln \left (\ln \left (2\right )\right )\right )^{2}+4 x \right ) \left (\ln \left (2\right )+\ln \left (\ln \left (2\right )\right )+i \pi \right )+x -4\right )-{\mathrm e}^{x} \ln \left (x \right )-\frac {i \pi \,\operatorname {csgn}\left (\frac {i}{x}\right ) \operatorname {csgn}\left (i \left (\left (x \ln \left (2 \ln \left (2\right )\right )^{2}+4 x \right ) \ln \left (-2 \ln \left (2\right )\right )+x -4\right )\right ) \operatorname {csgn}\left (\frac {i \left (\left (x \ln \left (2 \ln \left (2\right )\right )^{2}+4 x \right ) \ln \left (-2 \ln \left (2\right )\right )+x -4\right )}{x}\right ) {\mathrm e}^{x}}{2}+\frac {i \pi \,\operatorname {csgn}\left (\frac {i}{x}\right ) {\operatorname {csgn}\left (\frac {i \left (\left (x \ln \left (2 \ln \left (2\right )\right )^{2}+4 x \right ) \ln \left (-2 \ln \left (2\right )\right )+x -4\right )}{x}\right )}^{2} {\mathrm e}^{x}}{2}+\frac {i \pi \,\operatorname {csgn}\left (i \left (\left (x \ln \left (2 \ln \left (2\right )\right )^{2}+4 x \right ) \ln \left (-2 \ln \left (2\right )\right )+x -4\right )\right ) {\operatorname {csgn}\left (\frac {i \left (\left (x \ln \left (2 \ln \left (2\right )\right )^{2}+4 x \right ) \ln \left (-2 \ln \left (2\right )\right )+x -4\right )}{x}\right )}^{2} {\mathrm e}^{x}}{2}-\frac {i \pi \,\operatorname {csgn}\left (\frac {i \left (\left (x \ln \left (2 \ln \left (2\right )\right )^{2}+4 x \right ) \ln \left (-2 \ln \left (2\right )\right )+x -4\right )}{x}\right ) \operatorname {csgn}\left (\frac {i \left (\left (x \ln \left (2 \ln \left (2\right )\right )^{2}+4 x \right ) \ln \left (-2 \ln \left (2\right )\right )+x -4\right )}{\ln \left (-2 \ln \left (2\right )\right ) x}\right ) {\mathrm e}^{x}}{2}+\frac {i \pi {\operatorname {csgn}\left (\frac {i \left (\left (x \ln \left (2 \ln \left (2\right )\right )^{2}+4 x \right ) \ln \left (-2 \ln \left (2\right )\right )+x -4\right )}{\ln \left (-2 \ln \left (2\right )\right ) x}\right )}^{2} {\mathrm e}^{x}}{2}-\frac {i \pi {\operatorname {csgn}\left (\frac {i \left (\left (x \ln \left (2 \ln \left (2\right )\right )^{2}+4 x \right ) \ln \left (-2 \ln \left (2\right )\right )+x -4\right )}{x}\right )}^{3} {\mathrm e}^{x}}{2}+\frac {i \pi \,\operatorname {csgn}\left (\frac {i \left (\left (x \ln \left (2 \ln \left (2\right )\right )^{2}+4 x \right ) \ln \left (-2 \ln \left (2\right )\right )+x -4\right )}{x}\right ) {\operatorname {csgn}\left (\frac {i \left (\left (x \ln \left (2 \ln \left (2\right )\right )^{2}+4 x \right ) \ln \left (-2 \ln \left (2\right )\right )+x -4\right )}{\ln \left (-2 \ln \left (2\right )\right ) x}\right )}^{2} {\mathrm e}^{x}}{2}-\frac {i \pi {\operatorname {csgn}\left (\frac {i \left (\left (x \ln \left (2 \ln \left (2\right )\right )^{2}+4 x \right ) \ln \left (-2 \ln \left (2\right )\right )+x -4\right )}{\ln \left (-2 \ln \left (2\right )\right ) x}\right )}^{3} {\mathrm e}^{x}}{2}-\ln \left (\ln \left (2\right )+\ln \left (\ln \left (2\right )\right )+i \pi \right ) {\mathrm e}^{x}\) \(499\)

Input:

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

Output:

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

Fricas [C] (verification not implemented)

Result contains complex when optimal does not.

Time = 0.11 (sec) , antiderivative size = 54, normalized size of antiderivative = 1.80 \[ \int \frac {4 e^x+\left (e^x \left (-4 x+x^2\right )+4 e^x x^2 (i \pi +\log (\log (4)))+e^x x^2 \log ^2(\log (4)) (i \pi +\log (\log (4)))\right ) \log \left (\frac {-4+x+4 x (i \pi +\log (\log (4)))+x \log ^2(\log (4)) (i \pi +\log (\log (4)))}{x (i \pi +\log (\log (4)))}\right )}{-4 x+x^2+4 x^2 (i \pi +\log (\log (4)))+x^2 \log ^2(\log (4)) (i \pi +\log (\log (4)))} \, dx=e^{x} \log \left (\frac {2 i \, \pi x \log \left (-2 \, \log \left (2\right )\right )^{2} + x \log \left (-2 \, \log \left (2\right )\right )^{3} - {\left (\pi ^{2} x - 4 \, x\right )} \log \left (-2 \, \log \left (2\right )\right ) + x - 4}{x \log \left (-2 \, \log \left (2\right )\right )}\right ) \] Input:

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

Output:

e^x*log((2*I*pi*x*log(-2*log(2))^2 + x*log(-2*log(2))^3 - (pi^2*x - 4*x)*l 
og(-2*log(2)) + x - 4)/(x*log(-2*log(2))))
 

Sympy [B] (verification not implemented)

Both result and optimal contain complex but leaf count of result is larger than twice the leaf count of optimal. 313 vs. \(2 (29) = 58\).

Time = 33.82 (sec) , antiderivative size = 313, normalized size of antiderivative = 10.43 \[ \int \frac {4 e^x+\left (e^x \left (-4 x+x^2\right )+4 e^x x^2 (i \pi +\log (\log (4)))+e^x x^2 \log ^2(\log (4)) (i \pi +\log (\log (4)))\right ) \log \left (\frac {-4+x+4 x (i \pi +\log (\log (4)))+x \log ^2(\log (4)) (i \pi +\log (\log (4)))}{x (i \pi +\log (\log (4)))}\right )}{-4 x+x^2+4 x^2 (i \pi +\log (\log (4)))+x^2 \log ^2(\log (4)) (i \pi +\log (\log (4)))} \, dx=e^{x} \log {\left (\frac {4 x \log {\left (\log {\left (2 \right )} \right )}}{x \log {\left (\log {\left (2 \right )} \right )} + x \log {\left (2 \right )} + i \pi x} + \frac {3 x \log {\left (2 \right )}^{2} \log {\left (\log {\left (2 \right )} \right )}}{x \log {\left (\log {\left (2 \right )} \right )} + x \log {\left (2 \right )} + i \pi x} + \frac {x \log {\left (\log {\left (2 \right )} \right )}^{3}}{x \log {\left (\log {\left (2 \right )} \right )} + x \log {\left (2 \right )} + i \pi x} + \frac {3 x \log {\left (2 \right )} \log {\left (\log {\left (2 \right )} \right )}^{2}}{x \log {\left (\log {\left (2 \right )} \right )} + x \log {\left (2 \right )} + i \pi x} + \frac {x \log {\left (2 \right )}^{3}}{x \log {\left (\log {\left (2 \right )} \right )} + x \log {\left (2 \right )} + i \pi x} + \frac {x}{x \log {\left (\log {\left (2 \right )} \right )} + x \log {\left (2 \right )} + i \pi x} + \frac {4 x \log {\left (2 \right )}}{x \log {\left (\log {\left (2 \right )} \right )} + x \log {\left (2 \right )} + i \pi x} + \frac {2 i \pi x \log {\left (2 \right )} \log {\left (\log {\left (2 \right )} \right )}}{x \log {\left (\log {\left (2 \right )} \right )} + x \log {\left (2 \right )} + i \pi x} + \frac {i \pi x \log {\left (\log {\left (2 \right )} \right )}^{2}}{x \log {\left (\log {\left (2 \right )} \right )} + x \log {\left (2 \right )} + i \pi x} + \frac {i \pi x \log {\left (2 \right )}^{2}}{x \log {\left (\log {\left (2 \right )} \right )} + x \log {\left (2 \right )} + i \pi x} + \frac {4 i \pi x}{x \log {\left (\log {\left (2 \right )} \right )} + x \log {\left (2 \right )} + i \pi x} - \frac {4}{x \log {\left (\log {\left (2 \right )} \right )} + x \log {\left (2 \right )} + i \pi x} \right )} \] Input:

integrate(((x**2*exp(x)*ln(-2*ln(2))*ln(2*ln(2))**2+4*x**2*exp(x)*ln(-2*ln 
(2))+(x**2-4*x)*exp(x))*ln((x*ln(-2*ln(2))*ln(2*ln(2))**2+4*x*ln(-2*ln(2)) 
+x-4)/x/ln(-2*ln(2)))+4*exp(x))/(x**2*ln(-2*ln(2))*ln(2*ln(2))**2+4*x**2*l 
n(-2*ln(2))+x**2-4*x),x)
 

Output:

exp(x)*log(4*x*log(log(2))/(x*log(log(2)) + x*log(2) + I*pi*x) + 3*x*log(2 
)**2*log(log(2))/(x*log(log(2)) + x*log(2) + I*pi*x) + x*log(log(2))**3/(x 
*log(log(2)) + x*log(2) + I*pi*x) + 3*x*log(2)*log(log(2))**2/(x*log(log(2 
)) + x*log(2) + I*pi*x) + x*log(2)**3/(x*log(log(2)) + x*log(2) + I*pi*x) 
+ x/(x*log(log(2)) + x*log(2) + I*pi*x) + 4*x*log(2)/(x*log(log(2)) + x*lo 
g(2) + I*pi*x) + 2*I*pi*x*log(2)*log(log(2))/(x*log(log(2)) + x*log(2) + I 
*pi*x) + I*pi*x*log(log(2))**2/(x*log(log(2)) + x*log(2) + I*pi*x) + I*pi* 
x*log(2)**2/(x*log(log(2)) + x*log(2) + I*pi*x) + 4*I*pi*x/(x*log(log(2)) 
+ x*log(2) + I*pi*x) - 4/(x*log(log(2)) + x*log(2) + I*pi*x))
 

Maxima [C] (verification not implemented)

Result contains complex when optimal does not.

Time = 0.17 (sec) , antiderivative size = 82, normalized size of antiderivative = 2.73 \[ \int \frac {4 e^x+\left (e^x \left (-4 x+x^2\right )+4 e^x x^2 (i \pi +\log (\log (4)))+e^x x^2 \log ^2(\log (4)) (i \pi +\log (\log (4)))\right ) \log \left (\frac {-4+x+4 x (i \pi +\log (\log (4)))+x \log ^2(\log (4)) (i \pi +\log (\log (4)))}{x (i \pi +\log (\log (4)))}\right )}{-4 x+x^2+4 x^2 (i \pi +\log (\log (4)))+x^2 \log ^2(\log (4)) (i \pi +\log (\log (4)))} \, dx=-{\left (\log \left (i \, \pi + \log \left (2\right ) + \log \left (\log \left (2\right )\right )\right ) + \log \left (x\right )\right )} e^{x} + e^{x} \log \left ({\left (4 i \, \pi + i \, \pi \log \left (2\right )^{2} + \log \left (2\right )^{3} + {\left (i \, \pi + 3 \, \log \left (2\right )\right )} \log \left (\log \left (2\right )\right )^{2} + \log \left (\log \left (2\right )\right )^{3} + {\left (2 i \, \pi \log \left (2\right ) + 3 \, \log \left (2\right )^{2} + 4\right )} \log \left (\log \left (2\right )\right ) + 4 \, \log \left (2\right ) + 1\right )} x - 4\right ) \] Input:

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

Output:

-(log(I*pi + log(2) + log(log(2))) + log(x))*e^x + e^x*log((4*I*pi + I*pi* 
log(2)^2 + log(2)^3 + (I*pi + 3*log(2))*log(log(2))^2 + log(log(2))^3 + (2 
*I*pi*log(2) + 3*log(2)^2 + 4)*log(log(2)) + 4*log(2) + 1)*x - 4)
                                                                                    
                                                                                    
 

Giac [B] (verification not implemented)

Leaf count of result is larger than twice the leaf count of optimal. 443 vs. \(2 (27) = 54\).

Time = 1.12 (sec) , antiderivative size = 443, normalized size of antiderivative = 14.77 \[ \int \frac {4 e^x+\left (e^x \left (-4 x+x^2\right )+4 e^x x^2 (i \pi +\log (\log (4)))+e^x x^2 \log ^2(\log (4)) (i \pi +\log (\log (4)))\right ) \log \left (\frac {-4+x+4 x (i \pi +\log (\log (4)))+x \log ^2(\log (4)) (i \pi +\log (\log (4)))}{x (i \pi +\log (\log (4)))}\right )}{-4 x+x^2+4 x^2 (i \pi +\log (\log (4)))+x^2 \log ^2(\log (4)) (i \pi +\log (\log (4)))} \, dx =\text {Too large to display} \] Input:

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

Output:

1/2*e^x*log(pi^2*x^2*log(2)^4 + x^2*log(2)^6 + 4*pi^2*x^2*log(2)^3*log(log 
(2)) + 6*x^2*log(2)^5*log(log(2)) + 6*pi^2*x^2*log(2)^2*log(log(2))^2 + 15 
*x^2*log(2)^4*log(log(2))^2 + 4*pi^2*x^2*log(2)*log(log(2))^3 + 20*x^2*log 
(2)^3*log(log(2))^3 + pi^2*x^2*log(log(2))^4 + 15*x^2*log(2)^2*log(log(2)) 
^4 + 6*x^2*log(2)*log(log(2))^5 + x^2*log(log(2))^6 + 8*pi^2*x^2*log(2)^2 
+ 8*x^2*log(2)^4 + 16*pi^2*x^2*log(2)*log(log(2)) + 32*x^2*log(2)^3*log(lo 
g(2)) + 8*pi^2*x^2*log(log(2))^2 + 48*x^2*log(2)^2*log(log(2))^2 + 32*x^2* 
log(2)*log(log(2))^3 + 8*x^2*log(log(2))^4 + 2*x^2*log(2)^3 + 6*x^2*log(2) 
^2*log(log(2)) + 6*x^2*log(2)*log(log(2))^2 + 2*x^2*log(log(2))^3 + 16*pi^ 
2*x^2 + 16*x^2*log(2)^2 - 8*x*log(2)^3 + 32*x^2*log(2)*log(log(2)) - 24*x* 
log(2)^2*log(log(2)) + 16*x^2*log(log(2))^2 - 24*x*log(2)*log(log(2))^2 - 
8*x*log(log(2))^3 + 8*x^2*log(2) + 8*x^2*log(log(2)) + x^2 - 32*x*log(2) - 
 32*x*log(log(2)) - 8*x + 16) - 1/2*e^x*log(pi^2*x^2 + x^2*log(2)^2 + 2*x^ 
2*log(2)*log(log(2)) + x^2*log(log(2))^2)
 

Mupad [B] (verification not implemented)

Time = 5.70 (sec) , antiderivative size = 38, normalized size of antiderivative = 1.27 \[ \int \frac {4 e^x+\left (e^x \left (-4 x+x^2\right )+4 e^x x^2 (i \pi +\log (\log (4)))+e^x x^2 \log ^2(\log (4)) (i \pi +\log (\log (4)))\right ) \log \left (\frac {-4+x+4 x (i \pi +\log (\log (4)))+x \log ^2(\log (4)) (i \pi +\log (\log (4)))}{x (i \pi +\log (\log (4)))}\right )}{-4 x+x^2+4 x^2 (i \pi +\log (\log (4)))+x^2 \log ^2(\log (4)) (i \pi +\log (\log (4)))} \, dx={\mathrm {e}}^x\,\ln \left (\frac {x+4\,x\,\ln \left (-\ln \left (4\right )\right )+x\,\ln \left (-\ln \left (4\right )\right )\,{\ln \left (\ln \left (4\right )\right )}^2-4}{x\,\ln \left (-\ln \left (4\right )\right )}\right ) \] Input:

int((4*exp(x) + log((x + 4*x*log(-2*log(2)) + x*log(-2*log(2))*log(2*log(2 
))^2 - 4)/(x*log(-2*log(2))))*(4*x^2*log(-2*log(2))*exp(x) - exp(x)*(4*x - 
 x^2) + x^2*log(-2*log(2))*log(2*log(2))^2*exp(x)))/(4*x^2*log(-2*log(2)) 
- 4*x + x^2 + x^2*log(-2*log(2))*log(2*log(2))^2),x)
 

Output:

exp(x)*log((x + 4*x*log(-log(4)) + x*log(-log(4))*log(log(4))^2 - 4)/(x*lo 
g(-log(4))))
 

Reduce [B] (verification not implemented)

Time = 0.15 (sec) , antiderivative size = 41, normalized size of antiderivative = 1.37 \[ \int \frac {4 e^x+\left (e^x \left (-4 x+x^2\right )+4 e^x x^2 (i \pi +\log (\log (4)))+e^x x^2 \log ^2(\log (4)) (i \pi +\log (\log (4)))\right ) \log \left (\frac {-4+x+4 x (i \pi +\log (\log (4)))+x \log ^2(\log (4)) (i \pi +\log (\log (4)))}{x (i \pi +\log (\log (4)))}\right )}{-4 x+x^2+4 x^2 (i \pi +\log (\log (4)))+x^2 \log ^2(\log (4)) (i \pi +\log (\log (4)))} \, dx=e^{x} \mathrm {log}\left (\frac {\mathrm {log}\left (-2 \,\mathrm {log}\left (2\right )\right ) \mathrm {log}\left (2 \,\mathrm {log}\left (2\right )\right )^{2} x +4 \,\mathrm {log}\left (-2 \,\mathrm {log}\left (2\right )\right ) x +x -4}{\mathrm {log}\left (-2 \,\mathrm {log}\left (2\right )\right ) x}\right ) \] Input:

int(((x^2*exp(x)*log(-2*log(2))*log(2*log(2))^2+4*x^2*exp(x)*log(-2*log(2) 
)+(x^2-4*x)*exp(x))*log((x*log(-2*log(2))*log(2*log(2))^2+4*x*log(-2*log(2 
))+x-4)/x/log(-2*log(2)))+4*exp(x))/(x^2*log(-2*log(2))*log(2*log(2))^2+4* 
x^2*log(-2*log(2))+x^2-4*x),x)
 

Output:

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