Optimal. Leaf size=30 \[ \sqrt {\left (-1-e^x-x-x^2-\frac {x^2}{\log (x)}\right )^2} \]
________________________________________________________________________________________
Rubi [B] time = 2.24, antiderivative size = 203, normalized size of antiderivative = 6.77, number of steps used = 12, number of rules used = 7, integrand size = 128, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.055, Rules used = {6688, 6719, 6742, 2194, 2306, 2309, 2178} \begin {gather*} \frac {x^2 \left (x^2+\left (x^2+x+e^x+1\right ) \log (x)\right )}{\log (x) \sqrt {\frac {\left (x^2+\left (x^2+x+e^x+1\right ) \log (x)\right )^2}{\log ^2(x)}}}+\frac {x^2 \left (x^2+\left (x^2+x+e^x+1\right ) \log (x)\right )}{\log ^2(x) \sqrt {\frac {\left (x^2+\left (x^2+x+e^x+1\right ) \log (x)\right )^2}{\log ^2(x)}}}+\frac {x \left (x^2+\left (x^2+x+e^x+1\right ) \log (x)\right )}{\log (x) \sqrt {\frac {\left (x^2+\left (x^2+x+e^x+1\right ) \log (x)\right )^2}{\log ^2(x)}}}+\frac {e^x \left (x^2+\left (x^2+x+e^x+1\right ) \log (x)\right )}{\log (x) \sqrt {\frac {\left (x^2+\left (x^2+x+e^x+1\right ) \log (x)\right )^2}{\log ^2(x)}}} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
Rule 2178
Rule 2194
Rule 2306
Rule 2309
Rule 6688
Rule 6719
Rule 6742
Rubi steps
\begin {gather*} \begin {aligned} \text {integral} &=\int \frac {\left (x^2+\left (1+e^x+x+x^2\right ) \log (x)\right ) \left (-x+2 x \log (x)+\left (1+e^x+2 x\right ) \log ^2(x)\right )}{\log ^3(x) \sqrt {\frac {\left (x^2+\left (1+e^x+x+x^2\right ) \log (x)\right )^2}{\log ^2(x)}}} \, dx\\ &=\frac {\left (x^2+\left (1+e^x+x+x^2\right ) \log (x)\right ) \int \frac {-x+2 x \log (x)+\left (1+e^x+2 x\right ) \log ^2(x)}{\log ^2(x)} \, dx}{\log (x) \sqrt {\frac {\left (x^2+\left (1+e^x+x+x^2\right ) \log (x)\right )^2}{\log ^2(x)}}}\\ &=\frac {\left (x^2+\left (1+e^x+x+x^2\right ) \log (x)\right ) \int \left (e^x+\frac {-x+2 x \log (x)+\log ^2(x)+2 x \log ^2(x)}{\log ^2(x)}\right ) \, dx}{\log (x) \sqrt {\frac {\left (x^2+\left (1+e^x+x+x^2\right ) \log (x)\right )^2}{\log ^2(x)}}}\\ &=\frac {\left (x^2+\left (1+e^x+x+x^2\right ) \log (x)\right ) \int e^x \, dx}{\log (x) \sqrt {\frac {\left (x^2+\left (1+e^x+x+x^2\right ) \log (x)\right )^2}{\log ^2(x)}}}+\frac {\left (x^2+\left (1+e^x+x+x^2\right ) \log (x)\right ) \int \frac {-x+2 x \log (x)+\log ^2(x)+2 x \log ^2(x)}{\log ^2(x)} \, dx}{\log (x) \sqrt {\frac {\left (x^2+\left (1+e^x+x+x^2\right ) \log (x)\right )^2}{\log ^2(x)}}}\\ &=\frac {e^x \left (x^2+\left (1+e^x+x+x^2\right ) \log (x)\right )}{\log (x) \sqrt {\frac {\left (x^2+\left (1+e^x+x+x^2\right ) \log (x)\right )^2}{\log ^2(x)}}}+\frac {\left (x^2+\left (1+e^x+x+x^2\right ) \log (x)\right ) \int \left (1+2 x-\frac {x}{\log ^2(x)}+\frac {2 x}{\log (x)}\right ) \, dx}{\log (x) \sqrt {\frac {\left (x^2+\left (1+e^x+x+x^2\right ) \log (x)\right )^2}{\log ^2(x)}}}\\ &=\frac {e^x \left (x^2+\left (1+e^x+x+x^2\right ) \log (x)\right )}{\log (x) \sqrt {\frac {\left (x^2+\left (1+e^x+x+x^2\right ) \log (x)\right )^2}{\log ^2(x)}}}+\frac {x \left (x^2+\left (1+e^x+x+x^2\right ) \log (x)\right )}{\log (x) \sqrt {\frac {\left (x^2+\left (1+e^x+x+x^2\right ) \log (x)\right )^2}{\log ^2(x)}}}+\frac {x^2 \left (x^2+\left (1+e^x+x+x^2\right ) \log (x)\right )}{\log (x) \sqrt {\frac {\left (x^2+\left (1+e^x+x+x^2\right ) \log (x)\right )^2}{\log ^2(x)}}}-\frac {\left (x^2+\left (1+e^x+x+x^2\right ) \log (x)\right ) \int \frac {x}{\log ^2(x)} \, dx}{\log (x) \sqrt {\frac {\left (x^2+\left (1+e^x+x+x^2\right ) \log (x)\right )^2}{\log ^2(x)}}}+\frac {\left (2 \left (x^2+\left (1+e^x+x+x^2\right ) \log (x)\right )\right ) \int \frac {x}{\log (x)} \, dx}{\log (x) \sqrt {\frac {\left (x^2+\left (1+e^x+x+x^2\right ) \log (x)\right )^2}{\log ^2(x)}}}\\ &=\frac {x^2 \left (x^2+\left (1+e^x+x+x^2\right ) \log (x)\right )}{\log ^2(x) \sqrt {\frac {\left (x^2+\left (1+e^x+x+x^2\right ) \log (x)\right )^2}{\log ^2(x)}}}+\frac {e^x \left (x^2+\left (1+e^x+x+x^2\right ) \log (x)\right )}{\log (x) \sqrt {\frac {\left (x^2+\left (1+e^x+x+x^2\right ) \log (x)\right )^2}{\log ^2(x)}}}+\frac {x \left (x^2+\left (1+e^x+x+x^2\right ) \log (x)\right )}{\log (x) \sqrt {\frac {\left (x^2+\left (1+e^x+x+x^2\right ) \log (x)\right )^2}{\log ^2(x)}}}+\frac {x^2 \left (x^2+\left (1+e^x+x+x^2\right ) \log (x)\right )}{\log (x) \sqrt {\frac {\left (x^2+\left (1+e^x+x+x^2\right ) \log (x)\right )^2}{\log ^2(x)}}}-\frac {\left (2 \left (x^2+\left (1+e^x+x+x^2\right ) \log (x)\right )\right ) \int \frac {x}{\log (x)} \, dx}{\log (x) \sqrt {\frac {\left (x^2+\left (1+e^x+x+x^2\right ) \log (x)\right )^2}{\log ^2(x)}}}+\frac {\left (2 \left (x^2+\left (1+e^x+x+x^2\right ) \log (x)\right )\right ) \operatorname {Subst}\left (\int \frac {e^{2 x}}{x} \, dx,x,\log (x)\right )}{\log (x) \sqrt {\frac {\left (x^2+\left (1+e^x+x+x^2\right ) \log (x)\right )^2}{\log ^2(x)}}}\\ &=\frac {x^2 \left (x^2+\left (1+e^x+x+x^2\right ) \log (x)\right )}{\log ^2(x) \sqrt {\frac {\left (x^2+\left (1+e^x+x+x^2\right ) \log (x)\right )^2}{\log ^2(x)}}}+\frac {e^x \left (x^2+\left (1+e^x+x+x^2\right ) \log (x)\right )}{\log (x) \sqrt {\frac {\left (x^2+\left (1+e^x+x+x^2\right ) \log (x)\right )^2}{\log ^2(x)}}}+\frac {x \left (x^2+\left (1+e^x+x+x^2\right ) \log (x)\right )}{\log (x) \sqrt {\frac {\left (x^2+\left (1+e^x+x+x^2\right ) \log (x)\right )^2}{\log ^2(x)}}}+\frac {x^2 \left (x^2+\left (1+e^x+x+x^2\right ) \log (x)\right )}{\log (x) \sqrt {\frac {\left (x^2+\left (1+e^x+x+x^2\right ) \log (x)\right )^2}{\log ^2(x)}}}+\frac {2 \text {Ei}(2 \log (x)) \left (x^2+\left (1+e^x+x+x^2\right ) \log (x)\right )}{\log (x) \sqrt {\frac {\left (x^2+\left (1+e^x+x+x^2\right ) \log (x)\right )^2}{\log ^2(x)}}}-\frac {\left (2 \left (x^2+\left (1+e^x+x+x^2\right ) \log (x)\right )\right ) \operatorname {Subst}\left (\int \frac {e^{2 x}}{x} \, dx,x,\log (x)\right )}{\log (x) \sqrt {\frac {\left (x^2+\left (1+e^x+x+x^2\right ) \log (x)\right )^2}{\log ^2(x)}}}\\ &=\frac {x^2 \left (x^2+\left (1+e^x+x+x^2\right ) \log (x)\right )}{\log ^2(x) \sqrt {\frac {\left (x^2+\left (1+e^x+x+x^2\right ) \log (x)\right )^2}{\log ^2(x)}}}+\frac {e^x \left (x^2+\left (1+e^x+x+x^2\right ) \log (x)\right )}{\log (x) \sqrt {\frac {\left (x^2+\left (1+e^x+x+x^2\right ) \log (x)\right )^2}{\log ^2(x)}}}+\frac {x \left (x^2+\left (1+e^x+x+x^2\right ) \log (x)\right )}{\log (x) \sqrt {\frac {\left (x^2+\left (1+e^x+x+x^2\right ) \log (x)\right )^2}{\log ^2(x)}}}+\frac {x^2 \left (x^2+\left (1+e^x+x+x^2\right ) \log (x)\right )}{\log (x) \sqrt {\frac {\left (x^2+\left (1+e^x+x+x^2\right ) \log (x)\right )^2}{\log ^2(x)}}}\\ \end {aligned} \end {gather*}
________________________________________________________________________________________
Mathematica [B] time = 0.29, size = 61, normalized size = 2.03 \begin {gather*} \frac {\left (x^2+\left (e^x+x+x^2\right ) \log (x)\right ) \sqrt {\frac {\left (x^2+\left (1+e^x+x+x^2\right ) \log (x)\right )^2}{\log ^2(x)}}}{x^2+\left (1+e^x+x+x^2\right ) \log (x)} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
fricas [A] time = 0.81, size = 19, normalized size = 0.63 \begin {gather*} \frac {x^{2} + {\left (x^{2} + x + e^{x}\right )} \log \relax (x)}{\log \relax (x)} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
giac [A] time = 0.61, size = 31, normalized size = 1.03 \begin {gather*} -\frac {1}{3} \, \log \relax (x)^{3} + \frac {3}{2} \, x^{2} - \frac {1}{2} \, \log \relax (x)^{2} + 2 \, x + \frac {x^{2}}{\log \relax (x)} + e^{x} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
maple [B] time = 0.07, size = 233, normalized size = 7.77
method | result | size |
risch | \(\frac {\sqrt {\frac {\left (x^{2} \ln \relax (x )+{\mathrm e}^{x} \ln \relax (x )+x \ln \relax (x )+x^{2}+\ln \relax (x )\right )^{2}}{\ln \relax (x )^{2}}}\, \ln \relax (x ) x^{2}}{x^{2} \ln \relax (x )+{\mathrm e}^{x} \ln \relax (x )+x \ln \relax (x )+x^{2}+\ln \relax (x )}+\frac {\sqrt {\frac {\left (x^{2} \ln \relax (x )+{\mathrm e}^{x} \ln \relax (x )+x \ln \relax (x )+x^{2}+\ln \relax (x )\right )^{2}}{\ln \relax (x )^{2}}}\, \ln \relax (x ) x}{x^{2} \ln \relax (x )+{\mathrm e}^{x} \ln \relax (x )+x \ln \relax (x )+x^{2}+\ln \relax (x )}+\frac {\sqrt {\frac {\left (x^{2} \ln \relax (x )+{\mathrm e}^{x} \ln \relax (x )+x \ln \relax (x )+x^{2}+\ln \relax (x )\right )^{2}}{\ln \relax (x )^{2}}}\, \ln \relax (x ) {\mathrm e}^{x}}{x^{2} \ln \relax (x )+{\mathrm e}^{x} \ln \relax (x )+x \ln \relax (x )+x^{2}+\ln \relax (x )}+\frac {\sqrt {\frac {\left (x^{2} \ln \relax (x )+{\mathrm e}^{x} \ln \relax (x )+x \ln \relax (x )+x^{2}+\ln \relax (x )\right )^{2}}{\ln \relax (x )^{2}}}\, x^{2}}{x^{2} \ln \relax (x )+{\mathrm e}^{x} \ln \relax (x )+x \ln \relax (x )+x^{2}+\ln \relax (x )}\) | \(233\) |
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
maxima [A] time = 0.51, size = 22, normalized size = 0.73 \begin {gather*} \frac {x^{2} + {\left (x^{2} + x\right )} \log \relax (x) + e^{x} \log \relax (x)}{\log \relax (x)} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
mupad [F] time = 0.00, size = -1, normalized size = -0.03 \begin {gather*} \int \frac {\sqrt {\frac {{\ln \relax (x)}^2\,\left (2\,x+{\mathrm {e}}^{2\,x}+{\mathrm {e}}^x\,\left (2\,x^2+2\,x+2\right )+3\,x^2+2\,x^3+x^4+1\right )+\ln \relax (x)\,\left (2\,x^2\,{\mathrm {e}}^x+2\,x^2+2\,x^3+2\,x^4\right )+x^4}{{\ln \relax (x)}^2}}\,\left (\left (2\,x+{\mathrm {e}}^x+1\right )\,{\ln \relax (x)}^2+2\,x\,\ln \relax (x)-x\right )}{x^2\,\ln \relax (x)+{\ln \relax (x)}^2\,\left (x+{\mathrm {e}}^x+x^2+1\right )} \,d x \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
sympy [F(-1)] time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {Timed out} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________