\(\int \frac {-12+e^x (-3-3 x-x^2)+(e^{3 x} (6 x+2 x^2)+e^{2 x} (24 x+8 x^2)) \log (\frac {16+4 e^x}{3+x})+(e^{3 x} (6 x+2 x^2)+e^{2 x} (24 x+8 x^2)) \log (\frac {x}{\log (3)})}{(12 x+4 x^2+e^x (3 x+x^2)) \log (\frac {16+4 e^x}{3+x})+(12 x+4 x^2+e^x (3 x+x^2)) \log (\frac {x}{\log (3)})} \, dx\) [8195]

Optimal result

Integrand size = 168, antiderivative size = 30 \[ \int \frac {-12+e^x \left (-3-3 x-x^2\right )+\left (e^{3 x} \left (6 x+2 x^2\right )+e^{2 x} \left (24 x+8 x^2\right )\right ) \log \left (\frac {16+4 e^x}{3+x}\right )+\left (e^{3 x} \left (6 x+2 x^2\right )+e^{2 x} \left (24 x+8 x^2\right )\right ) \log \left (\frac {x}{\log (3)}\right )}{\left (12 x+4 x^2+e^x \left (3 x+x^2\right )\right ) \log \left (\frac {16+4 e^x}{3+x}\right )+\left (12 x+4 x^2+e^x \left (3 x+x^2\right )\right ) \log \left (\frac {x}{\log (3)}\right )} \, dx=e^{2 x}-\log \left (\log \left (\frac {4 \left (4+e^x\right )}{3+x}\right )+\log \left (\frac {x}{\log (3)}\right )\right ) \]

[Out]

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

Rubi [F]

\[ \int \frac {-12+e^x \left (-3-3 x-x^2\right )+\left (e^{3 x} \left (6 x+2 x^2\right )+e^{2 x} \left (24 x+8 x^2\right )\right ) \log \left (\frac {16+4 e^x}{3+x}\right )+\left (e^{3 x} \left (6 x+2 x^2\right )+e^{2 x} \left (24 x+8 x^2\right )\right ) \log \left (\frac {x}{\log (3)}\right )}{\left (12 x+4 x^2+e^x \left (3 x+x^2\right )\right ) \log \left (\frac {16+4 e^x}{3+x}\right )+\left (12 x+4 x^2+e^x \left (3 x+x^2\right )\right ) \log \left (\frac {x}{\log (3)}\right )} \, dx=\int \frac {-12+e^x \left (-3-3 x-x^2\right )+\left (e^{3 x} \left (6 x+2 x^2\right )+e^{2 x} \left (24 x+8 x^2\right )\right ) \log \left (\frac {16+4 e^x}{3+x}\right )+\left (e^{3 x} \left (6 x+2 x^2\right )+e^{2 x} \left (24 x+8 x^2\right )\right ) \log \left (\frac {x}{\log (3)}\right )}{\left (12 x+4 x^2+e^x \left (3 x+x^2\right )\right ) \log \left (\frac {16+4 e^x}{3+x}\right )+\left (12 x+4 x^2+e^x \left (3 x+x^2\right )\right ) \log \left (\frac {x}{\log (3)}\right )} \, dx \]

[In]

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

[Out]

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

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

Mathematica [F]

\[ \int \frac {-12+e^x \left (-3-3 x-x^2\right )+\left (e^{3 x} \left (6 x+2 x^2\right )+e^{2 x} \left (24 x+8 x^2\right )\right ) \log \left (\frac {16+4 e^x}{3+x}\right )+\left (e^{3 x} \left (6 x+2 x^2\right )+e^{2 x} \left (24 x+8 x^2\right )\right ) \log \left (\frac {x}{\log (3)}\right )}{\left (12 x+4 x^2+e^x \left (3 x+x^2\right )\right ) \log \left (\frac {16+4 e^x}{3+x}\right )+\left (12 x+4 x^2+e^x \left (3 x+x^2\right )\right ) \log \left (\frac {x}{\log (3)}\right )} \, dx=\int \frac {-12+e^x \left (-3-3 x-x^2\right )+\left (e^{3 x} \left (6 x+2 x^2\right )+e^{2 x} \left (24 x+8 x^2\right )\right ) \log \left (\frac {16+4 e^x}{3+x}\right )+\left (e^{3 x} \left (6 x+2 x^2\right )+e^{2 x} \left (24 x+8 x^2\right )\right ) \log \left (\frac {x}{\log (3)}\right )}{\left (12 x+4 x^2+e^x \left (3 x+x^2\right )\right ) \log \left (\frac {16+4 e^x}{3+x}\right )+\left (12 x+4 x^2+e^x \left (3 x+x^2\right )\right ) \log \left (\frac {x}{\log (3)}\right )} \, dx \]

[In]

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

[Out]

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

Maple [A] (verified)

Time = 8.04 (sec) , antiderivative size = 29, normalized size of antiderivative = 0.97

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

[In]

int((((2*x^2+6*x)*exp(x)^3+(8*x^2+24*x)*exp(x)^2)*ln((4*exp(x)+16)/(3+x))+((2*x^2+6*x)*exp(x)^3+(8*x^2+24*x)*e
xp(x)^2)*ln(x/ln(3))+(-x^2-3*x-3)*exp(x)-12)/(((x^2+3*x)*exp(x)+4*x^2+12*x)*ln((4*exp(x)+16)/(3+x))+((x^2+3*x)
*exp(x)+4*x^2+12*x)*ln(x/ln(3))),x,method=_RETURNVERBOSE)

[Out]

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

Fricas [A] (verification not implemented)

none

Time = 0.26 (sec) , antiderivative size = 28, normalized size of antiderivative = 0.93 \[ \int \frac {-12+e^x \left (-3-3 x-x^2\right )+\left (e^{3 x} \left (6 x+2 x^2\right )+e^{2 x} \left (24 x+8 x^2\right )\right ) \log \left (\frac {16+4 e^x}{3+x}\right )+\left (e^{3 x} \left (6 x+2 x^2\right )+e^{2 x} \left (24 x+8 x^2\right )\right ) \log \left (\frac {x}{\log (3)}\right )}{\left (12 x+4 x^2+e^x \left (3 x+x^2\right )\right ) \log \left (\frac {16+4 e^x}{3+x}\right )+\left (12 x+4 x^2+e^x \left (3 x+x^2\right )\right ) \log \left (\frac {x}{\log (3)}\right )} \, dx=e^{\left (2 \, x\right )} - \log \left (\log \left (\frac {4 \, {\left (e^{x} + 4\right )}}{x + 3}\right ) + \log \left (\frac {x}{\log \left (3\right )}\right )\right ) \]

[In]

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

[Out]

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

Sympy [A] (verification not implemented)

Time = 0.41 (sec) , antiderivative size = 24, normalized size of antiderivative = 0.80 \[ \int \frac {-12+e^x \left (-3-3 x-x^2\right )+\left (e^{3 x} \left (6 x+2 x^2\right )+e^{2 x} \left (24 x+8 x^2\right )\right ) \log \left (\frac {16+4 e^x}{3+x}\right )+\left (e^{3 x} \left (6 x+2 x^2\right )+e^{2 x} \left (24 x+8 x^2\right )\right ) \log \left (\frac {x}{\log (3)}\right )}{\left (12 x+4 x^2+e^x \left (3 x+x^2\right )\right ) \log \left (\frac {16+4 e^x}{3+x}\right )+\left (12 x+4 x^2+e^x \left (3 x+x^2\right )\right ) \log \left (\frac {x}{\log (3)}\right )} \, dx=e^{2 x} - \log {\left (\log {\left (\frac {x}{\log {\left (3 \right )}} \right )} + \log {\left (\frac {4 e^{x} + 16}{x + 3} \right )} \right )} \]

[In]

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

[Out]

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

Maxima [A] (verification not implemented)

none

Time = 0.34 (sec) , antiderivative size = 31, normalized size of antiderivative = 1.03 \[ \int \frac {-12+e^x \left (-3-3 x-x^2\right )+\left (e^{3 x} \left (6 x+2 x^2\right )+e^{2 x} \left (24 x+8 x^2\right )\right ) \log \left (\frac {16+4 e^x}{3+x}\right )+\left (e^{3 x} \left (6 x+2 x^2\right )+e^{2 x} \left (24 x+8 x^2\right )\right ) \log \left (\frac {x}{\log (3)}\right )}{\left (12 x+4 x^2+e^x \left (3 x+x^2\right )\right ) \log \left (\frac {16+4 e^x}{3+x}\right )+\left (12 x+4 x^2+e^x \left (3 x+x^2\right )\right ) \log \left (\frac {x}{\log (3)}\right )} \, dx=e^{\left (2 \, x\right )} - \log \left (2 \, \log \left (2\right ) - \log \left (x + 3\right ) + \log \left (x\right ) + \log \left (e^{x} + 4\right ) - \log \left (\log \left (3\right )\right )\right ) \]

[In]

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

[Out]

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

Giac [A] (verification not implemented)

none

Time = 0.37 (sec) , antiderivative size = 29, normalized size of antiderivative = 0.97 \[ \int \frac {-12+e^x \left (-3-3 x-x^2\right )+\left (e^{3 x} \left (6 x+2 x^2\right )+e^{2 x} \left (24 x+8 x^2\right )\right ) \log \left (\frac {16+4 e^x}{3+x}\right )+\left (e^{3 x} \left (6 x+2 x^2\right )+e^{2 x} \left (24 x+8 x^2\right )\right ) \log \left (\frac {x}{\log (3)}\right )}{\left (12 x+4 x^2+e^x \left (3 x+x^2\right )\right ) \log \left (\frac {16+4 e^x}{3+x}\right )+\left (12 x+4 x^2+e^x \left (3 x+x^2\right )\right ) \log \left (\frac {x}{\log (3)}\right )} \, dx=e^{\left (2 \, x\right )} - \log \left (-\log \left (x + 3\right ) + \log \left (x\right ) + \log \left (4 \, e^{x} + 16\right ) - \log \left (\log \left (3\right )\right )\right ) \]

[In]

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

[Out]

e^(2*x) - log(-log(x + 3) + log(x) + log(4*e^x + 16) - log(log(3)))

Mupad [B] (verification not implemented)

Time = 13.55 (sec) , antiderivative size = 28, normalized size of antiderivative = 0.93 \[ \int \frac {-12+e^x \left (-3-3 x-x^2\right )+\left (e^{3 x} \left (6 x+2 x^2\right )+e^{2 x} \left (24 x+8 x^2\right )\right ) \log \left (\frac {16+4 e^x}{3+x}\right )+\left (e^{3 x} \left (6 x+2 x^2\right )+e^{2 x} \left (24 x+8 x^2\right )\right ) \log \left (\frac {x}{\log (3)}\right )}{\left (12 x+4 x^2+e^x \left (3 x+x^2\right )\right ) \log \left (\frac {16+4 e^x}{3+x}\right )+\left (12 x+4 x^2+e^x \left (3 x+x^2\right )\right ) \log \left (\frac {x}{\log (3)}\right )} \, dx={\mathrm {e}}^{2\,x}-\ln \left (\ln \left (\frac {4\,{\mathrm {e}}^x+16}{\ln \left (3\right )\,\left (x+3\right )}\right )+\ln \left (x\right )\right ) \]

[In]

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

[Out]

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