Integrand size = 80, antiderivative size = 29 \[ \int \frac {e^{-4 \log ^2\left (\frac {1}{3} \left (-15+x^2\right )\right )} \left (15-x^2+e^{4 \log ^2\left (\frac {1}{3} \left (-15+x^2\right )\right )} \left (30 x-2 x^3\right )+16 x^2 \log \left (\frac {5 x}{2}\right ) \log \left (\frac {1}{3} \left (-15+x^2\right )\right )\right )}{-15 x+x^3} \, dx=8-2 x-e^{-4 \log ^2\left (-5+\frac {x^2}{3}\right )} \log \left (\frac {5 x}{2}\right ) \]
[Out]
Time = 1.11 (sec) , antiderivative size = 28, normalized size of antiderivative = 0.97, number of steps used = 4, number of rules used = 3, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.038, Rules used = {1607, 6857, 2326} \[ \int \frac {e^{-4 \log ^2\left (\frac {1}{3} \left (-15+x^2\right )\right )} \left (15-x^2+e^{4 \log ^2\left (\frac {1}{3} \left (-15+x^2\right )\right )} \left (30 x-2 x^3\right )+16 x^2 \log \left (\frac {5 x}{2}\right ) \log \left (\frac {1}{3} \left (-15+x^2\right )\right )\right )}{-15 x+x^3} \, dx=-e^{-4 \log ^2\left (\frac {x^2}{3}-5\right )} \log \left (\frac {5 x}{2}\right )-2 x \]
[In]
[Out]
Rule 1607
Rule 2326
Rule 6857
Rubi steps \begin{align*} \text {integral}& = \int \frac {e^{-4 \log ^2\left (\frac {1}{3} \left (-15+x^2\right )\right )} \left (15-x^2+e^{4 \log ^2\left (\frac {1}{3} \left (-15+x^2\right )\right )} \left (30 x-2 x^3\right )+16 x^2 \log \left (\frac {5 x}{2}\right ) \log \left (\frac {1}{3} \left (-15+x^2\right )\right )\right )}{x \left (-15+x^2\right )} \, dx \\ & = \int \left (-2+\frac {e^{-4 \log ^2\left (-5+\frac {x^2}{3}\right )} \left (15-x^2+16 x^2 \log \left (\frac {5 x}{2}\right ) \log \left (-5+\frac {x^2}{3}\right )\right )}{x \left (-15+x^2\right )}\right ) \, dx \\ & = -2 x+\int \frac {e^{-4 \log ^2\left (-5+\frac {x^2}{3}\right )} \left (15-x^2+16 x^2 \log \left (\frac {5 x}{2}\right ) \log \left (-5+\frac {x^2}{3}\right )\right )}{x \left (-15+x^2\right )} \, dx \\ & = -2 x-e^{-4 \log ^2\left (-5+\frac {x^2}{3}\right )} \log \left (\frac {5 x}{2}\right ) \\ \end{align*}
Time = 1.66 (sec) , antiderivative size = 28, normalized size of antiderivative = 0.97 \[ \int \frac {e^{-4 \log ^2\left (\frac {1}{3} \left (-15+x^2\right )\right )} \left (15-x^2+e^{4 \log ^2\left (\frac {1}{3} \left (-15+x^2\right )\right )} \left (30 x-2 x^3\right )+16 x^2 \log \left (\frac {5 x}{2}\right ) \log \left (\frac {1}{3} \left (-15+x^2\right )\right )\right )}{-15 x+x^3} \, dx=-2 x-e^{-4 \log ^2\left (-5+\frac {x^2}{3}\right )} \log \left (\frac {5 x}{2}\right ) \]
[In]
[Out]
Time = 0.43 (sec) , antiderivative size = 24, normalized size of antiderivative = 0.83
method | result | size |
risch | \(-2 x -\ln \left (\frac {5 x}{2}\right ) {\mathrm e}^{-4 \ln \left (\frac {x^{2}}{3}-5\right )^{2}}\) | \(24\) |
parallelrisch | \(-\frac {\left (900 x \,{\mathrm e}^{4 \ln \left (\frac {x^{2}}{3}-5\right )^{2}}+450 \ln \left (\frac {5 x}{2}\right )\right ) {\mathrm e}^{-4 \ln \left (\frac {x^{2}}{3}-5\right )^{2}}}{450}\) | \(41\) |
[In]
[Out]
none
Time = 0.26 (sec) , antiderivative size = 36, normalized size of antiderivative = 1.24 \[ \int \frac {e^{-4 \log ^2\left (\frac {1}{3} \left (-15+x^2\right )\right )} \left (15-x^2+e^{4 \log ^2\left (\frac {1}{3} \left (-15+x^2\right )\right )} \left (30 x-2 x^3\right )+16 x^2 \log \left (\frac {5 x}{2}\right ) \log \left (\frac {1}{3} \left (-15+x^2\right )\right )\right )}{-15 x+x^3} \, dx=-{\left (2 \, x e^{\left (4 \, \log \left (\frac {1}{3} \, x^{2} - 5\right )^{2}\right )} + \log \left (\frac {5}{2} \, x\right )\right )} e^{\left (-4 \, \log \left (\frac {1}{3} \, x^{2} - 5\right )^{2}\right )} \]
[In]
[Out]
Timed out. \[ \int \frac {e^{-4 \log ^2\left (\frac {1}{3} \left (-15+x^2\right )\right )} \left (15-x^2+e^{4 \log ^2\left (\frac {1}{3} \left (-15+x^2\right )\right )} \left (30 x-2 x^3\right )+16 x^2 \log \left (\frac {5 x}{2}\right ) \log \left (\frac {1}{3} \left (-15+x^2\right )\right )\right )}{-15 x+x^3} \, dx=\text {Timed out} \]
[In]
[Out]
Leaf count of result is larger than twice the leaf count of optimal. 63 vs. \(2 (24) = 48\).
Time = 0.33 (sec) , antiderivative size = 63, normalized size of antiderivative = 2.17 \[ \int \frac {e^{-4 \log ^2\left (\frac {1}{3} \left (-15+x^2\right )\right )} \left (15-x^2+e^{4 \log ^2\left (\frac {1}{3} \left (-15+x^2\right )\right )} \left (30 x-2 x^3\right )+16 x^2 \log \left (\frac {5 x}{2}\right ) \log \left (\frac {1}{3} \left (-15+x^2\right )\right )\right )}{-15 x+x^3} \, dx=-{\left (2 \, x e^{\left (4 \, \log \left (3\right )^{2} + 4 \, \log \left (x^{2} - 15\right )^{2}\right )} + {\left (\log \left (5\right ) - \log \left (2\right ) + \log \left (x\right )\right )} e^{\left (8 \, \log \left (3\right ) \log \left (x^{2} - 15\right )\right )}\right )} e^{\left (-4 \, \log \left (3\right )^{2} - 4 \, \log \left (x^{2} - 15\right )^{2}\right )} \]
[In]
[Out]
\[ \int \frac {e^{-4 \log ^2\left (\frac {1}{3} \left (-15+x^2\right )\right )} \left (15-x^2+e^{4 \log ^2\left (\frac {1}{3} \left (-15+x^2\right )\right )} \left (30 x-2 x^3\right )+16 x^2 \log \left (\frac {5 x}{2}\right ) \log \left (\frac {1}{3} \left (-15+x^2\right )\right )\right )}{-15 x+x^3} \, dx=\int { \frac {{\left (16 \, x^{2} \log \left (\frac {1}{3} \, x^{2} - 5\right ) \log \left (\frac {5}{2} \, x\right ) - x^{2} - 2 \, {\left (x^{3} - 15 \, x\right )} e^{\left (4 \, \log \left (\frac {1}{3} \, x^{2} - 5\right )^{2}\right )} + 15\right )} e^{\left (-4 \, \log \left (\frac {1}{3} \, x^{2} - 5\right )^{2}\right )}}{x^{3} - 15 \, x} \,d x } \]
[In]
[Out]
Time = 12.13 (sec) , antiderivative size = 23, normalized size of antiderivative = 0.79 \[ \int \frac {e^{-4 \log ^2\left (\frac {1}{3} \left (-15+x^2\right )\right )} \left (15-x^2+e^{4 \log ^2\left (\frac {1}{3} \left (-15+x^2\right )\right )} \left (30 x-2 x^3\right )+16 x^2 \log \left (\frac {5 x}{2}\right ) \log \left (\frac {1}{3} \left (-15+x^2\right )\right )\right )}{-15 x+x^3} \, dx=-2\,x-\ln \left (\frac {5\,x}{2}\right )\,{\mathrm {e}}^{-4\,{\ln \left (\frac {x^2}{3}-5\right )}^2} \]
[In]
[Out]