Integrand size = 61, antiderivative size = 22 \[ \int \frac {e^{-x^2} \left (-x+(5+x) \log (5+x)+\left (5+x-10 x^2-2 x^3\right ) \log (5+x) \log \left (\frac {12 x}{\log (5+x)}\right )\right )}{(100+20 x) \log (5+x)} \, dx=\frac {1}{20} e^{-x^2} x \log \left (\frac {12 x}{\log (5+x)}\right ) \]
[Out]
Time = 0.86 (sec) , antiderivative size = 22, normalized size of antiderivative = 1.00, number of steps used = 15, number of rules used = 7, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.115, Rules used = {6874, 6820, 2236, 2258, 2243, 2635, 6823} \[ \int \frac {e^{-x^2} \left (-x+(5+x) \log (5+x)+\left (5+x-10 x^2-2 x^3\right ) \log (5+x) \log \left (\frac {12 x}{\log (5+x)}\right )\right )}{(100+20 x) \log (5+x)} \, dx=\frac {1}{20} e^{-x^2} x \log \left (\frac {12 x}{\log (x+5)}\right ) \]
[In]
[Out]
Rule 2236
Rule 2243
Rule 2258
Rule 2635
Rule 6820
Rule 6823
Rule 6874
Rubi steps \begin{align*} \text {integral}& = \int \left (\frac {e^{-x^2} (-x+5 \log (5+x)+x \log (5+x))}{20 (5+x) \log (5+x)}-\frac {1}{20} e^{-x^2} \left (-1+2 x^2\right ) \log \left (\frac {12 x}{\log (5+x)}\right )\right ) \, dx \\ & = \frac {1}{20} \int \frac {e^{-x^2} (-x+5 \log (5+x)+x \log (5+x))}{(5+x) \log (5+x)} \, dx-\frac {1}{20} \int e^{-x^2} \left (-1+2 x^2\right ) \log \left (\frac {12 x}{\log (5+x)}\right ) \, dx \\ & = \frac {1}{20} e^{-x^2} x \log \left (\frac {12 x}{\log (5+x)}\right )-\frac {1}{20} \int e^{-x^2} x \left (\frac {1}{x}-\frac {1}{(5+x) \log (5+x)}\right ) \, dx+\frac {1}{20} \int e^{-x^2} \left (1-\frac {x}{(5+x) \log (5+x)}\right ) \, dx \\ & = \frac {1}{20} e^{-x^2} x \log \left (\frac {12 x}{\log (5+x)}\right )-\frac {1}{20} \int e^{-x^2} \left (1-\frac {x}{(5+x) \log (5+x)}\right ) \, dx+\frac {1}{20} \int \left (e^{-x^2}-\frac {e^{-x^2} x}{(5+x) \log (5+x)}\right ) \, dx \\ & = \frac {1}{20} e^{-x^2} x \log \left (\frac {12 x}{\log (5+x)}\right )+\frac {1}{20} \int e^{-x^2} \, dx-\frac {1}{20} \int \left (e^{-x^2}-\frac {e^{-x^2} x}{(5+x) \log (5+x)}\right ) \, dx-\frac {1}{20} \int \frac {e^{-x^2} x}{(5+x) \log (5+x)} \, dx \\ & = \frac {1}{40} \sqrt {\pi } \text {erf}(x)+\frac {1}{20} e^{-x^2} x \log \left (\frac {12 x}{\log (5+x)}\right )-\frac {1}{20} \int e^{-x^2} \, dx-\frac {1}{20} \int \left (\frac {e^{-x^2}}{\log (5+x)}-\frac {5 e^{-x^2}}{(5+x) \log (5+x)}\right ) \, dx+\frac {1}{20} \int \frac {e^{-x^2} x}{(5+x) \log (5+x)} \, dx \\ & = \frac {1}{20} e^{-x^2} x \log \left (\frac {12 x}{\log (5+x)}\right )+\frac {1}{20} \int \left (\frac {e^{-x^2}}{\log (5+x)}-\frac {5 e^{-x^2}}{(5+x) \log (5+x)}\right ) \, dx-\frac {1}{20} \int \frac {e^{-x^2}}{\log (5+x)} \, dx+\frac {1}{4} \int \frac {e^{-x^2}}{(5+x) \log (5+x)} \, dx \\ & = \frac {1}{20} e^{-x^2} x \log \left (\frac {12 x}{\log (5+x)}\right ) \\ \end{align*}
Time = 0.37 (sec) , antiderivative size = 22, normalized size of antiderivative = 1.00 \[ \int \frac {e^{-x^2} \left (-x+(5+x) \log (5+x)+\left (5+x-10 x^2-2 x^3\right ) \log (5+x) \log \left (\frac {12 x}{\log (5+x)}\right )\right )}{(100+20 x) \log (5+x)} \, dx=\frac {1}{20} e^{-x^2} x \log \left (\frac {12 x}{\log (5+x)}\right ) \]
[In]
[Out]
Time = 1.27 (sec) , antiderivative size = 20, normalized size of antiderivative = 0.91
method | result | size |
parallelrisch | \(\frac {x \,{\mathrm e}^{-x^{2}} \ln \left (\frac {12 x}{\ln \left (5+x \right )}\right )}{20}\) | \(20\) |
risch | \(-\frac {x \,{\mathrm e}^{-x^{2}} \ln \left (\ln \left (5+x \right )\right )}{20}+\frac {x \left (i \pi \,\operatorname {csgn}\left (\frac {i}{\ln \left (5+x \right )}\right ) \operatorname {csgn}\left (\frac {i x}{\ln \left (5+x \right )}\right )^{2}-i \pi \,\operatorname {csgn}\left (\frac {i}{\ln \left (5+x \right )}\right ) \operatorname {csgn}\left (\frac {i x}{\ln \left (5+x \right )}\right ) \operatorname {csgn}\left (i x \right )+i \pi \operatorname {csgn}\left (\frac {i x}{\ln \left (5+x \right )}\right )^{2} \operatorname {csgn}\left (i x \right )-i \pi \operatorname {csgn}\left (\frac {i x}{\ln \left (5+x \right )}\right )^{3}+2 \ln \left (3\right )+4 \ln \left (2\right )+2 \ln \left (x \right )\right ) {\mathrm e}^{-x^{2}}}{40}\) | \(134\) |
[In]
[Out]
none
Time = 0.25 (sec) , antiderivative size = 19, normalized size of antiderivative = 0.86 \[ \int \frac {e^{-x^2} \left (-x+(5+x) \log (5+x)+\left (5+x-10 x^2-2 x^3\right ) \log (5+x) \log \left (\frac {12 x}{\log (5+x)}\right )\right )}{(100+20 x) \log (5+x)} \, dx=\frac {1}{20} \, x e^{\left (-x^{2}\right )} \log \left (\frac {12 \, x}{\log \left (x + 5\right )}\right ) \]
[In]
[Out]
Time = 5.15 (sec) , antiderivative size = 17, normalized size of antiderivative = 0.77 \[ \int \frac {e^{-x^2} \left (-x+(5+x) \log (5+x)+\left (5+x-10 x^2-2 x^3\right ) \log (5+x) \log \left (\frac {12 x}{\log (5+x)}\right )\right )}{(100+20 x) \log (5+x)} \, dx=\frac {x e^{- x^{2}} \log {\left (\frac {12 x}{\log {\left (x + 5 \right )}} \right )}}{20} \]
[In]
[Out]
none
Time = 0.33 (sec) , antiderivative size = 37, normalized size of antiderivative = 1.68 \[ \int \frac {e^{-x^2} \left (-x+(5+x) \log (5+x)+\left (5+x-10 x^2-2 x^3\right ) \log (5+x) \log \left (\frac {12 x}{\log (5+x)}\right )\right )}{(100+20 x) \log (5+x)} \, dx=-\frac {1}{20} \, x e^{\left (-x^{2}\right )} \log \left (\log \left (x + 5\right )\right ) + \frac {1}{20} \, {\left (x {\left (\log \left (3\right ) + 2 \, \log \left (2\right )\right )} + x \log \left (x\right )\right )} e^{\left (-x^{2}\right )} \]
[In]
[Out]
none
Time = 0.29 (sec) , antiderivative size = 28, normalized size of antiderivative = 1.27 \[ \int \frac {e^{-x^2} \left (-x+(5+x) \log (5+x)+\left (5+x-10 x^2-2 x^3\right ) \log (5+x) \log \left (\frac {12 x}{\log (5+x)}\right )\right )}{(100+20 x) \log (5+x)} \, dx=\frac {1}{20} \, x e^{\left (-x^{2}\right )} \log \left (12 \, x\right ) - \frac {1}{20} \, x e^{\left (-x^{2}\right )} \log \left (\log \left (x + 5\right )\right ) \]
[In]
[Out]
Time = 8.63 (sec) , antiderivative size = 19, normalized size of antiderivative = 0.86 \[ \int \frac {e^{-x^2} \left (-x+(5+x) \log (5+x)+\left (5+x-10 x^2-2 x^3\right ) \log (5+x) \log \left (\frac {12 x}{\log (5+x)}\right )\right )}{(100+20 x) \log (5+x)} \, dx=\frac {x\,{\mathrm {e}}^{-x^2}\,\ln \left (\frac {12\,x}{\ln \left (x+5\right )}\right )}{20} \]
[In]
[Out]