\(\int \frac {(2+e^{15+6 x+x^2+(-6-2 x) \log (16 e^{-2 x})+\log ^2(16 e^{-2 x})} (36+12 x-12 \log (16 e^{-2 x}))) \log (e^{15+6 x+x^2+(-6-2 x) \log (16 e^{-2 x})+\log ^2(16 e^{-2 x})}+x)}{e^{15+6 x+x^2+(-6-2 x) \log (16 e^{-2 x})+\log ^2(16 e^{-2 x})}+x} \, dx\) [10018]

Optimal result

Integrand size = 128, antiderivative size = 26 \[ \int \frac {\left (2+e^{15+6 x+x^2+(-6-2 x) \log \left (16 e^{-2 x}\right )+\log ^2\left (16 e^{-2 x}\right )} \left (36+12 x-12 \log \left (16 e^{-2 x}\right )\right )\right ) \log \left (e^{15+6 x+x^2+(-6-2 x) \log \left (16 e^{-2 x}\right )+\log ^2\left (16 e^{-2 x}\right )}+x\right )}{e^{15+6 x+x^2+(-6-2 x) \log \left (16 e^{-2 x}\right )+\log ^2\left (16 e^{-2 x}\right )}+x} \, dx=5+\log ^2\left (e^{6+\left (3+x-\log \left (16 e^{-2 x}\right )\right )^2}+x\right ) \]

[Out]

5+ln(exp(6+(x+3-ln(16/exp(x)^2))^2)+x)^2

Rubi [F]

\[ \int \frac {\left (2+e^{15+6 x+x^2+(-6-2 x) \log \left (16 e^{-2 x}\right )+\log ^2\left (16 e^{-2 x}\right )} \left (36+12 x-12 \log \left (16 e^{-2 x}\right )\right )\right ) \log \left (e^{15+6 x+x^2+(-6-2 x) \log \left (16 e^{-2 x}\right )+\log ^2\left (16 e^{-2 x}\right )}+x\right )}{e^{15+6 x+x^2+(-6-2 x) \log \left (16 e^{-2 x}\right )+\log ^2\left (16 e^{-2 x}\right )}+x} \, dx=\int \frac {\left (2+\exp \left (15+6 x+x^2+(-6-2 x) \log \left (16 e^{-2 x}\right )+\log ^2\left (16 e^{-2 x}\right )\right ) \left (36+12 x-12 \log \left (16 e^{-2 x}\right )\right )\right ) \log \left (\exp \left (15+6 x+x^2+(-6-2 x) \log \left (16 e^{-2 x}\right )+\log ^2\left (16 e^{-2 x}\right )\right )+x\right )}{\exp \left (15+6 x+x^2+(-6-2 x) \log \left (16 e^{-2 x}\right )+\log ^2\left (16 e^{-2 x}\right )\right )+x} \, dx \]

[In]

Int[((2 + E^(15 + 6*x + x^2 + (-6 - 2*x)*Log[16/E^(2*x)] + Log[16/E^(2*x)]^2)*(36 + 12*x - 12*Log[16/E^(2*x)])
)*Log[E^(15 + 6*x + x^2 + (-6 - 2*x)*Log[16/E^(2*x)] + Log[16/E^(2*x)]^2) + x])/(E^(15 + 6*x + x^2 + (-6 - 2*x
)*Log[16/E^(2*x)] + Log[16/E^(2*x)]^2) + x),x]

[Out]

36*Defer[Int][Log[E^(15 + 6*x + x^2 - 2*(3 + x)*Log[16/E^(2*x)] + Log[16/E^(2*x)]^2) + x], x] + 12*Defer[Int][
x*Log[E^(15 + 6*x + x^2 - 2*(3 + x)*Log[16/E^(2*x)] + Log[16/E^(2*x)]^2) + x], x] + Defer[Int][(2^(25 + 8*x)*(
E^(-2*x))^(2*x)*Log[E^(15 + 6*x + x^2 - 2*(3 + x)*Log[16/E^(2*x)] + Log[16/E^(2*x)]^2) + x])/(E^(15 + 18*x + x
^2 + Log[16/E^(2*x)]^2) + 256^(3 + x)*(E^(-2*x))^(2*x)*x), x] - 9*Defer[Int][(2^(26 + 8*x)*(E^(-2*x))^(2*x)*x*
Log[E^(15 + 6*x + x^2 - 2*(3 + x)*Log[16/E^(2*x)] + Log[16/E^(2*x)]^2) + x])/(E^(15 + 18*x + x^2 + Log[16/E^(2
*x)]^2) + 256^(3 + x)*(E^(-2*x))^(2*x)*x), x] - 3*Defer[Int][(2^(26 + 8*x)*(E^(-2*x))^(2*x)*x^2*Log[E^(15 + 6*
x + x^2 - 2*(3 + x)*Log[16/E^(2*x)] + Log[16/E^(2*x)]^2) + x])/(E^(15 + 18*x + x^2 + Log[16/E^(2*x)]^2) + 256^
(3 + x)*(E^(-2*x))^(2*x)*x), x] - 12*Defer[Int][Log[16/E^(2*x)]*Log[E^(15 + 6*x + x^2 - 2*(3 + x)*Log[16/E^(2*
x)] + Log[16/E^(2*x)]^2) + x], x] + 3*Defer[Int][(2^(26 + 8*x)*(E^(-2*x))^(2*x)*x*Log[16/E^(2*x)]*Log[E^(15 +
6*x + x^2 - 2*(3 + x)*Log[16/E^(2*x)] + Log[16/E^(2*x)]^2) + x])/(E^(15 + 18*x + x^2 + Log[16/E^(2*x)]^2) + 25
6^(3 + x)*(E^(-2*x))^(2*x)*x), x]

Rubi steps \begin{align*} \text {integral}& = \int \left (12 \left (3+x-\log \left (16 e^{-2 x}\right )\right ) \log \left (\exp \left (15+6 x+x^2-2 (3+x) \log \left (16 e^{-2 x}\right )+\log ^2\left (16 e^{-2 x}\right )\right )+x\right )-\frac {2^{25+8 x} \left (e^{-2 x}\right )^{2 x} \left (-1+18 x+6 x^2-6 x \log \left (16 e^{-2 x}\right )\right ) \log \left (\exp \left (15+6 x+x^2-2 (3+x) \log \left (16 e^{-2 x}\right )+\log ^2\left (16 e^{-2 x}\right )\right )+x\right )}{e^{15+18 x+x^2+\log ^2\left (16 e^{-2 x}\right )}+2^{24+8 x} \left (e^{-2 x}\right )^{2 x} x}\right ) \, dx \\ & = 12 \int \left (3+x-\log \left (16 e^{-2 x}\right )\right ) \log \left (\exp \left (15+6 x+x^2-2 (3+x) \log \left (16 e^{-2 x}\right )+\log ^2\left (16 e^{-2 x}\right )\right )+x\right ) \, dx-\int \frac {2^{25+8 x} \left (e^{-2 x}\right )^{2 x} \left (-1+18 x+6 x^2-6 x \log \left (16 e^{-2 x}\right )\right ) \log \left (\exp \left (15+6 x+x^2-2 (3+x) \log \left (16 e^{-2 x}\right )+\log ^2\left (16 e^{-2 x}\right )\right )+x\right )}{e^{15+18 x+x^2+\log ^2\left (16 e^{-2 x}\right )}+2^{24+8 x} \left (e^{-2 x}\right )^{2 x} x} \, dx \\ & = 12 \int \left (3 \log \left (\exp \left (15+6 x+x^2-2 (3+x) \log \left (16 e^{-2 x}\right )+\log ^2\left (16 e^{-2 x}\right )\right )+x\right )+x \log \left (\exp \left (15+6 x+x^2-2 (3+x) \log \left (16 e^{-2 x}\right )+\log ^2\left (16 e^{-2 x}\right )\right )+x\right )-\log \left (16 e^{-2 x}\right ) \log \left (\exp \left (15+6 x+x^2-2 (3+x) \log \left (16 e^{-2 x}\right )+\log ^2\left (16 e^{-2 x}\right )\right )+x\right )\right ) \, dx-\int \left (-\frac {2^{25+8 x} \left (e^{-2 x}\right )^{2 x} \log \left (\exp \left (15+6 x+x^2-2 (3+x) \log \left (16 e^{-2 x}\right )+\log ^2\left (16 e^{-2 x}\right )\right )+x\right )}{e^{15+18 x+x^2+\log ^2\left (16 e^{-2 x}\right )}+256^{3+x} \left (e^{-2 x}\right )^{2 x} x}+\frac {9\ 2^{26+8 x} \left (e^{-2 x}\right )^{2 x} x \log \left (\exp \left (15+6 x+x^2-2 (3+x) \log \left (16 e^{-2 x}\right )+\log ^2\left (16 e^{-2 x}\right )\right )+x\right )}{e^{15+18 x+x^2+\log ^2\left (16 e^{-2 x}\right )}+256^{3+x} \left (e^{-2 x}\right )^{2 x} x}+\frac {3\ 2^{26+8 x} \left (e^{-2 x}\right )^{2 x} x^2 \log \left (\exp \left (15+6 x+x^2-2 (3+x) \log \left (16 e^{-2 x}\right )+\log ^2\left (16 e^{-2 x}\right )\right )+x\right )}{e^{15+18 x+x^2+\log ^2\left (16 e^{-2 x}\right )}+256^{3+x} \left (e^{-2 x}\right )^{2 x} x}-\frac {3\ 2^{26+8 x} \left (e^{-2 x}\right )^{2 x} x \log \left (16 e^{-2 x}\right ) \log \left (\exp \left (15+6 x+x^2-2 (3+x) \log \left (16 e^{-2 x}\right )+\log ^2\left (16 e^{-2 x}\right )\right )+x\right )}{e^{15+18 x+x^2+\log ^2\left (16 e^{-2 x}\right )}+256^{3+x} \left (e^{-2 x}\right )^{2 x} x}\right ) \, dx \\ & = -\left (3 \int \frac {2^{26+8 x} \left (e^{-2 x}\right )^{2 x} x^2 \log \left (\exp \left (15+6 x+x^2-2 (3+x) \log \left (16 e^{-2 x}\right )+\log ^2\left (16 e^{-2 x}\right )\right )+x\right )}{e^{15+18 x+x^2+\log ^2\left (16 e^{-2 x}\right )}+256^{3+x} \left (e^{-2 x}\right )^{2 x} x} \, dx\right )+3 \int \frac {2^{26+8 x} \left (e^{-2 x}\right )^{2 x} x \log \left (16 e^{-2 x}\right ) \log \left (\exp \left (15+6 x+x^2-2 (3+x) \log \left (16 e^{-2 x}\right )+\log ^2\left (16 e^{-2 x}\right )\right )+x\right )}{e^{15+18 x+x^2+\log ^2\left (16 e^{-2 x}\right )}+256^{3+x} \left (e^{-2 x}\right )^{2 x} x} \, dx-9 \int \frac {2^{26+8 x} \left (e^{-2 x}\right )^{2 x} x \log \left (\exp \left (15+6 x+x^2-2 (3+x) \log \left (16 e^{-2 x}\right )+\log ^2\left (16 e^{-2 x}\right )\right )+x\right )}{e^{15+18 x+x^2+\log ^2\left (16 e^{-2 x}\right )}+256^{3+x} \left (e^{-2 x}\right )^{2 x} x} \, dx+12 \int x \log \left (\exp \left (15+6 x+x^2-2 (3+x) \log \left (16 e^{-2 x}\right )+\log ^2\left (16 e^{-2 x}\right )\right )+x\right ) \, dx-12 \int \log \left (16 e^{-2 x}\right ) \log \left (\exp \left (15+6 x+x^2-2 (3+x) \log \left (16 e^{-2 x}\right )+\log ^2\left (16 e^{-2 x}\right )\right )+x\right ) \, dx+36 \int \log \left (\exp \left (15+6 x+x^2-2 (3+x) \log \left (16 e^{-2 x}\right )+\log ^2\left (16 e^{-2 x}\right )\right )+x\right ) \, dx+\int \frac {2^{25+8 x} \left (e^{-2 x}\right )^{2 x} \log \left (\exp \left (15+6 x+x^2-2 (3+x) \log \left (16 e^{-2 x}\right )+\log ^2\left (16 e^{-2 x}\right )\right )+x\right )}{e^{15+18 x+x^2+\log ^2\left (16 e^{-2 x}\right )}+256^{3+x} \left (e^{-2 x}\right )^{2 x} x} \, dx \\ \end{align*}

Mathematica [A] (verified)

Time = 0.54 (sec) , antiderivative size = 38, normalized size of antiderivative = 1.46 \[ \int \frac {\left (2+e^{15+6 x+x^2+(-6-2 x) \log \left (16 e^{-2 x}\right )+\log ^2\left (16 e^{-2 x}\right )} \left (36+12 x-12 \log \left (16 e^{-2 x}\right )\right )\right ) \log \left (e^{15+6 x+x^2+(-6-2 x) \log \left (16 e^{-2 x}\right )+\log ^2\left (16 e^{-2 x}\right )}+x\right )}{e^{15+6 x+x^2+(-6-2 x) \log \left (16 e^{-2 x}\right )+\log ^2\left (16 e^{-2 x}\right )}+x} \, dx=\log ^2\left (e^{15+6 x+x^2-2 (3+x) \log \left (16 e^{-2 x}\right )+\log ^2\left (16 e^{-2 x}\right )}+x\right ) \]

[In]

Integrate[((2 + E^(15 + 6*x + x^2 + (-6 - 2*x)*Log[16/E^(2*x)] + Log[16/E^(2*x)]^2)*(36 + 12*x - 12*Log[16/E^(
2*x)]))*Log[E^(15 + 6*x + x^2 + (-6 - 2*x)*Log[16/E^(2*x)] + Log[16/E^(2*x)]^2) + x])/(E^(15 + 6*x + x^2 + (-6
- 2*x)*Log[16/E^(2*x)] + Log[16/E^(2*x)]^2) + x),x]

[Out]

Log[E^(15 + 6*x + x^2 - 2*(3 + x)*Log[16/E^(2*x)] + Log[16/E^(2*x)]^2) + x]^2

Maple [A] (verified)

Time = 0.14 (sec) , antiderivative size = 37, normalized size of antiderivative = 1.42

\[\ln \left ({\mathrm e}^{\ln \left (16 \,{\mathrm e}^{-2 x}\right )^{2}+\left (-2 x -6\right ) \ln \left (16 \,{\mathrm e}^{-2 x}\right )+x^{2}+6 x +15}+x \right )^{2}\]

[In]

int(((-12*ln(16/exp(x)^2)+12*x+36)*exp(ln(16/exp(x)^2)^2+(-2*x-6)*ln(16/exp(x)^2)+x^2+6*x+15)+2)*ln(exp(ln(16/
exp(x)^2)^2+(-2*x-6)*ln(16/exp(x)^2)+x^2+6*x+15)+x)/(exp(ln(16/exp(x)^2)^2+(-2*x-6)*ln(16/exp(x)^2)+x^2+6*x+15
)+x),x)

[Out]

ln(exp(ln(16/exp(x)^2)^2+(-2*x-6)*ln(16/exp(x)^2)+x^2+6*x+15)+x)^2

Fricas [A] (verification not implemented)

none

Time = 0.27 (sec) , antiderivative size = 29, normalized size of antiderivative = 1.12 \[ \int \frac {\left (2+e^{15+6 x+x^2+(-6-2 x) \log \left (16 e^{-2 x}\right )+\log ^2\left (16 e^{-2 x}\right )} \left (36+12 x-12 \log \left (16 e^{-2 x}\right )\right )\right ) \log \left (e^{15+6 x+x^2+(-6-2 x) \log \left (16 e^{-2 x}\right )+\log ^2\left (16 e^{-2 x}\right )}+x\right )}{e^{15+6 x+x^2+(-6-2 x) \log \left (16 e^{-2 x}\right )+\log ^2\left (16 e^{-2 x}\right )}+x} \, dx=\log \left (x + e^{\left (9 \, x^{2} - 24 \, {\left (x + 1\right )} \log \left (2\right ) + 16 \, \log \left (2\right )^{2} + 18 \, x + 15\right )}\right )^{2} \]

[In]

integrate(((-12*log(16/exp(x)^2)+12*x+36)*exp(log(16/exp(x)^2)^2+(-2*x-6)*log(16/exp(x)^2)+x^2+6*x+15)+2)*log(
exp(log(16/exp(x)^2)^2+(-2*x-6)*log(16/exp(x)^2)+x^2+6*x+15)+x)/(exp(log(16/exp(x)^2)^2+(-2*x-6)*log(16/exp(x)
^2)+x^2+6*x+15)+x),x, algorithm="fricas")

[Out]

log(x + e^(9*x^2 - 24*(x + 1)*log(2) + 16*log(2)^2 + 18*x + 15))^2

Sympy [F(-1)]

Timed out. \[ \int \frac {\left (2+e^{15+6 x+x^2+(-6-2 x) \log \left (16 e^{-2 x}\right )+\log ^2\left (16 e^{-2 x}\right )} \left (36+12 x-12 \log \left (16 e^{-2 x}\right )\right )\right ) \log \left (e^{15+6 x+x^2+(-6-2 x) \log \left (16 e^{-2 x}\right )+\log ^2\left (16 e^{-2 x}\right )}+x\right )}{e^{15+6 x+x^2+(-6-2 x) \log \left (16 e^{-2 x}\right )+\log ^2\left (16 e^{-2 x}\right )}+x} \, dx=\text {Timed out} \]

[In]

integrate(((-12*ln(16/exp(x)**2)+12*x+36)*exp(ln(16/exp(x)**2)**2+(-2*x-6)*ln(16/exp(x)**2)+x**2+6*x+15)+2)*ln
(exp(ln(16/exp(x)**2)**2+(-2*x-6)*ln(16/exp(x)**2)+x**2+6*x+15)+x)/(exp(ln(16/exp(x)**2)**2+(-2*x-6)*ln(16/exp
(x)**2)+x**2+6*x+15)+x),x)

[Out]

Timed out

Maxima [F]

\[ \int \frac {\left (2+e^{15+6 x+x^2+(-6-2 x) \log \left (16 e^{-2 x}\right )+\log ^2\left (16 e^{-2 x}\right )} \left (36+12 x-12 \log \left (16 e^{-2 x}\right )\right )\right ) \log \left (e^{15+6 x+x^2+(-6-2 x) \log \left (16 e^{-2 x}\right )+\log ^2\left (16 e^{-2 x}\right )}+x\right )}{e^{15+6 x+x^2+(-6-2 x) \log \left (16 e^{-2 x}\right )+\log ^2\left (16 e^{-2 x}\right )}+x} \, dx=\int { \frac {2 \, {\left (6 \, {\left (x - \log \left (16 \, e^{\left (-2 \, x\right )}\right ) + 3\right )} e^{\left (x^{2} - 2 \, {\left (x + 3\right )} \log \left (16 \, e^{\left (-2 \, x\right )}\right ) + \log \left (16 \, e^{\left (-2 \, x\right )}\right )^{2} + 6 \, x + 15\right )} + 1\right )} \log \left (x + e^{\left (x^{2} - 2 \, {\left (x + 3\right )} \log \left (16 \, e^{\left (-2 \, x\right )}\right ) + \log \left (16 \, e^{\left (-2 \, x\right )}\right )^{2} + 6 \, x + 15\right )}\right )}{x + e^{\left (x^{2} - 2 \, {\left (x + 3\right )} \log \left (16 \, e^{\left (-2 \, x\right )}\right ) + \log \left (16 \, e^{\left (-2 \, x\right )}\right )^{2} + 6 \, x + 15\right )}} \,d x } \]

[In]

integrate(((-12*log(16/exp(x)^2)+12*x+36)*exp(log(16/exp(x)^2)^2+(-2*x-6)*log(16/exp(x)^2)+x^2+6*x+15)+2)*log(
exp(log(16/exp(x)^2)^2+(-2*x-6)*log(16/exp(x)^2)+x^2+6*x+15)+x)/(exp(log(16/exp(x)^2)^2+(-2*x-6)*log(16/exp(x)
^2)+x^2+6*x+15)+x),x, algorithm="maxima")

[Out]

2*integrate((6*(x - log(16*e^(-2*x)) + 3)*e^(x^2 - 2*(x + 3)*log(16*e^(-2*x)) + log(16*e^(-2*x))^2 + 6*x + 15)
+ 1)*log(x + e^(x^2 - 2*(x + 3)*log(16*e^(-2*x)) + log(16*e^(-2*x))^2 + 6*x + 15))/(x + e^(x^2 - 2*(x + 3)*lo
g(16*e^(-2*x)) + log(16*e^(-2*x))^2 + 6*x + 15)), x)

Giac [F]

\[ \int \frac {\left (2+e^{15+6 x+x^2+(-6-2 x) \log \left (16 e^{-2 x}\right )+\log ^2\left (16 e^{-2 x}\right )} \left (36+12 x-12 \log \left (16 e^{-2 x}\right )\right )\right ) \log \left (e^{15+6 x+x^2+(-6-2 x) \log \left (16 e^{-2 x}\right )+\log ^2\left (16 e^{-2 x}\right )}+x\right )}{e^{15+6 x+x^2+(-6-2 x) \log \left (16 e^{-2 x}\right )+\log ^2\left (16 e^{-2 x}\right )}+x} \, dx=\int { \frac {2 \, {\left (6 \, {\left (x - \log \left (16 \, e^{\left (-2 \, x\right )}\right ) + 3\right )} e^{\left (x^{2} - 2 \, {\left (x + 3\right )} \log \left (16 \, e^{\left (-2 \, x\right )}\right ) + \log \left (16 \, e^{\left (-2 \, x\right )}\right )^{2} + 6 \, x + 15\right )} + 1\right )} \log \left (x + e^{\left (x^{2} - 2 \, {\left (x + 3\right )} \log \left (16 \, e^{\left (-2 \, x\right )}\right ) + \log \left (16 \, e^{\left (-2 \, x\right )}\right )^{2} + 6 \, x + 15\right )}\right )}{x + e^{\left (x^{2} - 2 \, {\left (x + 3\right )} \log \left (16 \, e^{\left (-2 \, x\right )}\right ) + \log \left (16 \, e^{\left (-2 \, x\right )}\right )^{2} + 6 \, x + 15\right )}} \,d x } \]

[In]

integrate(((-12*log(16/exp(x)^2)+12*x+36)*exp(log(16/exp(x)^2)^2+(-2*x-6)*log(16/exp(x)^2)+x^2+6*x+15)+2)*log(
exp(log(16/exp(x)^2)^2+(-2*x-6)*log(16/exp(x)^2)+x^2+6*x+15)+x)/(exp(log(16/exp(x)^2)^2+(-2*x-6)*log(16/exp(x)
^2)+x^2+6*x+15)+x),x, algorithm="giac")

[Out]

integrate(2*(6*(x - log(16*e^(-2*x)) + 3)*e^(x^2 - 2*(x + 3)*log(16*e^(-2*x)) + log(16*e^(-2*x))^2 + 6*x + 15)
+ 1)*log(x + e^(x^2 - 2*(x + 3)*log(16*e^(-2*x)) + log(16*e^(-2*x))^2 + 6*x + 15))/(x + e^(x^2 - 2*(x + 3)*lo
g(16*e^(-2*x)) + log(16*e^(-2*x))^2 + 6*x + 15)), x)

Mupad [B] (verification not implemented)

Time = 16.29 (sec) , antiderivative size = 118, normalized size of antiderivative = 4.54 \[ \int \frac {\left (2+e^{15+6 x+x^2+(-6-2 x) \log \left (16 e^{-2 x}\right )+\log ^2\left (16 e^{-2 x}\right )} \left (36+12 x-12 \log \left (16 e^{-2 x}\right )\right )\right ) \log \left (e^{15+6 x+x^2+(-6-2 x) \log \left (16 e^{-2 x}\right )+\log ^2\left (16 e^{-2 x}\right )}+x\right )}{e^{15+6 x+x^2+(-6-2 x) \log \left (16 e^{-2 x}\right )+\log ^2\left (16 e^{-2 x}\right )}+x} \, dx=576\,{\ln \left (2\right )}^2\,x^2-48\,\ln \left (2\right )\,x\,\ln \left (16777216\,2^{24\,x}\,x+{\mathrm {e}}^{18\,x}\,{\mathrm {e}}^{15}\,{\mathrm {e}}^{16\,{\ln \left (2\right )}^2}\,{\mathrm {e}}^{9\,x^2}\right )+1152\,{\ln \left (2\right )}^2\,x+{\ln \left (16777216\,2^{24\,x}\,x+{\mathrm {e}}^{18\,x}\,{\mathrm {e}}^{15}\,{\mathrm {e}}^{16\,{\ln \left (2\right )}^2}\,{\mathrm {e}}^{9\,x^2}\right )}^2-48\,\ln \left (2\right )\,\ln \left (16777216\,2^{24\,x}\,x+{\mathrm {e}}^{18\,x}\,{\mathrm {e}}^{15}\,{\mathrm {e}}^{16\,{\ln \left (2\right )}^2}\,{\mathrm {e}}^{9\,x^2}\right ) \]

[In]

int((log(x + exp(6*x + log(16*exp(-2*x))^2 - log(16*exp(-2*x))*(2*x + 6) + x^2 + 15))*(exp(6*x + log(16*exp(-2
*x))^2 - log(16*exp(-2*x))*(2*x + 6) + x^2 + 15)*(12*x - 12*log(16*exp(-2*x)) + 36) + 2))/(x + exp(6*x + log(1
6*exp(-2*x))^2 - log(16*exp(-2*x))*(2*x + 6) + x^2 + 15)),x)

[Out]

576*x^2*log(2)^2 + log(16777216*2^(24*x)*x + exp(18*x)*exp(15)*exp(16*log(2)^2)*exp(9*x^2))^2 + 1152*x*log(2)^
2 - 48*log(16777216*2^(24*x)*x + exp(18*x)*exp(15)*exp(16*log(2)^2)*exp(9*x^2))*log(2) - 48*x*log(16777216*2^(
24*x)*x + exp(18*x)*exp(15)*exp(16*log(2)^2)*exp(9*x^2))*log(2)