\(\int \frac {6 x+15 e^4 x^3+3 e^9 x^3+(-6-20 e^4 x^2-4 e^9 x^2) \log (5 e^{\frac {3}{5 e^4 x+e^9 x}})+(5 e^4 x+e^9 x) \log ^2(5 e^{\frac {3}{5 e^4 x+e^9 x}})}{5 e^4 x+e^9 x} \, dx\) [8297]

Optimal result

Integrand size = 111, antiderivative size = 28 \[ \int \frac {6 x+15 e^4 x^3+3 e^9 x^3+\left (-6-20 e^4 x^2-4 e^9 x^2\right ) \log \left (5 e^{\frac {3}{5 e^4 x+e^9 x}}\right )+\left (5 e^4 x+e^9 x\right ) \log ^2\left (5 e^{\frac {3}{5 e^4 x+e^9 x}}\right )}{5 e^4 x+e^9 x} \, dx=x \left (x-\log \left (5 e^{\frac {3}{e^4 \left (5+e^5\right ) x}}\right )\right )^2 \]

[Out]

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

Rubi [F]

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

[In]

Int[(6*x + 15*E^4*x^3 + 3*E^9*x^3 + (-6 - 20*E^4*x^2 - 4*E^9*x^2)*Log[5*E^(3/(5*E^4*x + E^9*x))] + (5*E^4*x +
E^9*x)*Log[5*E^(3/(5*E^4*x + E^9*x))]^2)/(5*E^4*x + E^9*x),x]

[Out]

18/(E^8*(5 + E^5)^2*x) + x^3 - 2*x^2*Log[5*E^(3/(E^4*(5 + E^5)*x))] + (18*Log[x])/(E^8*(5 + E^5)^2*x) - (6*Log
[5*E^(3/(E^4*(5 + E^5)*x))]*Log[x])/(E^4*(5 + E^5)) + Defer[Int][Log[5*E^(3/(E^4*(5 + E^5)*x))]^2, x]

Rubi steps \begin{align*} \text {integral}& = \int \frac {6 x+15 e^4 x^3+3 e^9 x^3+\left (-6-20 e^4 x^2-4 e^9 x^2\right ) \log \left (5 e^{\frac {3}{5 e^4 x+e^9 x}}\right )+\left (5 e^4 x+e^9 x\right ) \log ^2\left (5 e^{\frac {3}{5 e^4 x+e^9 x}}\right )}{\left (5 e^4+e^9\right ) x} \, dx \\ & = \int \frac {6 x+\left (15 e^4+3 e^9\right ) x^3+\left (-6-20 e^4 x^2-4 e^9 x^2\right ) \log \left (5 e^{\frac {3}{5 e^4 x+e^9 x}}\right )+\left (5 e^4 x+e^9 x\right ) \log ^2\left (5 e^{\frac {3}{5 e^4 x+e^9 x}}\right )}{\left (5 e^4+e^9\right ) x} \, dx \\ & = \frac {\int \frac {6 x+\left (15 e^4+3 e^9\right ) x^3+\left (-6-20 e^4 x^2-4 e^9 x^2\right ) \log \left (5 e^{\frac {3}{5 e^4 x+e^9 x}}\right )+\left (5 e^4 x+e^9 x\right ) \log ^2\left (5 e^{\frac {3}{5 e^4 x+e^9 x}}\right )}{x} \, dx}{e^4 \left (5+e^5\right )} \\ & = \frac {\int \left (3 \left (2+e^4 \left (5+e^5\right ) x^2\right )+\frac {2 \left (-3-2 e^4 \left (5+e^5\right ) x^2\right ) \log \left (5 e^{\frac {3}{e^4 \left (5+e^5\right ) x}}\right )}{x}+e^4 \left (5+e^5\right ) \log ^2\left (5 e^{\frac {3}{e^4 \left (5+e^5\right ) x}}\right )\right ) \, dx}{e^4 \left (5+e^5\right )} \\ & = \frac {2 \int \frac {\left (-3-2 e^4 \left (5+e^5\right ) x^2\right ) \log \left (5 e^{\frac {3}{e^4 \left (5+e^5\right ) x}}\right )}{x} \, dx}{e^4 \left (5+e^5\right )}+\frac {3 \int \left (2+e^4 \left (5+e^5\right ) x^2\right ) \, dx}{e^4 \left (5+e^5\right )}+\int \log ^2\left (5 e^{\frac {3}{e^4 \left (5+e^5\right ) x}}\right ) \, dx \\ & = \frac {6 x}{e^4 \left (5+e^5\right )}+x^3+\frac {2 \int \left (-\frac {3 \log \left (5 e^{\frac {3}{e^4 \left (5+e^5\right ) x}}\right )}{x}+2 e^4 \left (-5-e^5\right ) x \log \left (5 e^{\frac {3}{e^4 \left (5+e^5\right ) x}}\right )\right ) \, dx}{e^4 \left (5+e^5\right )}+\int \log ^2\left (5 e^{\frac {3}{e^4 \left (5+e^5\right ) x}}\right ) \, dx \\ & = \frac {6 x}{e^4 \left (5+e^5\right )}+x^3-4 \int x \log \left (5 e^{\frac {3}{e^4 \left (5+e^5\right ) x}}\right ) \, dx-\frac {6 \int \frac {\log \left (5 e^{\frac {3}{e^4 \left (5+e^5\right ) x}}\right )}{x} \, dx}{e^4 \left (5+e^5\right )}+\int \log ^2\left (5 e^{\frac {3}{e^4 \left (5+e^5\right ) x}}\right ) \, dx \\ & = \frac {6 x}{e^4 \left (5+e^5\right )}+x^3-2 x^2 \log \left (5 e^{\frac {3}{e^4 \left (5+e^5\right ) x}}\right )-\frac {6 \log \left (5 e^{\frac {3}{e^4 \left (5+e^5\right ) x}}\right ) \log (x)}{e^4 \left (5+e^5\right )}+2 \int -\frac {3}{e^4 \left (5+e^5\right )} \, dx+\frac {6 \int -\frac {3 \log (x)}{e^4 \left (5+e^5\right ) x^2} \, dx}{e^4 \left (5+e^5\right )}+\int \log ^2\left (5 e^{\frac {3}{e^4 \left (5+e^5\right ) x}}\right ) \, dx \\ & = x^3-2 x^2 \log \left (5 e^{\frac {3}{e^4 \left (5+e^5\right ) x}}\right )-\frac {6 \log \left (5 e^{\frac {3}{e^4 \left (5+e^5\right ) x}}\right ) \log (x)}{e^4 \left (5+e^5\right )}-\frac {18 \int \frac {\log (x)}{x^2} \, dx}{e^8 \left (5+e^5\right )^2}+\int \log ^2\left (5 e^{\frac {3}{e^4 \left (5+e^5\right ) x}}\right ) \, dx \\ & = \frac {18}{e^8 \left (5+e^5\right )^2 x}+x^3-2 x^2 \log \left (5 e^{\frac {3}{e^4 \left (5+e^5\right ) x}}\right )+\frac {18 \log (x)}{e^8 \left (5+e^5\right )^2 x}-\frac {6 \log \left (5 e^{\frac {3}{e^4 \left (5+e^5\right ) x}}\right ) \log (x)}{e^4 \left (5+e^5\right )}+\int \log ^2\left (5 e^{\frac {3}{e^4 \left (5+e^5\right ) x}}\right ) \, dx \\ \end{align*}

Mathematica [B] (verified)

Leaf count is larger than twice the leaf count of optimal. \(125\) vs. \(2(28)=56\).

Time = 0.06 (sec) , antiderivative size = 125, normalized size of antiderivative = 4.46 \[ \int \frac {6 x+15 e^4 x^3+3 e^9 x^3+\left (-6-20 e^4 x^2-4 e^9 x^2\right ) \log \left (5 e^{\frac {3}{5 e^4 x+e^9 x}}\right )+\left (5 e^4 x+e^9 x\right ) \log ^2\left (5 e^{\frac {3}{5 e^4 x+e^9 x}}\right )}{5 e^4 x+e^9 x} \, dx=\frac {18+25 e^8 x^4+10 e^{13} x^4+e^{18} x^4-2 e^4 \left (5+e^5\right ) x \left (3+5 e^4 x^2+e^9 x^2\right ) \log \left (5 e^{\frac {3}{5 e^4 x+e^9 x}}\right )+e^8 \left (5+e^5\right )^2 x^2 \log ^2\left (5 e^{\frac {3}{5 e^4 x+e^9 x}}\right )}{e^8 \left (5+e^5\right )^2 x} \]

[In]

Integrate[(6*x + 15*E^4*x^3 + 3*E^9*x^3 + (-6 - 20*E^4*x^2 - 4*E^9*x^2)*Log[5*E^(3/(5*E^4*x + E^9*x))] + (5*E^
4*x + E^9*x)*Log[5*E^(3/(5*E^4*x + E^9*x))]^2)/(5*E^4*x + E^9*x),x]

[Out]

(18 + 25*E^8*x^4 + 10*E^13*x^4 + E^18*x^4 - 2*E^4*(5 + E^5)*x*(3 + 5*E^4*x^2 + E^9*x^2)*Log[5*E^(3/(5*E^4*x +
E^9*x))] + E^8*(5 + E^5)^2*x^2*Log[5*E^(3/(5*E^4*x + E^9*x))]^2)/(E^8*(5 + E^5)^2*x)

Maple [B] (verified)

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

Time = 0.44 (sec) , antiderivative size = 65, normalized size of antiderivative = 2.32

method	result	size
risch	\(x \ln \left ({\mathrm e}^{\frac {3}{x \left (5 \,{\mathrm e}^{4}+{\mathrm e}^{9}\right )}}\right )^{2}-x \left (-2 \ln \left (5\right )+2 x \right ) \ln \left ({\mathrm e}^{\frac {3}{x \left (5 \,{\mathrm e}^{4}+{\mathrm e}^{9}\right )}}\right )+x^{3}-2 x^{2} \ln \left (5\right )+x \ln \left (5\right )^{2}\)	\(65\)
parallelrisch	\(-\frac {\left (-135 x^{6} {\mathrm e}^{4}+54 \,{\mathrm e}^{5} {\mathrm e}^{4} x^{5} \ln \left (5 \,{\mathrm e}^{\frac {3 \,{\mathrm e}^{-4}}{\left ({\mathrm e}^{5}+5\right ) x}}\right )-27 \,{\mathrm e}^{5} {\mathrm e}^{4} x^{4} \ln \left (5 \,{\mathrm e}^{\frac {3 \,{\mathrm e}^{-4}}{\left ({\mathrm e}^{5}+5\right ) x}}\right )^{2}-27 \,{\mathrm e}^{4} x^{6} {\mathrm e}^{5}+270 \,{\mathrm e}^{4} x^{5} \ln \left (5 \,{\mathrm e}^{\frac {3 \,{\mathrm e}^{-4}}{\left ({\mathrm e}^{5}+5\right ) x}}\right )-135 \,{\mathrm e}^{4} x^{4} \ln \left (5 \,{\mathrm e}^{\frac {3 \,{\mathrm e}^{-4}}{\left ({\mathrm e}^{5}+5\right ) x}}\right )^{2}\right ) {\mathrm e}^{-4}}{27 \left ({\mathrm e}^{5}+5\right ) x^{3}}\)	\(145\)
default	\(\frac {{\mathrm e}^{-8} \left (x {\left (\ln \left (5 \,{\mathrm e}^{\frac {3}{x \,{\mathrm e}^{4} {\mathrm e}^{5}+5 x \,{\mathrm e}^{4}}}\right )-\frac {3}{x \,{\mathrm e}^{4} {\mathrm e}^{5}+5 x \,{\mathrm e}^{4}}\right )}^{2} \left (5 \,{\mathrm e}^{4}+{\mathrm e}^{9}\right )^{2}+6 \left (\ln \left (5 \,{\mathrm e}^{\frac {3}{x \,{\mathrm e}^{4} {\mathrm e}^{5}+5 x \,{\mathrm e}^{4}}}\right )-\frac {3}{x \,{\mathrm e}^{4} {\mathrm e}^{5}+5 x \,{\mathrm e}^{4}}\right ) \left (5 \,{\mathrm e}^{4}+{\mathrm e}^{9}\right ) \ln \left (x \right )-\frac {9}{x}\right )}{\left ({\mathrm e}^{5}+5\right )^{2}}+\frac {3 \,{\mathrm e}^{-4} \left (\frac {x^{3} {\mathrm e}^{4} {\mathrm e}^{5}}{3}+\frac {5 x^{3} {\mathrm e}^{4}}{3}+2 x \right )}{{\mathrm e}^{5}+5}-\frac {2 \,{\mathrm e}^{-4} \left (5 \,{\mathrm e}^{4} \ln \left (5 \,{\mathrm e}^{\frac {3}{x \,{\mathrm e}^{4} {\mathrm e}^{5}+5 x \,{\mathrm e}^{4}}}\right ) x^{2}+{\mathrm e}^{9} \ln \left (5 \,{\mathrm e}^{\frac {3}{x \,{\mathrm e}^{4} {\mathrm e}^{5}+5 x \,{\mathrm e}^{4}}}\right ) x^{2}+3 \ln \left (x \right ) \ln \left (5 \,{\mathrm e}^{\frac {3}{x \,{\mathrm e}^{4} {\mathrm e}^{5}+5 x \,{\mathrm e}^{4}}}\right )-\left (-\frac {3 \,{\mathrm e}^{4} {\mathrm e}^{5}}{2}-\frac {15 \,{\mathrm e}^{4}}{2}\right ) \left (\frac {10 \,{\mathrm e}^{-4} x}{\left ({\mathrm e}^{5}+5\right )^{2}}+\frac {2 \,{\mathrm e}^{-8} {\mathrm e}^{9} x}{\left ({\mathrm e}^{5}+5\right )^{2}}+\frac {6 \,{\mathrm e}^{-8} \left (-\frac {\ln \left (x \right )}{x}-\frac {1}{x}\right )}{\left ({\mathrm e}^{5}+5\right )^{2}}\right )\right )}{{\mathrm e}^{5}+5}\)	\(306\)
parts	\(\frac {{\mathrm e}^{-8} \left (x {\left (\ln \left (5 \,{\mathrm e}^{\frac {3}{x \,{\mathrm e}^{4} {\mathrm e}^{5}+5 x \,{\mathrm e}^{4}}}\right )-\frac {3}{x \,{\mathrm e}^{4} {\mathrm e}^{5}+5 x \,{\mathrm e}^{4}}\right )}^{2} \left (5 \,{\mathrm e}^{4}+{\mathrm e}^{9}\right )^{2}+6 \left (\ln \left (5 \,{\mathrm e}^{\frac {3}{x \,{\mathrm e}^{4} {\mathrm e}^{5}+5 x \,{\mathrm e}^{4}}}\right )-\frac {3}{x \,{\mathrm e}^{4} {\mathrm e}^{5}+5 x \,{\mathrm e}^{4}}\right ) \left (5 \,{\mathrm e}^{4}+{\mathrm e}^{9}\right ) \ln \left (x \right )-\frac {9}{x}\right )}{\left ({\mathrm e}^{5}+5\right )^{2}}+\frac {3 \,{\mathrm e}^{-4} \left (\frac {x^{3} {\mathrm e}^{4} {\mathrm e}^{5}}{3}+\frac {5 x^{3} {\mathrm e}^{4}}{3}+2 x \right )}{{\mathrm e}^{5}+5}-\frac {2 \,{\mathrm e}^{-4} \left (5 \,{\mathrm e}^{4} \ln \left (5 \,{\mathrm e}^{\frac {3}{x \,{\mathrm e}^{4} {\mathrm e}^{5}+5 x \,{\mathrm e}^{4}}}\right ) x^{2}+{\mathrm e}^{9} \ln \left (5 \,{\mathrm e}^{\frac {3}{x \,{\mathrm e}^{4} {\mathrm e}^{5}+5 x \,{\mathrm e}^{4}}}\right ) x^{2}+3 \ln \left (x \right ) \ln \left (5 \,{\mathrm e}^{\frac {3}{x \,{\mathrm e}^{4} {\mathrm e}^{5}+5 x \,{\mathrm e}^{4}}}\right )-\left (-\frac {3 \,{\mathrm e}^{4} {\mathrm e}^{5}}{2}-\frac {15 \,{\mathrm e}^{4}}{2}\right ) \left (\frac {10 \,{\mathrm e}^{-4} x}{\left ({\mathrm e}^{5}+5\right )^{2}}+\frac {2 \,{\mathrm e}^{-8} {\mathrm e}^{9} x}{\left ({\mathrm e}^{5}+5\right )^{2}}+\frac {6 \,{\mathrm e}^{-8} \left (-\frac {\ln \left (x \right )}{x}-\frac {1}{x}\right )}{\left ({\mathrm e}^{5}+5\right )^{2}}\right )\right )}{{\mathrm e}^{5}+5}\)	\(306\)

[In]

int(((x*exp(4)*exp(5)+5*x*exp(4))*ln(5*exp(3/(x*exp(4)*exp(5)+5*x*exp(4))))^2+(-4*x^2*exp(4)*exp(5)-20*x^2*exp
(4)-6)*ln(5*exp(3/(x*exp(4)*exp(5)+5*x*exp(4))))+3*x^3*exp(4)*exp(5)+15*x^3*exp(4)+6*x)/(x*exp(4)*exp(5)+5*x*e
xp(4)),x,method=_RETURNVERBOSE)

[Out]

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

Fricas [B] (verification not implemented)

Leaf count of result is larger than twice the leaf count of optimal. 105 vs. \(2 (25) = 50\).

Time = 0.26 (sec) , antiderivative size = 105, normalized size of antiderivative = 3.75 \[ \int \frac {6 x+15 e^4 x^3+3 e^9 x^3+\left (-6-20 e^4 x^2-4 e^9 x^2\right ) \log \left (5 e^{\frac {3}{5 e^4 x+e^9 x}}\right )+\left (5 e^4 x+e^9 x\right ) \log ^2\left (5 e^{\frac {3}{5 e^4 x+e^9 x}}\right )}{5 e^4 x+e^9 x} \, dx=\frac {x^{4} e^{18} + 10 \, x^{4} e^{13} + 25 \, x^{4} e^{8} - 6 \, x^{2} e^{9} - 30 \, x^{2} e^{4} + {\left (x^{2} e^{18} + 10 \, x^{2} e^{13} + 25 \, x^{2} e^{8}\right )} \log \left (5\right )^{2} - 2 \, {\left (x^{3} e^{18} + 10 \, x^{3} e^{13} + 25 \, x^{3} e^{8}\right )} \log \left (5\right ) + 9}{x e^{18} + 10 \, x e^{13} + 25 \, x e^{8}} \]

[In]

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

[Out]

(x^4*e^18 + 10*x^4*e^13 + 25*x^4*e^8 - 6*x^2*e^9 - 30*x^2*e^4 + (x^2*e^18 + 10*x^2*e^13 + 25*x^2*e^8)*log(5)^2
- 2*(x^3*e^18 + 10*x^3*e^13 + 25*x^3*e^8)*log(5) + 9)/(x*e^18 + 10*x*e^13 + 25*x*e^8)

Sympy [B] (verification not implemented)

Leaf count of result is larger than twice the leaf count of optimal. 104 vs. \(2 (20) = 40\).

Time = 0.16 (sec) , antiderivative size = 104, normalized size of antiderivative = 3.71 \[ \int \frac {6 x+15 e^4 x^3+3 e^9 x^3+\left (-6-20 e^4 x^2-4 e^9 x^2\right ) \log \left (5 e^{\frac {3}{5 e^4 x+e^9 x}}\right )+\left (5 e^4 x+e^9 x\right ) \log ^2\left (5 e^{\frac {3}{5 e^4 x+e^9 x}}\right )}{5 e^4 x+e^9 x} \, dx=\frac {x^{3} \cdot \left (25 e^{8} + 10 e^{13} + e^{18}\right ) + x^{2} \left (- 2 e^{18} \log {\left (5 \right )} - 20 e^{13} \log {\left (5 \right )} - 50 e^{8} \log {\left (5 \right )}\right ) + x \left (- 6 e^{9} - 30 e^{4} + 25 e^{8} \log {\left (5 \right )}^{2} + 10 e^{13} \log {\left (5 \right )}^{2} + e^{18} \log {\left (5 \right )}^{2}\right ) + \frac {9}{x}}{25 e^{8} + 10 e^{13} + e^{18}} \]

[In]

integrate(((x*exp(4)*exp(5)+5*x*exp(4))*ln(5*exp(3/(x*exp(4)*exp(5)+5*x*exp(4))))**2+(-4*x**2*exp(4)*exp(5)-20
*x**2*exp(4)-6)*ln(5*exp(3/(x*exp(4)*exp(5)+5*x*exp(4))))+3*x**3*exp(4)*exp(5)+15*x**3*exp(4)+6*x)/(x*exp(4)*e
xp(5)+5*x*exp(4)),x)

[Out]

(x**3*(25*exp(8) + 10*exp(13) + exp(18)) + x**2*(-2*exp(18)*log(5) - 20*exp(13)*log(5) - 50*exp(8)*log(5)) + x
*(-6*exp(9) - 30*exp(4) + 25*exp(8)*log(5)**2 + 10*exp(13)*log(5)**2 + exp(18)*log(5)**2) + 9/x)/(25*exp(8) +
10*exp(13) + exp(18))

Maxima [B] (verification not implemented)

Leaf count of result is larger than twice the leaf count of optimal. 512 vs. \(2 (25) = 50\).

Time = 0.22 (sec) , antiderivative size = 512, normalized size of antiderivative = 18.29 \[ \int \frac {6 x+15 e^4 x^3+3 e^9 x^3+\left (-6-20 e^4 x^2-4 e^9 x^2\right ) \log \left (5 e^{\frac {3}{5 e^4 x+e^9 x}}\right )+\left (5 e^4 x+e^9 x\right ) \log ^2\left (5 e^{\frac {3}{5 e^4 x+e^9 x}}\right )}{5 e^4 x+e^9 x} \, dx=\frac {x^{3} e^{9}}{e^{9} + 5 \, e^{4}} + \frac {5 \, x^{3} e^{4}}{e^{9} + 5 \, e^{4}} - \frac {2 \, x^{2} e^{9} \log \left (5 \, e^{\left (\frac {3}{x e^{9} + 5 \, x e^{4}}\right )}\right )}{e^{9} + 5 \, e^{4}} - \frac {10 \, x^{2} e^{4} \log \left (5 \, e^{\left (\frac {3}{x e^{9} + 5 \, x e^{4}}\right )}\right )}{e^{9} + 5 \, e^{4}} + \frac {x e^{9} \log \left (5 \, e^{\left (\frac {3}{x e^{9} + 5 \, x e^{4}}\right )}\right )^{2}}{e^{9} + 5 \, e^{4}} + \frac {5 \, x e^{4} \log \left (5 \, e^{\left (\frac {3}{x e^{9} + 5 \, x e^{4}}\right )}\right )^{2}}{e^{9} + 5 \, e^{4}} - 6 \, {\left (\frac {3 \, {\left (\frac {\log \left (x\right )}{{\left (x e^{9} + 5 \, x e^{4}\right )} {\left (e^{9} + 5 \, e^{4}\right )}} + \frac {1}{x {\left (e^{9} + 5 \, e^{4}\right )}^{2}}\right )} {\left (e^{9} + 5 \, e^{4}\right )}}{e^{18} + 10 \, e^{13} + 25 \, e^{8}} - \frac {\log \left (x\right ) \log \left (5 \, e^{\left (\frac {3}{x e^{9} + 5 \, x e^{4}}\right )}\right )}{e^{18} + 10 \, e^{13} + 25 \, e^{8}}\right )} e^{9} - 30 \, {\left (\frac {3 \, {\left (\frac {\log \left (x\right )}{{\left (x e^{9} + 5 \, x e^{4}\right )} {\left (e^{9} + 5 \, e^{4}\right )}} + \frac {1}{x {\left (e^{9} + 5 \, e^{4}\right )}^{2}}\right )} {\left (e^{9} + 5 \, e^{4}\right )}}{e^{18} + 10 \, e^{13} + 25 \, e^{8}} - \frac {\log \left (x\right ) \log \left (5 \, e^{\left (\frac {3}{x e^{9} + 5 \, x e^{4}}\right )}\right )}{e^{18} + 10 \, e^{13} + 25 \, e^{8}}\right )} e^{4} - \frac {6 \, x e^{9}}{e^{18} + 10 \, e^{13} + 25 \, e^{8}} - \frac {30 \, x e^{4}}{e^{18} + 10 \, e^{13} + 25 \, e^{8}} - \frac {6 \, \log \left (x e^{9} + 5 \, x e^{4}\right ) \log \left (5 \, e^{\left (\frac {3}{x e^{9} + 5 \, x e^{4}}\right )}\right )}{e^{9} + 5 \, e^{4}} + \frac {6 \, x}{e^{9} + 5 \, e^{4}} + \frac {18 \, \log \left (x e^{9} + 5 \, x e^{4}\right )}{{\left (x e^{9} + 5 \, x e^{4}\right )} {\left (e^{9} + 5 \, e^{4}\right )}} + \frac {18}{{\left (x e^{9} + 5 \, x e^{4}\right )} {\left (e^{9} + 5 \, e^{4}\right )}} \]

[In]

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

[Out]

x^3*e^9/(e^9 + 5*e^4) + 5*x^3*e^4/(e^9 + 5*e^4) - 2*x^2*e^9*log(5*e^(3/(x*e^9 + 5*x*e^4)))/(e^9 + 5*e^4) - 10*
x^2*e^4*log(5*e^(3/(x*e^9 + 5*x*e^4)))/(e^9 + 5*e^4) + x*e^9*log(5*e^(3/(x*e^9 + 5*x*e^4)))^2/(e^9 + 5*e^4) +
5*x*e^4*log(5*e^(3/(x*e^9 + 5*x*e^4)))^2/(e^9 + 5*e^4) - 6*(3*(log(x)/((x*e^9 + 5*x*e^4)*(e^9 + 5*e^4)) + 1/(x
*(e^9 + 5*e^4)^2))*(e^9 + 5*e^4)/(e^18 + 10*e^13 + 25*e^8) - log(x)*log(5*e^(3/(x*e^9 + 5*x*e^4)))/(e^18 + 10*
e^13 + 25*e^8))*e^9 - 30*(3*(log(x)/((x*e^9 + 5*x*e^4)*(e^9 + 5*e^4)) + 1/(x*(e^9 + 5*e^4)^2))*(e^9 + 5*e^4)/(
e^18 + 10*e^13 + 25*e^8) - log(x)*log(5*e^(3/(x*e^9 + 5*x*e^4)))/(e^18 + 10*e^13 + 25*e^8))*e^4 - 6*x*e^9/(e^1
8 + 10*e^13 + 25*e^8) - 30*x*e^4/(e^18 + 10*e^13 + 25*e^8) - 6*log(x*e^9 + 5*x*e^4)*log(5*e^(3/(x*e^9 + 5*x*e^
4)))/(e^9 + 5*e^4) + 6*x/(e^9 + 5*e^4) + 18*log(x*e^9 + 5*x*e^4)/((x*e^9 + 5*x*e^4)*(e^9 + 5*e^4)) + 18/((x*e^
9 + 5*x*e^4)*(e^9 + 5*e^4))

Giac [B] (verification not implemented)

Leaf count of result is larger than twice the leaf count of optimal. 357 vs. \(2 (25) = 50\).

Time = 0.31 (sec) , antiderivative size = 357, normalized size of antiderivative = 12.75 \[ \int \frac {6 x+15 e^4 x^3+3 e^9 x^3+\left (-6-20 e^4 x^2-4 e^9 x^2\right ) \log \left (5 e^{\frac {3}{5 e^4 x+e^9 x}}\right )+\left (5 e^4 x+e^9 x\right ) \log ^2\left (5 e^{\frac {3}{5 e^4 x+e^9 x}}\right )}{5 e^4 x+e^9 x} \, dx=\frac {x^{3} e^{81} + 45 \, x^{3} e^{76} + 900 \, x^{3} e^{71} + 10500 \, x^{3} e^{66} + 78750 \, x^{3} e^{61} + 393750 \, x^{3} e^{56} + 1312500 \, x^{3} e^{51} + 2812500 \, x^{3} e^{46} + 3515625 \, x^{3} e^{41} + 1953125 \, x^{3} e^{36} - 2 \, x^{2} e^{81} \log \left (5\right ) - 90 \, x^{2} e^{76} \log \left (5\right ) - 1800 \, x^{2} e^{71} \log \left (5\right ) - 21000 \, x^{2} e^{66} \log \left (5\right ) - 157500 \, x^{2} e^{61} \log \left (5\right ) - 787500 \, x^{2} e^{56} \log \left (5\right ) - 2625000 \, x^{2} e^{51} \log \left (5\right ) - 5625000 \, x^{2} e^{46} \log \left (5\right ) - 7031250 \, x^{2} e^{41} \log \left (5\right ) - 3906250 \, x^{2} e^{36} \log \left (5\right ) + x e^{81} \log \left (5\right )^{2} + 45 \, x e^{76} \log \left (5\right )^{2} + 900 \, x e^{71} \log \left (5\right )^{2} + 10500 \, x e^{66} \log \left (5\right )^{2} + 78750 \, x e^{61} \log \left (5\right )^{2} + 393750 \, x e^{56} \log \left (5\right )^{2} + 1312500 \, x e^{51} \log \left (5\right )^{2} + 2812500 \, x e^{46} \log \left (5\right )^{2} + 3515625 \, x e^{41} \log \left (5\right )^{2} + 1953125 \, x e^{36} \log \left (5\right )^{2} - 6 \, x e^{72} - 240 \, x e^{67} - 4200 \, x e^{62} - 42000 \, x e^{57} - 262500 \, x e^{52} - 1050000 \, x e^{47} - 2625000 \, x e^{42} - 3750000 \, x e^{37} - 2343750 \, x e^{32}}{e^{81} + 45 \, e^{76} + 900 \, e^{71} + 10500 \, e^{66} + 78750 \, e^{61} + 393750 \, e^{56} + 1312500 \, e^{51} + 2812500 \, e^{46} + 3515625 \, e^{41} + 1953125 \, e^{36}} + \frac {9 \, {\left (e^{9} + 5 \, e^{4}\right )} e^{\left (-12\right )}}{x {\left (e^{5} + 5\right )}^{3}} \]

[In]

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

[Out]

(x^3*e^81 + 45*x^3*e^76 + 900*x^3*e^71 + 10500*x^3*e^66 + 78750*x^3*e^61 + 393750*x^3*e^56 + 1312500*x^3*e^51
+ 2812500*x^3*e^46 + 3515625*x^3*e^41 + 1953125*x^3*e^36 - 2*x^2*e^81*log(5) - 90*x^2*e^76*log(5) - 1800*x^2*e
^71*log(5) - 21000*x^2*e^66*log(5) - 157500*x^2*e^61*log(5) - 787500*x^2*e^56*log(5) - 2625000*x^2*e^51*log(5)
- 5625000*x^2*e^46*log(5) - 7031250*x^2*e^41*log(5) - 3906250*x^2*e^36*log(5) + x*e^81*log(5)^2 + 45*x*e^76*l
og(5)^2 + 900*x*e^71*log(5)^2 + 10500*x*e^66*log(5)^2 + 78750*x*e^61*log(5)^2 + 393750*x*e^56*log(5)^2 + 13125
00*x*e^51*log(5)^2 + 2812500*x*e^46*log(5)^2 + 3515625*x*e^41*log(5)^2 + 1953125*x*e^36*log(5)^2 - 6*x*e^72 -
240*x*e^67 - 4200*x*e^62 - 42000*x*e^57 - 262500*x*e^52 - 1050000*x*e^47 - 2625000*x*e^42 - 3750000*x*e^37 - 2
343750*x*e^32)/(e^81 + 45*e^76 + 900*e^71 + 10500*e^66 + 78750*e^61 + 393750*e^56 + 1312500*e^51 + 2812500*e^4
6 + 3515625*e^41 + 1953125*e^36) + 9*(e^9 + 5*e^4)*e^(-12)/(x*(e^5 + 5)^3)

Mupad [B] (verification not implemented)

Time = 14.24 (sec) , antiderivative size = 75, normalized size of antiderivative = 2.68 \[ \int \frac {6 x+15 e^4 x^3+3 e^9 x^3+\left (-6-20 e^4 x^2-4 e^9 x^2\right ) \log \left (5 e^{\frac {3}{5 e^4 x+e^9 x}}\right )+\left (5 e^4 x+e^9 x\right ) \log ^2\left (5 e^{\frac {3}{5 e^4 x+e^9 x}}\right )}{5 e^4 x+e^9 x} \, dx=\frac {{\mathrm {e}}^8\,{\left ({\mathrm {e}}^5+5\right )}^2\,x^5-2\,{\mathrm {e}}^8\,\ln \left (5\right )\,{\left ({\mathrm {e}}^5+5\right )}^2\,x^4+{\mathrm {e}}^4\,\left ({\mathrm {e}}^5+5\right )\,\left (5\,{\mathrm {e}}^4\,{\ln \left (5\right )}^2+{\mathrm {e}}^9\,{\ln \left (5\right )}^2-6\right )\,x^3+9\,x}{x^2\,\left (25\,{\mathrm {e}}^8+10\,{\mathrm {e}}^{13}+{\mathrm {e}}^{18}\right )} \]

[In]

int((6*x + log(5*exp(3/(5*x*exp(4) + x*exp(9))))^2*(5*x*exp(4) + x*exp(9)) + 15*x^3*exp(4) + 3*x^3*exp(9) - lo
g(5*exp(3/(5*x*exp(4) + x*exp(9))))*(20*x^2*exp(4) + 4*x^2*exp(9) + 6))/(5*x*exp(4) + x*exp(9)),x)

[Out]

(9*x + x^5*exp(8)*(exp(5) + 5)^2 - 2*x^4*exp(8)*log(5)*(exp(5) + 5)^2 + x^3*exp(4)*(exp(5) + 5)*(5*exp(4)*log(
5)^2 + exp(9)*log(5)^2 - 6))/(x^2*(25*exp(8) + 10*exp(13) + exp(18)))