\(\int \frac {1-2 x-4 x^3+e^{-2 x} (4+4 x^2) (4+4 \log (5))^2+(4 x^2-4 e^{-2 x} x (4+4 \log (5))^2) \log (-x+e^{-2 x} (4+4 \log (5))^2)+(-x+e^{-2 x} (4+4 \log (5))^2) \log ^2(-x+e^{-2 x} (4+4 \log (5))^2)}{-4 x^3+4 e^{-2 x} x^2 (4+4 \log (5))^2+(4 x^2-4 e^{-2 x} x (4+4 \log (5))^2) \log (-x+e^{-2 x} (4+4 \log (5))^2)+(-x+e^{-2 x} (4+4 \log (5))^2) \log ^2(-x+e^{-2 x} (4+4 \log (5))^2)} \, dx\) [4632]

Optimal result

Integrand size = 222, antiderivative size = 27 \[ \int \frac {1-2 x-4 x^3+e^{-2 x} \left (4+4 x^2\right ) (4+4 \log (5))^2+\left (4 x^2-4 e^{-2 x} x (4+4 \log (5))^2\right ) \log \left (-x+e^{-2 x} (4+4 \log (5))^2\right )+\left (-x+e^{-2 x} (4+4 \log (5))^2\right ) \log ^2\left (-x+e^{-2 x} (4+4 \log (5))^2\right )}{-4 x^3+4 e^{-2 x} x^2 (4+4 \log (5))^2+\left (4 x^2-4 e^{-2 x} x (4+4 \log (5))^2\right ) \log \left (-x+e^{-2 x} (4+4 \log (5))^2\right )+\left (-x+e^{-2 x} (4+4 \log (5))^2\right ) \log ^2\left (-x+e^{-2 x} (4+4 \log (5))^2\right )} \, dx=x+\frac {1}{-2 x+\log \left (-x+e^{-2 x} (4+4 \log (5))^2\right )} \]

[Out]

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

Rubi [F]

\[ \int \frac {1-2 x-4 x^3+e^{-2 x} \left (4+4 x^2\right ) (4+4 \log (5))^2+\left (4 x^2-4 e^{-2 x} x (4+4 \log (5))^2\right ) \log \left (-x+e^{-2 x} (4+4 \log (5))^2\right )+\left (-x+e^{-2 x} (4+4 \log (5))^2\right ) \log ^2\left (-x+e^{-2 x} (4+4 \log (5))^2\right )}{-4 x^3+4 e^{-2 x} x^2 (4+4 \log (5))^2+\left (4 x^2-4 e^{-2 x} x (4+4 \log (5))^2\right ) \log \left (-x+e^{-2 x} (4+4 \log (5))^2\right )+\left (-x+e^{-2 x} (4+4 \log (5))^2\right ) \log ^2\left (-x+e^{-2 x} (4+4 \log (5))^2\right )} \, dx=\int \frac {1-2 x-4 x^3+e^{-2 x} \left (4+4 x^2\right ) (4+4 \log (5))^2+\left (4 x^2-4 e^{-2 x} x (4+4 \log (5))^2\right ) \log \left (-x+e^{-2 x} (4+4 \log (5))^2\right )+\left (-x+e^{-2 x} (4+4 \log (5))^2\right ) \log ^2\left (-x+e^{-2 x} (4+4 \log (5))^2\right )}{-4 x^3+4 e^{-2 x} x^2 (4+4 \log (5))^2+\left (4 x^2-4 e^{-2 x} x (4+4 \log (5))^2\right ) \log \left (-x+e^{-2 x} (4+4 \log (5))^2\right )+\left (-x+e^{-2 x} (4+4 \log (5))^2\right ) \log ^2\left (-x+e^{-2 x} (4+4 \log (5))^2\right )} \, dx \]

[In]

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

[Out]

x + 2*Defer[Int][(2*x - Log[-x + (16*(1 + Log[5])^2)/E^(2*x)])^(-2), x] - Defer[Int][1/(x*(2*x - Log[-x + (16*
(1 + Log[5])^2)/E^(2*x)])^2), x] + 32*(1 + Log[5])^2*Defer[Int][1/((-(E^(2*x)*x) + 16*(1 + Log[5]*(2 + Log[5])
))*(2*x - Log[-x + (16*(1 + Log[5])^2)/E^(2*x)])^2), x] + 16*(1 + Log[5])^2*Defer[Int][1/(x*(-(E^(2*x)*x) + 16
*(1 + Log[5]*(2 + Log[5])))*(2*x - Log[-x + (16*(1 + Log[5])^2)/E^(2*x)])^2), x]

Rubi steps \begin{align*} \text {integral}& = \int \frac {e^{2 x} \left (-1+2 x+4 x^3\right )-64 \left (1+x^2\right ) (1+\log (5))^2-4 x \left (e^{2 x} x-16 (1+\log (5))^2\right ) \log \left (-x+16 e^{-2 x} (1+\log (5))^2\right )+\left (e^{2 x} x-16 (1+\log (5))^2\right ) \log ^2\left (-x+16 e^{-2 x} (1+\log (5))^2\right )}{\left (e^{2 x} x-16 (1+\log (5))^2\right ) \left (2 x-\log \left (-x+16 e^{-2 x} (1+\log (5))^2\right )\right )^2} \, dx \\ & = \int \left (\frac {16 (-1-2 x) (1+\log (5))^2}{x \left (e^{2 x} x-16 (1+\log (5) (2+\log (5)))\right ) \left (2 x-\log \left (-x+16 e^{-2 x} (1+\log (5))^2\right )\right )^2}+\frac {-1+2 x+4 x^3-4 x^2 \log \left (-x+16 e^{-2 x} (1+\log (5))^2\right )+x \log ^2\left (-x+16 e^{-2 x} (1+\log (5))^2\right )}{x \left (2 x-\log \left (-x+16 e^{-2 x} (1+\log (5))^2\right )\right )^2}\right ) \, dx \\ & = \left (16 (1+\log (5))^2\right ) \int \frac {-1-2 x}{x \left (e^{2 x} x-16 (1+\log (5) (2+\log (5)))\right ) \left (2 x-\log \left (-x+16 e^{-2 x} (1+\log (5))^2\right )\right )^2} \, dx+\int \frac {-1+2 x+4 x^3-4 x^2 \log \left (-x+16 e^{-2 x} (1+\log (5))^2\right )+x \log ^2\left (-x+16 e^{-2 x} (1+\log (5))^2\right )}{x \left (2 x-\log \left (-x+16 e^{-2 x} (1+\log (5))^2\right )\right )^2} \, dx \\ & = \left (16 (1+\log (5))^2\right ) \int \left (\frac {2}{\left (-e^{2 x} x+16 (1+\log (5) (2+\log (5)))\right ) \left (2 x-\log \left (-x+16 e^{-2 x} (1+\log (5))^2\right )\right )^2}+\frac {1}{x \left (-e^{2 x} x+16 (1+\log (5) (2+\log (5)))\right ) \left (2 x-\log \left (-x+16 e^{-2 x} (1+\log (5))^2\right )\right )^2}\right ) \, dx+\int \left (1+\frac {-1+2 x}{x \left (2 x-\log \left (-x+16 e^{-2 x} (1+\log (5))^2\right )\right )^2}\right ) \, dx \\ & = x+\left (16 (1+\log (5))^2\right ) \int \frac {1}{x \left (-e^{2 x} x+16 (1+\log (5) (2+\log (5)))\right ) \left (2 x-\log \left (-x+16 e^{-2 x} (1+\log (5))^2\right )\right )^2} \, dx+\left (32 (1+\log (5))^2\right ) \int \frac {1}{\left (-e^{2 x} x+16 (1+\log (5) (2+\log (5)))\right ) \left (2 x-\log \left (-x+16 e^{-2 x} (1+\log (5))^2\right )\right )^2} \, dx+\int \frac {-1+2 x}{x \left (2 x-\log \left (-x+16 e^{-2 x} (1+\log (5))^2\right )\right )^2} \, dx \\ & = x+\left (16 (1+\log (5))^2\right ) \int \frac {1}{x \left (-e^{2 x} x+16 (1+\log (5) (2+\log (5)))\right ) \left (2 x-\log \left (-x+16 e^{-2 x} (1+\log (5))^2\right )\right )^2} \, dx+\left (32 (1+\log (5))^2\right ) \int \frac {1}{\left (-e^{2 x} x+16 (1+\log (5) (2+\log (5)))\right ) \left (2 x-\log \left (-x+16 e^{-2 x} (1+\log (5))^2\right )\right )^2} \, dx+\int \left (\frac {2}{\left (2 x-\log \left (-x+16 e^{-2 x} (1+\log (5))^2\right )\right )^2}-\frac {1}{x \left (2 x-\log \left (-x+16 e^{-2 x} (1+\log (5))^2\right )\right )^2}\right ) \, dx \\ & = x+2 \int \frac {1}{\left (2 x-\log \left (-x+16 e^{-2 x} (1+\log (5))^2\right )\right )^2} \, dx+\left (16 (1+\log (5))^2\right ) \int \frac {1}{x \left (-e^{2 x} x+16 (1+\log (5) (2+\log (5)))\right ) \left (2 x-\log \left (-x+16 e^{-2 x} (1+\log (5))^2\right )\right )^2} \, dx+\left (32 (1+\log (5))^2\right ) \int \frac {1}{\left (-e^{2 x} x+16 (1+\log (5) (2+\log (5)))\right ) \left (2 x-\log \left (-x+16 e^{-2 x} (1+\log (5))^2\right )\right )^2} \, dx-\int \frac {1}{x \left (2 x-\log \left (-x+16 e^{-2 x} (1+\log (5))^2\right )\right )^2} \, dx \\ \end{align*}

Mathematica [A] (verified)

Time = 0.15 (sec) , antiderivative size = 26, normalized size of antiderivative = 0.96 \[ \int \frac {1-2 x-4 x^3+e^{-2 x} \left (4+4 x^2\right ) (4+4 \log (5))^2+\left (4 x^2-4 e^{-2 x} x (4+4 \log (5))^2\right ) \log \left (-x+e^{-2 x} (4+4 \log (5))^2\right )+\left (-x+e^{-2 x} (4+4 \log (5))^2\right ) \log ^2\left (-x+e^{-2 x} (4+4 \log (5))^2\right )}{-4 x^3+4 e^{-2 x} x^2 (4+4 \log (5))^2+\left (4 x^2-4 e^{-2 x} x (4+4 \log (5))^2\right ) \log \left (-x+e^{-2 x} (4+4 \log (5))^2\right )+\left (-x+e^{-2 x} (4+4 \log (5))^2\right ) \log ^2\left (-x+e^{-2 x} (4+4 \log (5))^2\right )} \, dx=x+\frac {1}{-2 x+\log \left (-x+16 e^{-2 x} (1+\log (5))^2\right )} \]

[In]

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

[Out]

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

Maple [A] (verified)

Time = 0.19 (sec) , antiderivative size = 31, normalized size of antiderivative = 1.15

method	result	size
risch	\(x -\frac {1}{2 x -\ln \left (\left (4 \ln \left (5\right )+4\right )^{2} {\mathrm e}^{-2 x}-x \right )}\)	\(31\)
parallelrisch	\(\frac {-1+2 x^{2}-\ln \left (16 \left (\ln \left (5\right )+1\right )^{2} {\mathrm e}^{-2 x}-x \right ) x}{-\ln \left (16 \left (\ln \left (5\right )+1\right )^{2} {\mathrm e}^{-2 x}-x \right )+2 x}\)	\(58\)

[In]

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

[Out]

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

Fricas [A] (verification not implemented)

none

Time = 0.24 (sec) , antiderivative size = 57, normalized size of antiderivative = 2.11 \[ \int \frac {1-2 x-4 x^3+e^{-2 x} \left (4+4 x^2\right ) (4+4 \log (5))^2+\left (4 x^2-4 e^{-2 x} x (4+4 \log (5))^2\right ) \log \left (-x+e^{-2 x} (4+4 \log (5))^2\right )+\left (-x+e^{-2 x} (4+4 \log (5))^2\right ) \log ^2\left (-x+e^{-2 x} (4+4 \log (5))^2\right )}{-4 x^3+4 e^{-2 x} x^2 (4+4 \log (5))^2+\left (4 x^2-4 e^{-2 x} x (4+4 \log (5))^2\right ) \log \left (-x+e^{-2 x} (4+4 \log (5))^2\right )+\left (-x+e^{-2 x} (4+4 \log (5))^2\right ) \log ^2\left (-x+e^{-2 x} (4+4 \log (5))^2\right )} \, dx=\frac {2 \, x^{2} - x \log \left (-x + e^{\left (-2 \, x + 2 \, \log \left (4 \, \log \left (5\right ) + 4\right )\right )}\right ) - 1}{2 \, x - \log \left (-x + e^{\left (-2 \, x + 2 \, \log \left (4 \, \log \left (5\right ) + 4\right )\right )}\right )} \]

[In]

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

[Out]

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

Sympy [A] (verification not implemented)

Time = 0.32 (sec) , antiderivative size = 22, normalized size of antiderivative = 0.81 \[ \int \frac {1-2 x-4 x^3+e^{-2 x} \left (4+4 x^2\right ) (4+4 \log (5))^2+\left (4 x^2-4 e^{-2 x} x (4+4 \log (5))^2\right ) \log \left (-x+e^{-2 x} (4+4 \log (5))^2\right )+\left (-x+e^{-2 x} (4+4 \log (5))^2\right ) \log ^2\left (-x+e^{-2 x} (4+4 \log (5))^2\right )}{-4 x^3+4 e^{-2 x} x^2 (4+4 \log (5))^2+\left (4 x^2-4 e^{-2 x} x (4+4 \log (5))^2\right ) \log \left (-x+e^{-2 x} (4+4 \log (5))^2\right )+\left (-x+e^{-2 x} (4+4 \log (5))^2\right ) \log ^2\left (-x+e^{-2 x} (4+4 \log (5))^2\right )} \, dx=x + \frac {1}{- 2 x + \log {\left (- x + \left (4 + 4 \log {\left (5 \right )}\right )^{2} e^{- 2 x} \right )}} \]

[In]

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

[Out]

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

Maxima [A] (verification not implemented)

none

Time = 0.63 (sec) , antiderivative size = 59, normalized size of antiderivative = 2.19 \[ \int \frac {1-2 x-4 x^3+e^{-2 x} \left (4+4 x^2\right ) (4+4 \log (5))^2+\left (4 x^2-4 e^{-2 x} x (4+4 \log (5))^2\right ) \log \left (-x+e^{-2 x} (4+4 \log (5))^2\right )+\left (-x+e^{-2 x} (4+4 \log (5))^2\right ) \log ^2\left (-x+e^{-2 x} (4+4 \log (5))^2\right )}{-4 x^3+4 e^{-2 x} x^2 (4+4 \log (5))^2+\left (4 x^2-4 e^{-2 x} x (4+4 \log (5))^2\right ) \log \left (-x+e^{-2 x} (4+4 \log (5))^2\right )+\left (-x+e^{-2 x} (4+4 \log (5))^2\right ) \log ^2\left (-x+e^{-2 x} (4+4 \log (5))^2\right )} \, dx=\frac {4 \, x^{2} - x \log \left (-x e^{\left (2 \, x\right )} + 16 \, \log \left (5\right )^{2} + 32 \, \log \left (5\right ) + 16\right ) - 1}{4 \, x - \log \left (-x e^{\left (2 \, x\right )} + 16 \, \log \left (5\right )^{2} + 32 \, \log \left (5\right ) + 16\right )} \]

[In]

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

[Out]

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

Giac [B] (verification not implemented)

Leaf count of result is larger than twice the leaf count of optimal. 77 vs. \(2 (31) = 62\).

Time = 1.33 (sec) , antiderivative size = 77, normalized size of antiderivative = 2.85 \[ \int \frac {1-2 x-4 x^3+e^{-2 x} \left (4+4 x^2\right ) (4+4 \log (5))^2+\left (4 x^2-4 e^{-2 x} x (4+4 \log (5))^2\right ) \log \left (-x+e^{-2 x} (4+4 \log (5))^2\right )+\left (-x+e^{-2 x} (4+4 \log (5))^2\right ) \log ^2\left (-x+e^{-2 x} (4+4 \log (5))^2\right )}{-4 x^3+4 e^{-2 x} x^2 (4+4 \log (5))^2+\left (4 x^2-4 e^{-2 x} x (4+4 \log (5))^2\right ) \log \left (-x+e^{-2 x} (4+4 \log (5))^2\right )+\left (-x+e^{-2 x} (4+4 \log (5))^2\right ) \log ^2\left (-x+e^{-2 x} (4+4 \log (5))^2\right )} \, dx=\frac {2 \, x^{2} - x \log \left (16 \, e^{\left (-2 \, x\right )} \log \left (5\right )^{2} + 32 \, e^{\left (-2 \, x\right )} \log \left (5\right ) - x + 16 \, e^{\left (-2 \, x\right )}\right ) - 1}{2 \, x - \log \left (16 \, e^{\left (-2 \, x\right )} \log \left (5\right )^{2} + 32 \, e^{\left (-2 \, x\right )} \log \left (5\right ) - x + 16 \, e^{\left (-2 \, x\right )}\right )} \]

[In]

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

[Out]

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

Mupad [B] (verification not implemented)

Time = 11.07 (sec) , antiderivative size = 41, normalized size of antiderivative = 1.52 \[ \int \frac {1-2 x-4 x^3+e^{-2 x} \left (4+4 x^2\right ) (4+4 \log (5))^2+\left (4 x^2-4 e^{-2 x} x (4+4 \log (5))^2\right ) \log \left (-x+e^{-2 x} (4+4 \log (5))^2\right )+\left (-x+e^{-2 x} (4+4 \log (5))^2\right ) \log ^2\left (-x+e^{-2 x} (4+4 \log (5))^2\right )}{-4 x^3+4 e^{-2 x} x^2 (4+4 \log (5))^2+\left (4 x^2-4 e^{-2 x} x (4+4 \log (5))^2\right ) \log \left (-x+e^{-2 x} (4+4 \log (5))^2\right )+\left (-x+e^{-2 x} (4+4 \log (5))^2\right ) \log ^2\left (-x+e^{-2 x} (4+4 \log (5))^2\right )} \, dx=x-\frac {1}{2\,x-\ln \left (16\,{\mathrm {e}}^{-2\,x}-x+32\,{\mathrm {e}}^{-2\,x}\,\ln \left (5\right )+16\,{\mathrm {e}}^{-2\,x}\,{\ln \left (5\right )}^2\right )} \]

[In]

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

[Out]

x - 1/(2*x - log(16*exp(-2*x) - x + 32*exp(-2*x)*log(5) + 16*exp(-2*x)*log(5)^2))