Integrand size = 104, antiderivative size = 26 \[ \int \frac {e^{x^2} \left (x+2 x^3\right ) \log (x)+e^{x^2} \left (-6-12 x^2+\left (1+2 x^2\right ) \log (5)\right ) \log ^2(x)+e^{\log ^2\left (\frac {x+(-6+\log (5)) \log (x)}{\log (x)}\right )} (-10+10 \log (x)) \log \left (\frac {x+(-6+\log (5)) \log (x)}{\log (x)}\right )}{5 x \log (x)+(-30+5 \log (5)) \log ^2(x)} \, dx=e^{\log ^2\left (-6+\log (5)+\frac {x}{\log (x)}\right )}+\frac {e^{x^2} x}{5} \]
[Out]
Time = 0.99 (sec) , antiderivative size = 26, normalized size of antiderivative = 1.00, number of steps used = 11, number of rules used = 8, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.077, Rules used = {6873, 12, 6874, 2258, 2235, 2243, 6820, 6838} \[ \int \frac {e^{x^2} \left (x+2 x^3\right ) \log (x)+e^{x^2} \left (-6-12 x^2+\left (1+2 x^2\right ) \log (5)\right ) \log ^2(x)+e^{\log ^2\left (\frac {x+(-6+\log (5)) \log (x)}{\log (x)}\right )} (-10+10 \log (x)) \log \left (\frac {x+(-6+\log (5)) \log (x)}{\log (x)}\right )}{5 x \log (x)+(-30+5 \log (5)) \log ^2(x)} \, dx=\frac {e^{x^2} x}{5}+e^{\log ^2\left (\frac {x}{\log (x)}-6+\log (5)\right )} \]
[In]
[Out]
Rule 12
Rule 2235
Rule 2243
Rule 2258
Rule 6820
Rule 6838
Rule 6873
Rule 6874
Rubi steps \begin{align*} \text {integral}& = \int \frac {e^{x^2} \left (x+2 x^3\right ) \log (x)+e^{x^2} \left (-6-12 x^2+\left (1+2 x^2\right ) \log (5)\right ) \log ^2(x)+e^{\log ^2\left (\frac {x+(-6+\log (5)) \log (x)}{\log (x)}\right )} (-10+10 \log (x)) \log \left (\frac {x+(-6+\log (5)) \log (x)}{\log (x)}\right )}{5 \log (x) \left (x-6 \left (1-\frac {\log (5)}{6}\right ) \log (x)\right )} \, dx \\ & = \frac {1}{5} \int \frac {e^{x^2} \left (x+2 x^3\right ) \log (x)+e^{x^2} \left (-6-12 x^2+\left (1+2 x^2\right ) \log (5)\right ) \log ^2(x)+e^{\log ^2\left (\frac {x+(-6+\log (5)) \log (x)}{\log (x)}\right )} (-10+10 \log (x)) \log \left (\frac {x+(-6+\log (5)) \log (x)}{\log (x)}\right )}{\log (x) \left (x-6 \left (1-\frac {\log (5)}{6}\right ) \log (x)\right )} \, dx \\ & = \frac {1}{5} \int \left (e^{x^2} \left (1+2 x^2\right )+\frac {10 e^{\log ^2\left (-6 \left (1-\frac {\log (5)}{6}\right )+\frac {x}{\log (x)}\right )} (-1+\log (x)) \log \left (-6 \left (1-\frac {\log (5)}{6}\right )+\frac {x}{\log (x)}\right )}{\log (x) \left (x-6 \left (1-\frac {\log (5)}{6}\right ) \log (x)\right )}\right ) \, dx \\ & = \frac {1}{5} \int e^{x^2} \left (1+2 x^2\right ) \, dx+2 \int \frac {e^{\log ^2\left (-6 \left (1-\frac {\log (5)}{6}\right )+\frac {x}{\log (x)}\right )} (-1+\log (x)) \log \left (-6 \left (1-\frac {\log (5)}{6}\right )+\frac {x}{\log (x)}\right )}{\log (x) \left (x-6 \left (1-\frac {\log (5)}{6}\right ) \log (x)\right )} \, dx \\ & = \frac {1}{5} \int \left (e^{x^2}+2 e^{x^2} x^2\right ) \, dx+2 \int \frac {e^{\log ^2\left (-6 \left (1-\frac {\log (5)}{6}\right )+\frac {x}{\log (x)}\right )} (-1+\log (x)) \log \left (-6 \left (1-\frac {\log (5)}{6}\right )+\frac {x}{\log (x)}\right )}{\log (x) (x+(-6+\log (5)) \log (x))} \, dx \\ & = e^{\log ^2\left (-6+\log (5)+\frac {x}{\log (x)}\right )}+\frac {1}{5} \int e^{x^2} \, dx+\frac {2}{5} \int e^{x^2} x^2 \, dx \\ & = e^{\log ^2\left (-6+\log (5)+\frac {x}{\log (x)}\right )}+\frac {e^{x^2} x}{5}+\frac {1}{10} \sqrt {\pi } \text {erfi}(x)-\frac {1}{5} \int e^{x^2} \, dx \\ & = e^{\log ^2\left (-6+\log (5)+\frac {x}{\log (x)}\right )}+\frac {e^{x^2} x}{5} \\ \end{align*}
Time = 0.15 (sec) , antiderivative size = 29, normalized size of antiderivative = 1.12 \[ \int \frac {e^{x^2} \left (x+2 x^3\right ) \log (x)+e^{x^2} \left (-6-12 x^2+\left (1+2 x^2\right ) \log (5)\right ) \log ^2(x)+e^{\log ^2\left (\frac {x+(-6+\log (5)) \log (x)}{\log (x)}\right )} (-10+10 \log (x)) \log \left (\frac {x+(-6+\log (5)) \log (x)}{\log (x)}\right )}{5 x \log (x)+(-30+5 \log (5)) \log ^2(x)} \, dx=\frac {1}{5} \left (5 e^{\log ^2\left (-6+\log (5)+\frac {x}{\log (x)}\right )}+e^{x^2} x\right ) \]
[In]
[Out]
Time = 101.28 (sec) , antiderivative size = 27, normalized size of antiderivative = 1.04
method | result | size |
parallelrisch | \(\frac {{\mathrm e}^{x^{2}} x}{5}+{\mathrm e}^{\ln \left (\frac {\left (\ln \left (5\right )-6\right ) \ln \left (x \right )+x}{\ln \left (x \right )}\right )^{2}}\) | \(27\) |
risch | \(\frac {{\mathrm e}^{x^{2}} x}{5}+{\mathrm e}^{\frac {\left (i \operatorname {csgn}\left (\frac {i \left (\ln \left (5\right ) \ln \left (x \right )-6 \ln \left (x \right )+x \right )}{\ln \left (x \right )}\right )^{3} \pi -i \operatorname {csgn}\left (\frac {i \left (\ln \left (5\right ) \ln \left (x \right )-6 \ln \left (x \right )+x \right )}{\ln \left (x \right )}\right )^{2} \operatorname {csgn}\left (\frac {i}{\ln \left (x \right )}\right ) \pi -i \operatorname {csgn}\left (\frac {i \left (\ln \left (5\right ) \ln \left (x \right )-6 \ln \left (x \right )+x \right )}{\ln \left (x \right )}\right )^{2} \operatorname {csgn}\left (i \left (\ln \left (5\right ) \ln \left (x \right )-6 \ln \left (x \right )+x \right )\right ) \pi +i \operatorname {csgn}\left (\frac {i \left (\ln \left (5\right ) \ln \left (x \right )-6 \ln \left (x \right )+x \right )}{\ln \left (x \right )}\right ) \operatorname {csgn}\left (\frac {i}{\ln \left (x \right )}\right ) \operatorname {csgn}\left (i \left (\ln \left (5\right ) \ln \left (x \right )-6 \ln \left (x \right )+x \right )\right ) \pi -2 \ln \left (\ln \left (5\right ) \ln \left (x \right )-6 \ln \left (x \right )+x \right )+2 \ln \left (\ln \left (x \right )\right )\right )^{2}}{4}}\) | \(178\) |
[In]
[Out]
none
Time = 0.26 (sec) , antiderivative size = 26, normalized size of antiderivative = 1.00 \[ \int \frac {e^{x^2} \left (x+2 x^3\right ) \log (x)+e^{x^2} \left (-6-12 x^2+\left (1+2 x^2\right ) \log (5)\right ) \log ^2(x)+e^{\log ^2\left (\frac {x+(-6+\log (5)) \log (x)}{\log (x)}\right )} (-10+10 \log (x)) \log \left (\frac {x+(-6+\log (5)) \log (x)}{\log (x)}\right )}{5 x \log (x)+(-30+5 \log (5)) \log ^2(x)} \, dx=\frac {1}{5} \, x e^{\left (x^{2}\right )} + e^{\left (\log \left (\frac {{\left (\log \left (5\right ) - 6\right )} \log \left (x\right ) + x}{\log \left (x\right )}\right )^{2}\right )} \]
[In]
[Out]
Time = 29.03 (sec) , antiderivative size = 26, normalized size of antiderivative = 1.00 \[ \int \frac {e^{x^2} \left (x+2 x^3\right ) \log (x)+e^{x^2} \left (-6-12 x^2+\left (1+2 x^2\right ) \log (5)\right ) \log ^2(x)+e^{\log ^2\left (\frac {x+(-6+\log (5)) \log (x)}{\log (x)}\right )} (-10+10 \log (x)) \log \left (\frac {x+(-6+\log (5)) \log (x)}{\log (x)}\right )}{5 x \log (x)+(-30+5 \log (5)) \log ^2(x)} \, dx=\frac {x e^{x^{2}}}{5} + e^{\log {\left (\frac {x + \left (-6 + \log {\left (5 \right )}\right ) \log {\left (x \right )}}{\log {\left (x \right )}} \right )}^{2}} \]
[In]
[Out]
none
Time = 0.33 (sec) , antiderivative size = 42, normalized size of antiderivative = 1.62 \[ \int \frac {e^{x^2} \left (x+2 x^3\right ) \log (x)+e^{x^2} \left (-6-12 x^2+\left (1+2 x^2\right ) \log (5)\right ) \log ^2(x)+e^{\log ^2\left (\frac {x+(-6+\log (5)) \log (x)}{\log (x)}\right )} (-10+10 \log (x)) \log \left (\frac {x+(-6+\log (5)) \log (x)}{\log (x)}\right )}{5 x \log (x)+(-30+5 \log (5)) \log ^2(x)} \, dx=\frac {1}{5} \, x e^{\left (x^{2}\right )} + e^{\left (\log \left ({\left (\log \left (5\right ) - 6\right )} \log \left (x\right ) + x\right )^{2} - 2 \, \log \left ({\left (\log \left (5\right ) - 6\right )} \log \left (x\right ) + x\right ) \log \left (\log \left (x\right )\right ) + \log \left (\log \left (x\right )\right )^{2}\right )} \]
[In]
[Out]
\[ \int \frac {e^{x^2} \left (x+2 x^3\right ) \log (x)+e^{x^2} \left (-6-12 x^2+\left (1+2 x^2\right ) \log (5)\right ) \log ^2(x)+e^{\log ^2\left (\frac {x+(-6+\log (5)) \log (x)}{\log (x)}\right )} (-10+10 \log (x)) \log \left (\frac {x+(-6+\log (5)) \log (x)}{\log (x)}\right )}{5 x \log (x)+(-30+5 \log (5)) \log ^2(x)} \, dx=\int { -\frac {{\left (12 \, x^{2} - {\left (2 \, x^{2} + 1\right )} \log \left (5\right ) + 6\right )} e^{\left (x^{2}\right )} \log \left (x\right )^{2} - {\left (2 \, x^{3} + x\right )} e^{\left (x^{2}\right )} \log \left (x\right ) - 10 \, {\left (\log \left (x\right ) - 1\right )} e^{\left (\log \left (\frac {{\left (\log \left (5\right ) - 6\right )} \log \left (x\right ) + x}{\log \left (x\right )}\right )^{2}\right )} \log \left (\frac {{\left (\log \left (5\right ) - 6\right )} \log \left (x\right ) + x}{\log \left (x\right )}\right )}{5 \, {\left ({\left (\log \left (5\right ) - 6\right )} \log \left (x\right )^{2} + x \log \left (x\right )\right )}} \,d x } \]
[In]
[Out]
Time = 11.97 (sec) , antiderivative size = 28, normalized size of antiderivative = 1.08 \[ \int \frac {e^{x^2} \left (x+2 x^3\right ) \log (x)+e^{x^2} \left (-6-12 x^2+\left (1+2 x^2\right ) \log (5)\right ) \log ^2(x)+e^{\log ^2\left (\frac {x+(-6+\log (5)) \log (x)}{\log (x)}\right )} (-10+10 \log (x)) \log \left (\frac {x+(-6+\log (5)) \log (x)}{\log (x)}\right )}{5 x \log (x)+(-30+5 \log (5)) \log ^2(x)} \, dx={\mathrm {e}}^{{\ln \left (\frac {x-6\,\ln \left (x\right )+\ln \left (5\right )\,\ln \left (x\right )}{\ln \left (x\right )}\right )}^2}+\frac {x\,{\mathrm {e}}^{x^2}}{5} \]
[In]
[Out]