Integrand size = 168, antiderivative size = 26 \[ \int \frac {\left (8+2 e^2-2 x\right ) \log (5)+\left (-54-3 e^4+24 x-3 x^2+e^2 (-24+6 x)-3 \log (4)\right ) \log \left (18+e^4+e^2 (8-2 x)-8 x+x^2+\log (4)\right ) \log ^2\left (\log \left (18+e^4+e^2 (8-2 x)-8 x+x^2+\log (4)\right )\right )}{\left (18+e^4+e^2 (8-2 x)-8 x+x^2+\log (4)\right ) \log \left (18+e^4+e^2 (8-2 x)-8 x+x^2+\log (4)\right ) \log ^2\left (\log \left (18+e^4+e^2 (8-2 x)-8 x+x^2+\log (4)\right )\right )} \, dx=2-3 x+\frac {\log (5)}{\log \left (\log \left (2+\left (4+e^2-x\right )^2+\log (4)\right )\right )} \]
Time = 0.06 (sec) , antiderivative size = 32, normalized size of antiderivative = 1.23 \[ \int \frac {\left (8+2 e^2-2 x\right ) \log (5)+\left (-54-3 e^4+24 x-3 x^2+e^2 (-24+6 x)-3 \log (4)\right ) \log \left (18+e^4+e^2 (8-2 x)-8 x+x^2+\log (4)\right ) \log ^2\left (\log \left (18+e^4+e^2 (8-2 x)-8 x+x^2+\log (4)\right )\right )}{\left (18+e^4+e^2 (8-2 x)-8 x+x^2+\log (4)\right ) \log \left (18+e^4+e^2 (8-2 x)-8 x+x^2+\log (4)\right ) \log ^2\left (\log \left (18+e^4+e^2 (8-2 x)-8 x+x^2+\log (4)\right )\right )} \, dx=-3 x+\frac {\log (5)}{\log \left (\log \left (18+e^4-2 e^2 (-4+x)-8 x+x^2+\log (4)\right )\right )} \]
Integrate[((8 + 2*E^2 - 2*x)*Log[5] + (-54 - 3*E^4 + 24*x - 3*x^2 + E^2*(- 24 + 6*x) - 3*Log[4])*Log[18 + E^4 + E^2*(8 - 2*x) - 8*x + x^2 + Log[4]]*L og[Log[18 + E^4 + E^2*(8 - 2*x) - 8*x + x^2 + Log[4]]]^2)/((18 + E^4 + E^2 *(8 - 2*x) - 8*x + x^2 + Log[4])*Log[18 + E^4 + E^2*(8 - 2*x) - 8*x + x^2 + Log[4]]*Log[Log[18 + E^4 + E^2*(8 - 2*x) - 8*x + x^2 + Log[4]]]^2),x]
Time = 1.28 (sec) , antiderivative size = 34, normalized size of antiderivative = 1.31, number of steps used = 3, number of rules used = 3, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.018, Rules used = {7292, 7239, 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 {\left (-3 x^2+24 x+e^2 (6 x-24)-3 e^4-54-3 \log (4)\right ) \log \left (x^2-8 x+e^2 (8-2 x)+e^4+18+\log (4)\right ) \log ^2\left (\log \left (x^2-8 x+e^2 (8-2 x)+e^4+18+\log (4)\right )\right )+\left (-2 x+2 e^2+8\right ) \log (5)}{\left (x^2-8 x+e^2 (8-2 x)+e^4+18+\log (4)\right ) \log \left (x^2-8 x+e^2 (8-2 x)+e^4+18+\log (4)\right ) \log ^2\left (\log \left (x^2-8 x+e^2 (8-2 x)+e^4+18+\log (4)\right )\right )} \, dx\) |
\(\Big \downarrow \) 7292 |
\(\displaystyle \int \frac {\left (-3 x^2+24 x+e^2 (6 x-24)-3 e^4-54-3 \log (4)\right ) \log \left (x^2-8 x+e^2 (8-2 x)+e^4+18+\log (4)\right ) \log ^2\left (\log \left (x^2-8 x+e^2 (8-2 x)+e^4+18+\log (4)\right )\right )+\left (-2 x+2 e^2+8\right ) \log (5)}{\left (x^2-2 \left (4+e^2\right ) x+e^4+8 e^2+18+\log (4)\right ) \log \left (x^2-2 \left (4+e^2\right ) x+e^4+8 e^2+18+\log (4)\right ) \log ^2\left (\log \left (x^2-2 \left (4+e^2\right ) x+e^4+8 e^2+18+\log (4)\right )\right )}dx\) |
\(\Big \downarrow \) 7239 |
\(\displaystyle \int \left (\frac {2 \left (-x+e^2+4\right ) \log (5)}{\left (x^2-2 \left (4+e^2\right ) x+e^4+8 e^2+18+\log (4)\right ) \log \left (x^2-2 \left (4+e^2\right ) x+e^4+8 e^2+18+\log (4)\right ) \log ^2\left (\log \left (x^2-2 \left (4+e^2\right ) x+e^4+8 e^2+18+\log (4)\right )\right )}-3\right )dx\) |
\(\Big \downarrow \) 2009 |
\(\displaystyle \frac {\log (5)}{\log \left (\log \left (x^2-2 \left (4+e^2\right ) x+e^4+8 e^2+18+\log (4)\right )\right )}-3 x\) |
Int[((8 + 2*E^2 - 2*x)*Log[5] + (-54 - 3*E^4 + 24*x - 3*x^2 + E^2*(-24 + 6 *x) - 3*Log[4])*Log[18 + E^4 + E^2*(8 - 2*x) - 8*x + x^2 + Log[4]]*Log[Log [18 + E^4 + E^2*(8 - 2*x) - 8*x + x^2 + Log[4]]]^2)/((18 + E^4 + E^2*(8 - 2*x) - 8*x + x^2 + Log[4])*Log[18 + E^4 + E^2*(8 - 2*x) - 8*x + x^2 + Log[ 4]]*Log[Log[18 + E^4 + E^2*(8 - 2*x) - 8*x + x^2 + Log[4]]]^2),x]
3.26.17.3.1 Defintions of rubi rules used
Int[u_, x_Symbol] :> With[{v = SimplifyIntegrand[u, x]}, Int[v, x] /; Simpl erIntegrandQ[v, u, x]]
Time = 2.94 (sec) , antiderivative size = 34, normalized size of antiderivative = 1.31
method | result | size |
risch | \(-3 x +\frac {\ln \left (5\right )}{\ln \left (\ln \left (2 \ln \left (2\right )+{\mathrm e}^{4}+\left (-2 x +8\right ) {\mathrm e}^{2}+x^{2}-8 x +18\right )\right )}\) | \(34\) |
default | \(-3 x +\frac {\ln \left (5\right )}{\ln \left (\ln \left (-2 \,{\mathrm e}^{2} x +x^{2}+8 \,{\mathrm e}^{2}+{\mathrm e}^{4}+2 \ln \left (2\right )-8 x +18\right )\right )}\) | \(37\) |
parts | \(-3 x +\frac {\ln \left (5\right )}{\ln \left (\ln \left (-2 \,{\mathrm e}^{2} x +x^{2}+8 \,{\mathrm e}^{2}+{\mathrm e}^{4}+2 \ln \left (2\right )-8 x +18\right )\right )}\) | \(37\) |
parallelrisch | \(-\frac {12 \,{\mathrm e}^{2} \ln \left (\ln \left (2 \ln \left (2\right )+{\mathrm e}^{4}+\left (-2 x +8\right ) {\mathrm e}^{2}+x^{2}-8 x +18\right )\right )+3 x \ln \left (\ln \left (2 \ln \left (2\right )+{\mathrm e}^{4}+\left (-2 x +8\right ) {\mathrm e}^{2}+x^{2}-8 x +18\right )\right )-\ln \left (5\right )+48 \ln \left (\ln \left (2 \ln \left (2\right )+{\mathrm e}^{4}+\left (-2 x +8\right ) {\mathrm e}^{2}+x^{2}-8 x +18\right )\right )}{\ln \left (\ln \left (2 \ln \left (2\right )+{\mathrm e}^{4}+\left (-2 x +8\right ) {\mathrm e}^{2}+x^{2}-8 x +18\right )\right )}\) | \(123\) |
int(((-6*ln(2)-3*exp(2)^2+(6*x-24)*exp(2)-3*x^2+24*x-54)*ln(2*ln(2)+exp(2) ^2+(-2*x+8)*exp(2)+x^2-8*x+18)*ln(ln(2*ln(2)+exp(2)^2+(-2*x+8)*exp(2)+x^2- 8*x+18))^2+(2*exp(2)-2*x+8)*ln(5))/(2*ln(2)+exp(2)^2+(-2*x+8)*exp(2)+x^2-8 *x+18)/ln(2*ln(2)+exp(2)^2+(-2*x+8)*exp(2)+x^2-8*x+18)/ln(ln(2*ln(2)+exp(2 )^2+(-2*x+8)*exp(2)+x^2-8*x+18))^2,x,method=_RETURNVERBOSE)
Leaf count of result is larger than twice the leaf count of optimal. 58 vs. \(2 (27) = 54\).
Time = 0.26 (sec) , antiderivative size = 58, normalized size of antiderivative = 2.23 \[ \int \frac {\left (8+2 e^2-2 x\right ) \log (5)+\left (-54-3 e^4+24 x-3 x^2+e^2 (-24+6 x)-3 \log (4)\right ) \log \left (18+e^4+e^2 (8-2 x)-8 x+x^2+\log (4)\right ) \log ^2\left (\log \left (18+e^4+e^2 (8-2 x)-8 x+x^2+\log (4)\right )\right )}{\left (18+e^4+e^2 (8-2 x)-8 x+x^2+\log (4)\right ) \log \left (18+e^4+e^2 (8-2 x)-8 x+x^2+\log (4)\right ) \log ^2\left (\log \left (18+e^4+e^2 (8-2 x)-8 x+x^2+\log (4)\right )\right )} \, dx=-\frac {3 \, x \log \left (\log \left (x^{2} - 2 \, {\left (x - 4\right )} e^{2} - 8 \, x + e^{4} + 2 \, \log \left (2\right ) + 18\right )\right ) - \log \left (5\right )}{\log \left (\log \left (x^{2} - 2 \, {\left (x - 4\right )} e^{2} - 8 \, x + e^{4} + 2 \, \log \left (2\right ) + 18\right )\right )} \]
integrate(((-6*log(2)-3*exp(2)^2+(6*x-24)*exp(2)-3*x^2+24*x-54)*log(2*log( 2)+exp(2)^2+(-2*x+8)*exp(2)+x^2-8*x+18)*log(log(2*log(2)+exp(2)^2+(-2*x+8) *exp(2)+x^2-8*x+18))^2+(2*exp(2)-2*x+8)*log(5))/(2*log(2)+exp(2)^2+(-2*x+8 )*exp(2)+x^2-8*x+18)/log(2*log(2)+exp(2)^2+(-2*x+8)*exp(2)+x^2-8*x+18)/log (log(2*log(2)+exp(2)^2+(-2*x+8)*exp(2)+x^2-8*x+18))^2,x, algorithm=\
-(3*x*log(log(x^2 - 2*(x - 4)*e^2 - 8*x + e^4 + 2*log(2) + 18)) - log(5))/ log(log(x^2 - 2*(x - 4)*e^2 - 8*x + e^4 + 2*log(2) + 18))
Time = 0.13 (sec) , antiderivative size = 34, normalized size of antiderivative = 1.31 \[ \int \frac {\left (8+2 e^2-2 x\right ) \log (5)+\left (-54-3 e^4+24 x-3 x^2+e^2 (-24+6 x)-3 \log (4)\right ) \log \left (18+e^4+e^2 (8-2 x)-8 x+x^2+\log (4)\right ) \log ^2\left (\log \left (18+e^4+e^2 (8-2 x)-8 x+x^2+\log (4)\right )\right )}{\left (18+e^4+e^2 (8-2 x)-8 x+x^2+\log (4)\right ) \log \left (18+e^4+e^2 (8-2 x)-8 x+x^2+\log (4)\right ) \log ^2\left (\log \left (18+e^4+e^2 (8-2 x)-8 x+x^2+\log (4)\right )\right )} \, dx=- 3 x + \frac {\log {\left (5 \right )}}{\log {\left (\log {\left (x^{2} - 8 x + \left (8 - 2 x\right ) e^{2} + 2 \log {\left (2 \right )} + 18 + e^{4} \right )} \right )}} \]
integrate(((-6*ln(2)-3*exp(2)**2+(6*x-24)*exp(2)-3*x**2+24*x-54)*ln(2*ln(2 )+exp(2)**2+(-2*x+8)*exp(2)+x**2-8*x+18)*ln(ln(2*ln(2)+exp(2)**2+(-2*x+8)* exp(2)+x**2-8*x+18))**2+(2*exp(2)-2*x+8)*ln(5))/(2*ln(2)+exp(2)**2+(-2*x+8 )*exp(2)+x**2-8*x+18)/ln(2*ln(2)+exp(2)**2+(-2*x+8)*exp(2)+x**2-8*x+18)/ln (ln(2*ln(2)+exp(2)**2+(-2*x+8)*exp(2)+x**2-8*x+18))**2,x)
Leaf count of result is larger than twice the leaf count of optimal. 60 vs. \(2 (27) = 54\).
Time = 0.34 (sec) , antiderivative size = 60, normalized size of antiderivative = 2.31 \[ \int \frac {\left (8+2 e^2-2 x\right ) \log (5)+\left (-54-3 e^4+24 x-3 x^2+e^2 (-24+6 x)-3 \log (4)\right ) \log \left (18+e^4+e^2 (8-2 x)-8 x+x^2+\log (4)\right ) \log ^2\left (\log \left (18+e^4+e^2 (8-2 x)-8 x+x^2+\log (4)\right )\right )}{\left (18+e^4+e^2 (8-2 x)-8 x+x^2+\log (4)\right ) \log \left (18+e^4+e^2 (8-2 x)-8 x+x^2+\log (4)\right ) \log ^2\left (\log \left (18+e^4+e^2 (8-2 x)-8 x+x^2+\log (4)\right )\right )} \, dx=-\frac {3 \, x \log \left (\log \left (x^{2} - 2 \, x {\left (e^{2} + 4\right )} + e^{4} + 8 \, e^{2} + 2 \, \log \left (2\right ) + 18\right )\right ) - \log \left (5\right )}{\log \left (\log \left (x^{2} - 2 \, x {\left (e^{2} + 4\right )} + e^{4} + 8 \, e^{2} + 2 \, \log \left (2\right ) + 18\right )\right )} \]
integrate(((-6*log(2)-3*exp(2)^2+(6*x-24)*exp(2)-3*x^2+24*x-54)*log(2*log( 2)+exp(2)^2+(-2*x+8)*exp(2)+x^2-8*x+18)*log(log(2*log(2)+exp(2)^2+(-2*x+8) *exp(2)+x^2-8*x+18))^2+(2*exp(2)-2*x+8)*log(5))/(2*log(2)+exp(2)^2+(-2*x+8 )*exp(2)+x^2-8*x+18)/log(2*log(2)+exp(2)^2+(-2*x+8)*exp(2)+x^2-8*x+18)/log (log(2*log(2)+exp(2)^2+(-2*x+8)*exp(2)+x^2-8*x+18))^2,x, algorithm=\
-(3*x*log(log(x^2 - 2*x*(e^2 + 4) + e^4 + 8*e^2 + 2*log(2) + 18)) - log(5) )/log(log(x^2 - 2*x*(e^2 + 4) + e^4 + 8*e^2 + 2*log(2) + 18))
Leaf count of result is larger than twice the leaf count of optimal. 62 vs. \(2 (27) = 54\).
Time = 1.74 (sec) , antiderivative size = 62, normalized size of antiderivative = 2.38 \[ \int \frac {\left (8+2 e^2-2 x\right ) \log (5)+\left (-54-3 e^4+24 x-3 x^2+e^2 (-24+6 x)-3 \log (4)\right ) \log \left (18+e^4+e^2 (8-2 x)-8 x+x^2+\log (4)\right ) \log ^2\left (\log \left (18+e^4+e^2 (8-2 x)-8 x+x^2+\log (4)\right )\right )}{\left (18+e^4+e^2 (8-2 x)-8 x+x^2+\log (4)\right ) \log \left (18+e^4+e^2 (8-2 x)-8 x+x^2+\log (4)\right ) \log ^2\left (\log \left (18+e^4+e^2 (8-2 x)-8 x+x^2+\log (4)\right )\right )} \, dx=-\frac {3 \, x \log \left (\log \left (x^{2} - 2 \, x e^{2} - 8 \, x + e^{4} + 8 \, e^{2} + 2 \, \log \left (2\right ) + 18\right )\right ) - \log \left (5\right )}{\log \left (\log \left (x^{2} - 2 \, x e^{2} - 8 \, x + e^{4} + 8 \, e^{2} + 2 \, \log \left (2\right ) + 18\right )\right )} \]
integrate(((-6*log(2)-3*exp(2)^2+(6*x-24)*exp(2)-3*x^2+24*x-54)*log(2*log( 2)+exp(2)^2+(-2*x+8)*exp(2)+x^2-8*x+18)*log(log(2*log(2)+exp(2)^2+(-2*x+8) *exp(2)+x^2-8*x+18))^2+(2*exp(2)-2*x+8)*log(5))/(2*log(2)+exp(2)^2+(-2*x+8 )*exp(2)+x^2-8*x+18)/log(2*log(2)+exp(2)^2+(-2*x+8)*exp(2)+x^2-8*x+18)/log (log(2*log(2)+exp(2)^2+(-2*x+8)*exp(2)+x^2-8*x+18))^2,x, algorithm=\
-(3*x*log(log(x^2 - 2*x*e^2 - 8*x + e^4 + 8*e^2 + 2*log(2) + 18)) - log(5) )/log(log(x^2 - 2*x*e^2 - 8*x + e^4 + 8*e^2 + 2*log(2) + 18))
Time = 13.44 (sec) , antiderivative size = 34, normalized size of antiderivative = 1.31 \[ \int \frac {\left (8+2 e^2-2 x\right ) \log (5)+\left (-54-3 e^4+24 x-3 x^2+e^2 (-24+6 x)-3 \log (4)\right ) \log \left (18+e^4+e^2 (8-2 x)-8 x+x^2+\log (4)\right ) \log ^2\left (\log \left (18+e^4+e^2 (8-2 x)-8 x+x^2+\log (4)\right )\right )}{\left (18+e^4+e^2 (8-2 x)-8 x+x^2+\log (4)\right ) \log \left (18+e^4+e^2 (8-2 x)-8 x+x^2+\log (4)\right ) \log ^2\left (\log \left (18+e^4+e^2 (8-2 x)-8 x+x^2+\log (4)\right )\right )} \, dx=\frac {\ln \left (5\right )}{\ln \left (\ln \left (8\,{\mathrm {e}}^2-8\,x+{\mathrm {e}}^4+2\,\ln \left (2\right )-2\,x\,{\mathrm {e}}^2+x^2+18\right )\right )}-3\,x \]
int((log(5)*(2*exp(2) - 2*x + 8) - log(log(exp(4) - 8*x + 2*log(2) + x^2 - exp(2)*(2*x - 8) + 18))^2*log(exp(4) - 8*x + 2*log(2) + x^2 - exp(2)*(2*x - 8) + 18)*(3*exp(4) - 24*x + 6*log(2) + 3*x^2 - exp(2)*(6*x - 24) + 54)) /(log(log(exp(4) - 8*x + 2*log(2) + x^2 - exp(2)*(2*x - 8) + 18))^2*log(ex p(4) - 8*x + 2*log(2) + x^2 - exp(2)*(2*x - 8) + 18)*(exp(4) - 8*x + 2*log (2) + x^2 - exp(2)*(2*x - 8) + 18)),x)