Integrand size = 48, antiderivative size = 19 \[ \int \frac {-6 x+2 x \log \left (\frac {2}{e^3}\right )}{9+6 x^2+x^4+\left (-6-2 x^2\right ) \log \left (\frac {2}{e^3}\right )+\log ^2\left (\frac {2}{e^3}\right )} \, dx=\frac {x^2}{-3-x^2+\log \left (\frac {2}{e^3}\right )} \]
[Out]
Time = 0.02 (sec) , antiderivative size = 18, normalized size of antiderivative = 0.95, number of steps used = 5, number of rules used = 5, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.104, Rules used = {6, 12, 2014, 28, 267} \[ \int \frac {-6 x+2 x \log \left (\frac {2}{e^3}\right )}{9+6 x^2+x^4+\left (-6-2 x^2\right ) \log \left (\frac {2}{e^3}\right )+\log ^2\left (\frac {2}{e^3}\right )} \, dx=\frac {6-\log (2)}{x^2+6-\log (2)} \]
[In]
[Out]
Rule 6
Rule 12
Rule 28
Rule 267
Rule 2014
Rubi steps \begin{align*} \text {integral}& = \int \frac {x \left (-6+2 \log \left (\frac {2}{e^3}\right )\right )}{9+6 x^2+x^4+\left (-6-2 x^2\right ) \log \left (\frac {2}{e^3}\right )+\log ^2\left (\frac {2}{e^3}\right )} \, dx \\ & = \left (-6+2 \log \left (\frac {2}{e^3}\right )\right ) \int \frac {x}{9+6 x^2+x^4+\left (-6-2 x^2\right ) \log \left (\frac {2}{e^3}\right )+\log ^2\left (\frac {2}{e^3}\right )} \, dx \\ & = \left (-6+2 \log \left (\frac {2}{e^3}\right )\right ) \int \frac {x}{x^4+2 x^2 (6-\log (2))+(-6+\log (2))^2} \, dx \\ & = \left (-6+2 \log \left (\frac {2}{e^3}\right )\right ) \int \frac {x}{\left (6+x^2-\log (2)\right )^2} \, dx \\ & = \frac {6-\log (2)}{6+x^2-\log (2)} \\ \end{align*}
Time = 0.01 (sec) , antiderivative size = 17, normalized size of antiderivative = 0.89 \[ \int \frac {-6 x+2 x \log \left (\frac {2}{e^3}\right )}{9+6 x^2+x^4+\left (-6-2 x^2\right ) \log \left (\frac {2}{e^3}\right )+\log ^2\left (\frac {2}{e^3}\right )} \, dx=-\frac {-6+\log (2)}{6+x^2-\log (2)} \]
[In]
[Out]
Time = 0.06 (sec) , antiderivative size = 17, normalized size of antiderivative = 0.89
method | result | size |
norman | \(\frac {\ln \left (2\right )-6}{-x^{2}+\ln \left (2\right )-6}\) | \(17\) |
default | \(-\frac {\ln \left (2 \,{\mathrm e}^{-3}\right )-3}{-\ln \left (2 \,{\mathrm e}^{-3}\right )+x^{2}+3}\) | \(26\) |
risch | \(\frac {\ln \left (2\right )}{-x^{2}+\ln \left (2\right )-6}-\frac {6}{-x^{2}+\ln \left (2\right )-6}\) | \(29\) |
parallelrisch | \(-\frac {-\ln \left (2 \,{\mathrm e}^{-3}\right )+3}{-3-x^{2}+\ln \left (2 \,{\mathrm e}^{-3}\right )}\) | \(30\) |
[In]
[Out]
none
Time = 0.25 (sec) , antiderivative size = 17, normalized size of antiderivative = 0.89 \[ \int \frac {-6 x+2 x \log \left (\frac {2}{e^3}\right )}{9+6 x^2+x^4+\left (-6-2 x^2\right ) \log \left (\frac {2}{e^3}\right )+\log ^2\left (\frac {2}{e^3}\right )} \, dx=-\frac {\log \left (2\right ) - 6}{x^{2} - \log \left (2\right ) + 6} \]
[In]
[Out]
Time = 0.10 (sec) , antiderivative size = 19, normalized size of antiderivative = 1.00 \[ \int \frac {-6 x+2 x \log \left (\frac {2}{e^3}\right )}{9+6 x^2+x^4+\left (-6-2 x^2\right ) \log \left (\frac {2}{e^3}\right )+\log ^2\left (\frac {2}{e^3}\right )} \, dx=- \frac {-12 + 2 \log {\left (2 \right )}}{2 x^{2} - 2 \log {\left (2 \right )} + 12} \]
[In]
[Out]
none
Time = 0.20 (sec) , antiderivative size = 23, normalized size of antiderivative = 1.21 \[ \int \frac {-6 x+2 x \log \left (\frac {2}{e^3}\right )}{9+6 x^2+x^4+\left (-6-2 x^2\right ) \log \left (\frac {2}{e^3}\right )+\log ^2\left (\frac {2}{e^3}\right )} \, dx=-\frac {\log \left (2 \, e^{\left (-3\right )}\right ) - 3}{x^{2} - \log \left (2 \, e^{\left (-3\right )}\right ) + 3} \]
[In]
[Out]
Leaf count of result is larger than twice the leaf count of optimal. 52 vs. \(2 (19) = 38\).
Time = 0.26 (sec) , antiderivative size = 52, normalized size of antiderivative = 2.74 \[ \int \frac {-6 x+2 x \log \left (\frac {2}{e^3}\right )}{9+6 x^2+x^4+\left (-6-2 x^2\right ) \log \left (\frac {2}{e^3}\right )+\log ^2\left (\frac {2}{e^3}\right )} \, dx=-\frac {\log \left (2 \, e^{\left (-3\right )}\right )^{2} - 6 \, \log \left (2 \, e^{\left (-3\right )}\right ) + 9}{x^{2} \log \left (2 \, e^{\left (-3\right )}\right ) - 3 \, x^{2} - \log \left (2 \, e^{\left (-3\right )}\right )^{2} + 6 \, \log \left (2 \, e^{\left (-3\right )}\right ) - 9} \]
[In]
[Out]
Timed out. \[ \int \frac {-6 x+2 x \log \left (\frac {2}{e^3}\right )}{9+6 x^2+x^4+\left (-6-2 x^2\right ) \log \left (\frac {2}{e^3}\right )+\log ^2\left (\frac {2}{e^3}\right )} \, dx=\int -\frac {6\,x-2\,x\,\ln \left (2\,{\mathrm {e}}^{-3}\right )}{{\ln \left (2\,{\mathrm {e}}^{-3}\right )}^2-\ln \left (2\,{\mathrm {e}}^{-3}\right )\,\left (2\,x^2+6\right )+6\,x^2+x^4+9} \,d x \]
[In]
[Out]