Optimal. Leaf size=26 \[ 4 \log \left (x \left (-e-x+e^x \left (x+4 \left (-4+\log ^2(x)\right )\right )\right )\right ) \]
________________________________________________________________________________________
Rubi [F] time = 5.98, antiderivative size = 0, normalized size of antiderivative = 0.00, number of steps used = 0, number of rules used = 0, integrand size = 0, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.000, Rules used = {} \begin {gather*} \int \frac {-4 e-8 x+e^x \left (-64-56 x+4 x^2\right )+32 e^x \log (x)+e^x (16+16 x) \log ^2(x)}{-e x-x^2+e^x \left (-16 x+x^2\right )+4 e^x x \log ^2(x)} \, dx \end {gather*}
Verification is not applicable to the result.
[In]
[Out]
Rubi steps
\begin {gather*} \begin {aligned} \text {integral} &=\int \left (\frac {4 \left (-16-14 x+x^2+8 \log (x)+4 \log ^2(x)+4 x \log ^2(x)\right )}{x \left (-16+x+4 \log ^2(x)\right )}+\frac {4 \left (16 \left (1-\frac {15 e}{16}\right ) x-16 \left (1-\frac {e}{16}\right ) x^2+x^3+8 e \log (x)+8 x \log (x)-4 (1-e) x \log ^2(x)+4 x^2 \log ^2(x)\right )}{x \left (16-x-4 \log ^2(x)\right ) \left (e+16 e^x+x-e^x x-4 e^x \log ^2(x)\right )}\right ) \, dx\\ &=4 \int \frac {-16-14 x+x^2+8 \log (x)+4 \log ^2(x)+4 x \log ^2(x)}{x \left (-16+x+4 \log ^2(x)\right )} \, dx+4 \int \frac {16 \left (1-\frac {15 e}{16}\right ) x-16 \left (1-\frac {e}{16}\right ) x^2+x^3+8 e \log (x)+8 x \log (x)-4 (1-e) x \log ^2(x)+4 x^2 \log ^2(x)}{x \left (16-x-4 \log ^2(x)\right ) \left (e+16 e^x+x-e^x x-4 e^x \log ^2(x)\right )} \, dx\\ &=4 \int \frac {x \left (16+e (-15+x)-16 x+x^2\right )+8 (e+x) \log (x)+4 x (-1+e+x) \log ^2(x)}{x \left (16-x-4 \log ^2(x)\right ) \left (e-e^x (-16+x)+x-4 e^x \log ^2(x)\right )} \, dx+4 \int \left (\frac {1+x}{x}+\frac {x+8 \log (x)}{x \left (-16+x+4 \log ^2(x)\right )}\right ) \, dx\\ &=4 \int \frac {1+x}{x} \, dx+4 \int \frac {x+8 \log (x)}{x \left (-16+x+4 \log ^2(x)\right )} \, dx+4 \int \left (\frac {15 \left (1-\frac {16}{15 e}\right ) e}{\left (-16+x+4 \log ^2(x)\right ) \left (e+16 e^x+x-e^x x-4 e^x \log ^2(x)\right )}-\frac {\left (1-\frac {16}{e}\right ) e x}{\left (-16+x+4 \log ^2(x)\right ) \left (e+16 e^x+x-e^x x-4 e^x \log ^2(x)\right )}-\frac {8 e \log (x)}{x \left (-16+x+4 \log ^2(x)\right ) \left (e+16 e^x+x-e^x x-4 e^x \log ^2(x)\right )}-\frac {4 \left (1-\frac {1}{e}\right ) e \log ^2(x)}{\left (-16+x+4 \log ^2(x)\right ) \left (e+16 e^x+x-e^x x-4 e^x \log ^2(x)\right )}+\frac {x^2}{\left (-16+x+4 \log ^2(x)\right ) \left (-e-16 e^x-x+e^x x+4 e^x \log ^2(x)\right )}+\frac {8 \log (x)}{\left (-16+x+4 \log ^2(x)\right ) \left (-e-16 e^x-x+e^x x+4 e^x \log ^2(x)\right )}+\frac {4 x \log ^2(x)}{\left (-16+x+4 \log ^2(x)\right ) \left (-e-16 e^x-x+e^x x+4 e^x \log ^2(x)\right )}\right ) \, dx\\ &=4 \log \left (16-x-4 \log ^2(x)\right )+4 \int \left (1+\frac {1}{x}\right ) \, dx+4 \int \frac {x^2}{\left (-16+x+4 \log ^2(x)\right ) \left (-e-16 e^x-x+e^x x+4 e^x \log ^2(x)\right )} \, dx+16 \int \frac {x \log ^2(x)}{\left (-16+x+4 \log ^2(x)\right ) \left (-e-16 e^x-x+e^x x+4 e^x \log ^2(x)\right )} \, dx+32 \int \frac {\log (x)}{\left (-16+x+4 \log ^2(x)\right ) \left (-e-16 e^x-x+e^x x+4 e^x \log ^2(x)\right )} \, dx-(4 (16-15 e)) \int \frac {1}{\left (-16+x+4 \log ^2(x)\right ) \left (e+16 e^x+x-e^x x-4 e^x \log ^2(x)\right )} \, dx+(16 (1-e)) \int \frac {\log ^2(x)}{\left (-16+x+4 \log ^2(x)\right ) \left (e+16 e^x+x-e^x x-4 e^x \log ^2(x)\right )} \, dx+(4 (16-e)) \int \frac {x}{\left (-16+x+4 \log ^2(x)\right ) \left (e+16 e^x+x-e^x x-4 e^x \log ^2(x)\right )} \, dx-(32 e) \int \frac {\log (x)}{x \left (-16+x+4 \log ^2(x)\right ) \left (e+16 e^x+x-e^x x-4 e^x \log ^2(x)\right )} \, dx\\ &=4 x+4 \log (x)+4 \log \left (16-x-4 \log ^2(x)\right )+4 \int \frac {x^2}{\left (-16+x+4 \log ^2(x)\right ) \left (-e-16 e^x-x+e^x x+4 e^x \log ^2(x)\right )} \, dx+16 \int \frac {x \log ^2(x)}{\left (-16+x+4 \log ^2(x)\right ) \left (-e-16 e^x-x+e^x x+4 e^x \log ^2(x)\right )} \, dx+32 \int \frac {\log (x)}{\left (-16+x+4 \log ^2(x)\right ) \left (-e-16 e^x-x+e^x x+4 e^x \log ^2(x)\right )} \, dx-(4 (16-15 e)) \int \frac {1}{\left (-16+x+4 \log ^2(x)\right ) \left (e+16 e^x+x-e^x x-4 e^x \log ^2(x)\right )} \, dx+(16 (1-e)) \int \frac {\log ^2(x)}{\left (-16+x+4 \log ^2(x)\right ) \left (e+16 e^x+x-e^x x-4 e^x \log ^2(x)\right )} \, dx+(4 (16-e)) \int \frac {x}{\left (-16+x+4 \log ^2(x)\right ) \left (e+16 e^x+x-e^x x-4 e^x \log ^2(x)\right )} \, dx-(32 e) \int \frac {\log (x)}{x \left (-16+x+4 \log ^2(x)\right ) \left (e+16 e^x+x-e^x x-4 e^x \log ^2(x)\right )} \, dx\\ \end {aligned} \end {gather*}
________________________________________________________________________________________
Mathematica [A] time = 1.21, size = 36, normalized size = 1.38 \begin {gather*} -4 \left (-\log (x)-\log \left (-e-16 e^x-x+e^x x+4 e^x \log ^2(x)\right )\right ) \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
fricas [A] time = 0.88, size = 38, normalized size = 1.46 \begin {gather*} 4 \, x + 4 \, \log \left ({\left (4 \, e^{x} \log \relax (x)^{2} + {\left (x - 16\right )} e^{x} - x - e\right )} e^{\left (-x\right )}\right ) + 4 \, \log \relax (x) \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
giac [A] time = 0.27, size = 29, normalized size = 1.12 \begin {gather*} 4 \, \log \left (-4 \, e^{x} \log \relax (x)^{2} - x e^{x} + x + e + 16 \, e^{x}\right ) + 4 \, \log \relax (x) \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
maple [A] time = 0.11, size = 30, normalized size = 1.15
method | result | size |
norman | \(4 \ln \relax (x )+4 \ln \left (-4 \,{\mathrm e}^{x} \ln \relax (x )^{2}-{\mathrm e}^{x} x +{\mathrm e}+x +16 \,{\mathrm e}^{x}\right )\) | \(30\) |
risch | \(4 x +4 \ln \relax (x )+4 \ln \left (\ln \relax (x )^{2}-\frac {\left (-{\mathrm e}^{x} x +{\mathrm e}+x +16 \,{\mathrm e}^{x}\right ) {\mathrm e}^{-x}}{4}\right )\) | \(36\) |
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
maxima [B] time = 0.41, size = 52, normalized size = 2.00 \begin {gather*} 4 \, \log \left (\log \relax (x)^{2} + \frac {1}{4} \, x - 4\right ) + 4 \, \log \relax (x) + 4 \, \log \left (\frac {{\left (4 \, \log \relax (x)^{2} + x - 16\right )} e^{x} - x - e}{4 \, \log \relax (x)^{2} + x - 16}\right ) \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
mupad [B] time = 3.98, size = 32, normalized size = 1.23 \begin {gather*} 4\,\ln \left (x\,\mathrm {e}+{\mathrm {e}}^x\,\left (16\,x-x^2\right )+x^2-4\,x\,{\mathrm {e}}^x\,{\ln \relax (x)}^2\right ) \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
sympy [A] time = 1.88, size = 41, normalized size = 1.58 \begin {gather*} 4 \log {\relax (x )} + 4 \log {\left (\frac {- x - e}{x + 4 \log {\relax (x )}^{2} - 16} + e^{x} \right )} + 4 \log {\left (\frac {x}{4} + \log {\relax (x )}^{2} - 4 \right )} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________