3.24.36 \(\int \frac {-19 x-12 x^2+e^2 (15+10 x)+(-10 e^2+12 x) \log ^2(5)+(-3 x-2 x^2+e^2 (3+2 x)+(-2 e^2+2 x) \log ^2(5)) \log (-e^2+x)+(2+x-\log ^2(5)) \log (2+x-\log ^2(5))}{-20 x^2-10 x^3+e^2 (20 x+10 x^2)+(-10 e^2 x+10 x^2) \log ^2(5)+(e^2 (-10-5 x)+10 x+5 x^2+(5 e^2-5 x) \log ^2(5)) \log (2+x-\log ^2(5))+\log (-e^2+x) (-4 x^2-2 x^3+e^2 (4 x+2 x^2)+(-2 e^2 x+2 x^2) \log ^2(5)+(e^2 (-2-x)+2 x+x^2+(e^2-x) \log ^2(5)) \log (2+x-\log ^2(5)))} \, dx\) [2336]

3.24.36.1 Optimal result
3.24.36.2 Mathematica [A] (verified)
3.24.36.3 Rubi [A] (verified)
3.24.36.4 Maple [A] (verified)
3.24.36.5 Fricas [A] (verification not implemented)
3.24.36.6 Sympy [A] (verification not implemented)
3.24.36.7 Maxima [A] (verification not implemented)
3.24.36.8 Giac [A] (verification not implemented)
3.24.36.9 Mupad [B] (verification not implemented)

3.24.36.1 Optimal result

Integrand size = 269, antiderivative size = 30 \[ \int \frac {-19 x-12 x^2+e^2 (15+10 x)+\left (-10 e^2+12 x\right ) \log ^2(5)+\left (-3 x-2 x^2+e^2 (3+2 x)+\left (-2 e^2+2 x\right ) \log ^2(5)\right ) \log \left (-e^2+x\right )+\left (2+x-\log ^2(5)\right ) \log \left (2+x-\log ^2(5)\right )}{-20 x^2-10 x^3+e^2 \left (20 x+10 x^2\right )+\left (-10 e^2 x+10 x^2\right ) \log ^2(5)+\left (e^2 (-10-5 x)+10 x+5 x^2+\left (5 e^2-5 x\right ) \log ^2(5)\right ) \log \left (2+x-\log ^2(5)\right )+\log \left (-e^2+x\right ) \left (-4 x^2-2 x^3+e^2 \left (4 x+2 x^2\right )+\left (-2 e^2 x+2 x^2\right ) \log ^2(5)+\left (e^2 (-2-x)+2 x+x^2+\left (e^2-x\right ) \log ^2(5)\right ) \log \left (2+x-\log ^2(5)\right )\right )} \, dx=\log \left (\left (5+\log \left (-e^2+x\right )\right ) \left (-x+\frac {1}{2} \log \left (2+x-\log ^2(5)\right )\right )\right ) \]

output
ln((ln(x-exp(2))+5)*(1/2*ln(-ln(5)^2+2+x)-x))
 
3.24.36.2 Mathematica [A] (verified)

Time = 0.09 (sec) , antiderivative size = 29, normalized size of antiderivative = 0.97 \[ \int \frac {-19 x-12 x^2+e^2 (15+10 x)+\left (-10 e^2+12 x\right ) \log ^2(5)+\left (-3 x-2 x^2+e^2 (3+2 x)+\left (-2 e^2+2 x\right ) \log ^2(5)\right ) \log \left (-e^2+x\right )+\left (2+x-\log ^2(5)\right ) \log \left (2+x-\log ^2(5)\right )}{-20 x^2-10 x^3+e^2 \left (20 x+10 x^2\right )+\left (-10 e^2 x+10 x^2\right ) \log ^2(5)+\left (e^2 (-10-5 x)+10 x+5 x^2+\left (5 e^2-5 x\right ) \log ^2(5)\right ) \log \left (2+x-\log ^2(5)\right )+\log \left (-e^2+x\right ) \left (-4 x^2-2 x^3+e^2 \left (4 x+2 x^2\right )+\left (-2 e^2 x+2 x^2\right ) \log ^2(5)+\left (e^2 (-2-x)+2 x+x^2+\left (e^2-x\right ) \log ^2(5)\right ) \log \left (2+x-\log ^2(5)\right )\right )} \, dx=\log \left (5+\log \left (-e^2+x\right )\right )+\log \left (2 x-\log \left (2+x-\log ^2(5)\right )\right ) \]

input
Integrate[(-19*x - 12*x^2 + E^2*(15 + 10*x) + (-10*E^2 + 12*x)*Log[5]^2 + 
(-3*x - 2*x^2 + E^2*(3 + 2*x) + (-2*E^2 + 2*x)*Log[5]^2)*Log[-E^2 + x] + ( 
2 + x - Log[5]^2)*Log[2 + x - Log[5]^2])/(-20*x^2 - 10*x^3 + E^2*(20*x + 1 
0*x^2) + (-10*E^2*x + 10*x^2)*Log[5]^2 + (E^2*(-10 - 5*x) + 10*x + 5*x^2 + 
 (5*E^2 - 5*x)*Log[5]^2)*Log[2 + x - Log[5]^2] + Log[-E^2 + x]*(-4*x^2 - 2 
*x^3 + E^2*(4*x + 2*x^2) + (-2*E^2*x + 2*x^2)*Log[5]^2 + (E^2*(-2 - x) + 2 
*x + x^2 + (E^2 - x)*Log[5]^2)*Log[2 + x - Log[5]^2])),x]
 
output
Log[5 + Log[-E^2 + x]] + Log[2*x - Log[2 + x - Log[5]^2]]
 
3.24.36.3 Rubi [A] (verified)

Time = 3.42 (sec) , antiderivative size = 29, normalized size of antiderivative = 0.97, number of steps used = 3, number of rules used = 3, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.011, Rules used = {7239, 7293, 2009}

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 {-12 x^2+\left (-2 x^2-3 x+e^2 (2 x+3)+\left (2 x-2 e^2\right ) \log ^2(5)\right ) \log \left (x-e^2\right )-19 x+e^2 (10 x+15)+\left (x+2-\log ^2(5)\right ) \log \left (x+2-\log ^2(5)\right )+\left (12 x-10 e^2\right ) \log ^2(5)}{-10 x^3-20 x^2+e^2 \left (10 x^2+20 x\right )+\left (5 x^2+10 x+e^2 (-5 x-10)+\left (5 e^2-5 x\right ) \log ^2(5)\right ) \log \left (x+2-\log ^2(5)\right )+\left (10 x^2-10 e^2 x\right ) \log ^2(5)+\log \left (x-e^2\right ) \left (-2 x^3-4 x^2+e^2 \left (2 x^2+4 x\right )+\left (x^2+2 x+e^2 (-x-2)+\left (e^2-x\right ) \log ^2(5)\right ) \log \left (x+2-\log ^2(5)\right )+\left (2 x^2-2 e^2 x\right ) \log ^2(5)\right )} \, dx\)

\(\Big \downarrow \) 7239

\(\displaystyle \int \frac {-12 x^2-19 x \left (1-\frac {2}{19} \left (5 e^2+6 \log ^2(5)\right )\right )+\left (e^2-x\right ) \left (2 x+3-2 \log ^2(5)\right ) \log \left (x-e^2\right )+\left (x+2-\log ^2(5)\right ) \log \left (x+2-\log ^2(5)\right )+15 e^2 \left (1-\frac {2 \log ^2(5)}{3}\right )}{\left (e^2-x\right ) \left (x+2-\log ^2(5)\right ) \left (\log \left (x-e^2\right )+5\right ) \left (2 x-\log \left (x+2-\log ^2(5)\right )\right )}dx\)

\(\Big \downarrow \) 7293

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

\(\Big \downarrow \) 2009

\(\displaystyle \log \left (2 x-\log \left (x+2-\log ^2(5)\right )\right )+\log \left (\log \left (x-e^2\right )+5\right )\)

input
Int[(-19*x - 12*x^2 + E^2*(15 + 10*x) + (-10*E^2 + 12*x)*Log[5]^2 + (-3*x 
- 2*x^2 + E^2*(3 + 2*x) + (-2*E^2 + 2*x)*Log[5]^2)*Log[-E^2 + x] + (2 + x 
- Log[5]^2)*Log[2 + x - Log[5]^2])/(-20*x^2 - 10*x^3 + E^2*(20*x + 10*x^2) 
 + (-10*E^2*x + 10*x^2)*Log[5]^2 + (E^2*(-10 - 5*x) + 10*x + 5*x^2 + (5*E^ 
2 - 5*x)*Log[5]^2)*Log[2 + x - Log[5]^2] + Log[-E^2 + x]*(-4*x^2 - 2*x^3 + 
 E^2*(4*x + 2*x^2) + (-2*E^2*x + 2*x^2)*Log[5]^2 + (E^2*(-2 - x) + 2*x + x 
^2 + (E^2 - x)*Log[5]^2)*Log[2 + x - Log[5]^2])),x]
 
output
Log[5 + Log[-E^2 + x]] + Log[2*x - Log[2 + x - Log[5]^2]]
 

3.24.36.3.1 Defintions of rubi rules used

rule 2009
Int[u_, x_Symbol] :> Simp[IntSum[u, x], x] /; SumQ[u]
 

rule 7239
Int[u_, x_Symbol] :> With[{v = SimplifyIntegrand[u, x]}, Int[v, x] /; Simpl 
erIntegrandQ[v, u, x]]
 

rule 7293
Int[u_, x_Symbol] :> With[{v = ExpandIntegrand[u, x]}, Int[v, x] /; SumQ[v] 
]
 
3.24.36.4 Maple [A] (verified)

Time = 2.67 (sec) , antiderivative size = 27, normalized size of antiderivative = 0.90

method result size
risch \(\ln \left (\ln \left (x -{\mathrm e}^{2}\right )+5\right )+\ln \left (-2 x +\ln \left (-\ln \left (5\right )^{2}+2+x \right )\right )\) \(27\)
parallelrisch \(\ln \left (x -\frac {\ln \left (-\ln \left (5\right )^{2}+2+x \right )}{2}\right )+\ln \left (\ln \left (x -{\mathrm e}^{2}\right )+5\right )\) \(27\)
default \(\ln \left (\ln \left (x -{\mathrm e}^{2}\right )+5\right )+\ln \left (2 x -\ln \left (-\ln \left (5\right )^{2}+2+x \right )\right )\) \(29\)

input
int((((-2*exp(2)+2*x)*ln(5)^2+(3+2*x)*exp(2)-2*x^2-3*x)*ln(x-exp(2))+(-ln( 
5)^2+2+x)*ln(-ln(5)^2+2+x)+(-10*exp(2)+12*x)*ln(5)^2+(10*x+15)*exp(2)-12*x 
^2-19*x)/((((exp(2)-x)*ln(5)^2+(-2-x)*exp(2)+x^2+2*x)*ln(-ln(5)^2+2+x)+(-2 
*exp(2)*x+2*x^2)*ln(5)^2+(2*x^2+4*x)*exp(2)-2*x^3-4*x^2)*ln(x-exp(2))+((5* 
exp(2)-5*x)*ln(5)^2+(-5*x-10)*exp(2)+5*x^2+10*x)*ln(-ln(5)^2+2+x)+(-10*exp 
(2)*x+10*x^2)*ln(5)^2+(10*x^2+20*x)*exp(2)-10*x^3-20*x^2),x,method=_RETURN 
VERBOSE)
 
output
ln(ln(x-exp(2))+5)+ln(-2*x+ln(-ln(5)^2+2+x))
 
3.24.36.5 Fricas [A] (verification not implemented)

Time = 0.26 (sec) , antiderivative size = 26, normalized size of antiderivative = 0.87 \[ \int \frac {-19 x-12 x^2+e^2 (15+10 x)+\left (-10 e^2+12 x\right ) \log ^2(5)+\left (-3 x-2 x^2+e^2 (3+2 x)+\left (-2 e^2+2 x\right ) \log ^2(5)\right ) \log \left (-e^2+x\right )+\left (2+x-\log ^2(5)\right ) \log \left (2+x-\log ^2(5)\right )}{-20 x^2-10 x^3+e^2 \left (20 x+10 x^2\right )+\left (-10 e^2 x+10 x^2\right ) \log ^2(5)+\left (e^2 (-10-5 x)+10 x+5 x^2+\left (5 e^2-5 x\right ) \log ^2(5)\right ) \log \left (2+x-\log ^2(5)\right )+\log \left (-e^2+x\right ) \left (-4 x^2-2 x^3+e^2 \left (4 x+2 x^2\right )+\left (-2 e^2 x+2 x^2\right ) \log ^2(5)+\left (e^2 (-2-x)+2 x+x^2+\left (e^2-x\right ) \log ^2(5)\right ) \log \left (2+x-\log ^2(5)\right )\right )} \, dx=\log \left (-2 \, x + \log \left (-\log \left (5\right )^{2} + x + 2\right )\right ) + \log \left (\log \left (x - e^{2}\right ) + 5\right ) \]

input
integrate((((-2*exp(2)+2*x)*log(5)^2+(3+2*x)*exp(2)-2*x^2-3*x)*log(x-exp(2 
))+(-log(5)^2+2+x)*log(-log(5)^2+2+x)+(-10*exp(2)+12*x)*log(5)^2+(10*x+15) 
*exp(2)-12*x^2-19*x)/((((exp(2)-x)*log(5)^2+(-2-x)*exp(2)+x^2+2*x)*log(-lo 
g(5)^2+2+x)+(-2*exp(2)*x+2*x^2)*log(5)^2+(2*x^2+4*x)*exp(2)-2*x^3-4*x^2)*l 
og(x-exp(2))+((5*exp(2)-5*x)*log(5)^2+(-5*x-10)*exp(2)+5*x^2+10*x)*log(-lo 
g(5)^2+2+x)+(-10*exp(2)*x+10*x^2)*log(5)^2+(10*x^2+20*x)*exp(2)-10*x^3-20* 
x^2),x, algorithm=\
 
output
log(-2*x + log(-log(5)^2 + x + 2)) + log(log(x - e^2) + 5)
 
3.24.36.6 Sympy [A] (verification not implemented)

Time = 0.22 (sec) , antiderivative size = 24, normalized size of antiderivative = 0.80 \[ \int \frac {-19 x-12 x^2+e^2 (15+10 x)+\left (-10 e^2+12 x\right ) \log ^2(5)+\left (-3 x-2 x^2+e^2 (3+2 x)+\left (-2 e^2+2 x\right ) \log ^2(5)\right ) \log \left (-e^2+x\right )+\left (2+x-\log ^2(5)\right ) \log \left (2+x-\log ^2(5)\right )}{-20 x^2-10 x^3+e^2 \left (20 x+10 x^2\right )+\left (-10 e^2 x+10 x^2\right ) \log ^2(5)+\left (e^2 (-10-5 x)+10 x+5 x^2+\left (5 e^2-5 x\right ) \log ^2(5)\right ) \log \left (2+x-\log ^2(5)\right )+\log \left (-e^2+x\right ) \left (-4 x^2-2 x^3+e^2 \left (4 x+2 x^2\right )+\left (-2 e^2 x+2 x^2\right ) \log ^2(5)+\left (e^2 (-2-x)+2 x+x^2+\left (e^2-x\right ) \log ^2(5)\right ) \log \left (2+x-\log ^2(5)\right )\right )} \, dx=\log {\left (- 2 x + \log {\left (x - \log {\left (5 \right )}^{2} + 2 \right )} \right )} + \log {\left (\log {\left (x - e^{2} \right )} + 5 \right )} \]

input
integrate((((-2*exp(2)+2*x)*ln(5)**2+(3+2*x)*exp(2)-2*x**2-3*x)*ln(x-exp(2 
))+(-ln(5)**2+2+x)*ln(-ln(5)**2+2+x)+(-10*exp(2)+12*x)*ln(5)**2+(10*x+15)* 
exp(2)-12*x**2-19*x)/((((exp(2)-x)*ln(5)**2+(-2-x)*exp(2)+x**2+2*x)*ln(-ln 
(5)**2+2+x)+(-2*exp(2)*x+2*x**2)*ln(5)**2+(2*x**2+4*x)*exp(2)-2*x**3-4*x** 
2)*ln(x-exp(2))+((5*exp(2)-5*x)*ln(5)**2+(-5*x-10)*exp(2)+5*x**2+10*x)*ln( 
-ln(5)**2+2+x)+(-10*exp(2)*x+10*x**2)*ln(5)**2+(10*x**2+20*x)*exp(2)-10*x* 
*3-20*x**2),x)
 
output
log(-2*x + log(x - log(5)**2 + 2)) + log(log(x - exp(2)) + 5)
 
3.24.36.7 Maxima [A] (verification not implemented)

Time = 0.35 (sec) , antiderivative size = 26, normalized size of antiderivative = 0.87 \[ \int \frac {-19 x-12 x^2+e^2 (15+10 x)+\left (-10 e^2+12 x\right ) \log ^2(5)+\left (-3 x-2 x^2+e^2 (3+2 x)+\left (-2 e^2+2 x\right ) \log ^2(5)\right ) \log \left (-e^2+x\right )+\left (2+x-\log ^2(5)\right ) \log \left (2+x-\log ^2(5)\right )}{-20 x^2-10 x^3+e^2 \left (20 x+10 x^2\right )+\left (-10 e^2 x+10 x^2\right ) \log ^2(5)+\left (e^2 (-10-5 x)+10 x+5 x^2+\left (5 e^2-5 x\right ) \log ^2(5)\right ) \log \left (2+x-\log ^2(5)\right )+\log \left (-e^2+x\right ) \left (-4 x^2-2 x^3+e^2 \left (4 x+2 x^2\right )+\left (-2 e^2 x+2 x^2\right ) \log ^2(5)+\left (e^2 (-2-x)+2 x+x^2+\left (e^2-x\right ) \log ^2(5)\right ) \log \left (2+x-\log ^2(5)\right )\right )} \, dx=\log \left (-2 \, x + \log \left (-\log \left (5\right )^{2} + x + 2\right )\right ) + \log \left (\log \left (x - e^{2}\right ) + 5\right ) \]

input
integrate((((-2*exp(2)+2*x)*log(5)^2+(3+2*x)*exp(2)-2*x^2-3*x)*log(x-exp(2 
))+(-log(5)^2+2+x)*log(-log(5)^2+2+x)+(-10*exp(2)+12*x)*log(5)^2+(10*x+15) 
*exp(2)-12*x^2-19*x)/((((exp(2)-x)*log(5)^2+(-2-x)*exp(2)+x^2+2*x)*log(-lo 
g(5)^2+2+x)+(-2*exp(2)*x+2*x^2)*log(5)^2+(2*x^2+4*x)*exp(2)-2*x^3-4*x^2)*l 
og(x-exp(2))+((5*exp(2)-5*x)*log(5)^2+(-5*x-10)*exp(2)+5*x^2+10*x)*log(-lo 
g(5)^2+2+x)+(-10*exp(2)*x+10*x^2)*log(5)^2+(10*x^2+20*x)*exp(2)-10*x^3-20* 
x^2),x, algorithm=\
 
output
log(-2*x + log(-log(5)^2 + x + 2)) + log(log(x - e^2) + 5)
 
3.24.36.8 Giac [A] (verification not implemented)

Time = 0.36 (sec) , antiderivative size = 28, normalized size of antiderivative = 0.93 \[ \int \frac {-19 x-12 x^2+e^2 (15+10 x)+\left (-10 e^2+12 x\right ) \log ^2(5)+\left (-3 x-2 x^2+e^2 (3+2 x)+\left (-2 e^2+2 x\right ) \log ^2(5)\right ) \log \left (-e^2+x\right )+\left (2+x-\log ^2(5)\right ) \log \left (2+x-\log ^2(5)\right )}{-20 x^2-10 x^3+e^2 \left (20 x+10 x^2\right )+\left (-10 e^2 x+10 x^2\right ) \log ^2(5)+\left (e^2 (-10-5 x)+10 x+5 x^2+\left (5 e^2-5 x\right ) \log ^2(5)\right ) \log \left (2+x-\log ^2(5)\right )+\log \left (-e^2+x\right ) \left (-4 x^2-2 x^3+e^2 \left (4 x+2 x^2\right )+\left (-2 e^2 x+2 x^2\right ) \log ^2(5)+\left (e^2 (-2-x)+2 x+x^2+\left (e^2-x\right ) \log ^2(5)\right ) \log \left (2+x-\log ^2(5)\right )\right )} \, dx=\log \left (2 \, x - \log \left (-\log \left (5\right )^{2} + x + 2\right )\right ) + \log \left (\log \left (x - e^{2}\right ) + 5\right ) \]

input
integrate((((-2*exp(2)+2*x)*log(5)^2+(3+2*x)*exp(2)-2*x^2-3*x)*log(x-exp(2 
))+(-log(5)^2+2+x)*log(-log(5)^2+2+x)+(-10*exp(2)+12*x)*log(5)^2+(10*x+15) 
*exp(2)-12*x^2-19*x)/((((exp(2)-x)*log(5)^2+(-2-x)*exp(2)+x^2+2*x)*log(-lo 
g(5)^2+2+x)+(-2*exp(2)*x+2*x^2)*log(5)^2+(2*x^2+4*x)*exp(2)-2*x^3-4*x^2)*l 
og(x-exp(2))+((5*exp(2)-5*x)*log(5)^2+(-5*x-10)*exp(2)+5*x^2+10*x)*log(-lo 
g(5)^2+2+x)+(-10*exp(2)*x+10*x^2)*log(5)^2+(10*x^2+20*x)*exp(2)-10*x^3-20* 
x^2),x, algorithm=\
 
output
log(2*x - log(-log(5)^2 + x + 2)) + log(log(x - e^2) + 5)
 
3.24.36.9 Mupad [B] (verification not implemented)

Time = 0.80 (sec) , antiderivative size = 26, normalized size of antiderivative = 0.87 \[ \int \frac {-19 x-12 x^2+e^2 (15+10 x)+\left (-10 e^2+12 x\right ) \log ^2(5)+\left (-3 x-2 x^2+e^2 (3+2 x)+\left (-2 e^2+2 x\right ) \log ^2(5)\right ) \log \left (-e^2+x\right )+\left (2+x-\log ^2(5)\right ) \log \left (2+x-\log ^2(5)\right )}{-20 x^2-10 x^3+e^2 \left (20 x+10 x^2\right )+\left (-10 e^2 x+10 x^2\right ) \log ^2(5)+\left (e^2 (-10-5 x)+10 x+5 x^2+\left (5 e^2-5 x\right ) \log ^2(5)\right ) \log \left (2+x-\log ^2(5)\right )+\log \left (-e^2+x\right ) \left (-4 x^2-2 x^3+e^2 \left (4 x+2 x^2\right )+\left (-2 e^2 x+2 x^2\right ) \log ^2(5)+\left (e^2 (-2-x)+2 x+x^2+\left (e^2-x\right ) \log ^2(5)\right ) \log \left (2+x-\log ^2(5)\right )\right )} \, dx=\ln \left (\ln \left (x-{\ln \left (5\right )}^2+2\right )-2\,x\right )+\ln \left (\ln \left (x-{\mathrm {e}}^2\right )+5\right ) \]

input
int((19*x - log(5)^2*(12*x - 10*exp(2)) - log(x - log(5)^2 + 2)*(x - log(5 
)^2 + 2) + 12*x^2 + log(x - exp(2))*(3*x - log(5)^2*(2*x - 2*exp(2)) + 2*x 
^2 - exp(2)*(2*x + 3)) - exp(2)*(10*x + 15))/(log(x - exp(2))*(4*x^2 - log 
(x - log(5)^2 + 2)*(2*x - exp(2)*(x + 2) - log(5)^2*(x - exp(2)) + x^2) - 
exp(2)*(4*x + 2*x^2) + 2*x^3 + log(5)^2*(2*x*exp(2) - 2*x^2)) - log(x - lo 
g(5)^2 + 2)*(10*x - log(5)^2*(5*x - 5*exp(2)) + 5*x^2 - exp(2)*(5*x + 10)) 
 - exp(2)*(20*x + 10*x^2) + 20*x^2 + 10*x^3 + log(5)^2*(10*x*exp(2) - 10*x 
^2)),x)
 
output
log(log(x - log(5)^2 + 2) - 2*x) + log(log(x - exp(2)) + 5)