Integrand size = 117, antiderivative size = 22 \[ \int \frac {-480+60 x^2+80 x^4+\left (-60+10 x^2+20 x^4\right ) \log \left (\frac {1}{2} \left (6-x^2-2 x^4\right )\right )}{-384+64 x^2+128 x^4+\left (-96+16 x^2+32 x^4\right ) \log \left (\frac {1}{2} \left (6-x^2-2 x^4\right )\right )+\left (-6+x^2+2 x^4\right ) \log ^2\left (\frac {1}{2} \left (6-x^2-2 x^4\right )\right )} \, dx=\frac {10 x}{8+\log \left (3-\frac {x^2}{2}-x^4\right )} \]
[Out]
\[ \int \frac {-480+60 x^2+80 x^4+\left (-60+10 x^2+20 x^4\right ) \log \left (\frac {1}{2} \left (6-x^2-2 x^4\right )\right )}{-384+64 x^2+128 x^4+\left (-96+16 x^2+32 x^4\right ) \log \left (\frac {1}{2} \left (6-x^2-2 x^4\right )\right )+\left (-6+x^2+2 x^4\right ) \log ^2\left (\frac {1}{2} \left (6-x^2-2 x^4\right )\right )} \, dx=\int \frac {-480+60 x^2+80 x^4+\left (-60+10 x^2+20 x^4\right ) \log \left (\frac {1}{2} \left (6-x^2-2 x^4\right )\right )}{-384+64 x^2+128 x^4+\left (-96+16 x^2+32 x^4\right ) \log \left (\frac {1}{2} \left (6-x^2-2 x^4\right )\right )+\left (-6+x^2+2 x^4\right ) \log ^2\left (\frac {1}{2} \left (6-x^2-2 x^4\right )\right )} \, dx \]
[In]
[Out]
Rubi steps \begin{align*} \text {integral}& = \int \frac {10 \left (48-6 x^2-8 x^4-\left (-6+x^2+2 x^4\right ) \log \left (3-\frac {x^2}{2}-x^4\right )\right )}{\left (6-x^2-2 x^4\right ) \left (8+\log \left (3-\frac {x^2}{2}-x^4\right )\right )^2} \, dx \\ & = 10 \int \frac {48-6 x^2-8 x^4-\left (-6+x^2+2 x^4\right ) \log \left (3-\frac {x^2}{2}-x^4\right )}{\left (6-x^2-2 x^4\right ) \left (8+\log \left (3-\frac {x^2}{2}-x^4\right )\right )^2} \, dx \\ & = 10 \int \left (\frac {2 x^2 \left (1+4 x^2\right )}{\left (6-x^2-2 x^4\right ) \left (8+\log \left (3-\frac {x^2}{2}-x^4\right )\right )^2}+\frac {1}{8+\log \left (3-\frac {x^2}{2}-x^4\right )}\right ) \, dx \\ & = 10 \int \frac {1}{8+\log \left (3-\frac {x^2}{2}-x^4\right )} \, dx+20 \int \frac {x^2 \left (1+4 x^2\right )}{\left (6-x^2-2 x^4\right ) \left (8+\log \left (3-\frac {x^2}{2}-x^4\right )\right )^2} \, dx \\ & = 10 \int \frac {1}{8+\log \left (3-\frac {x^2}{2}-x^4\right )} \, dx+20 \int \left (-\frac {2}{\left (8+\log \left (3-\frac {x^2}{2}-x^4\right )\right )^2}+\frac {2}{\left (2+x^2\right ) \left (8+\log \left (3-\frac {x^2}{2}-x^4\right )\right )^2}-\frac {3}{\left (-3+2 x^2\right ) \left (8+\log \left (3-\frac {x^2}{2}-x^4\right )\right )^2}\right ) \, dx \\ & = 10 \int \frac {1}{8+\log \left (3-\frac {x^2}{2}-x^4\right )} \, dx-40 \int \frac {1}{\left (8+\log \left (3-\frac {x^2}{2}-x^4\right )\right )^2} \, dx+40 \int \frac {1}{\left (2+x^2\right ) \left (8+\log \left (3-\frac {x^2}{2}-x^4\right )\right )^2} \, dx-60 \int \frac {1}{\left (-3+2 x^2\right ) \left (8+\log \left (3-\frac {x^2}{2}-x^4\right )\right )^2} \, dx \\ & = 10 \int \frac {1}{8+\log \left (3-\frac {x^2}{2}-x^4\right )} \, dx-40 \int \frac {1}{\left (8+\log \left (3-\frac {x^2}{2}-x^4\right )\right )^2} \, dx+40 \int \left (\frac {i}{2 \sqrt {2} \left (i \sqrt {2}-x\right ) \left (8+\log \left (3-\frac {x^2}{2}-x^4\right )\right )^2}+\frac {i}{2 \sqrt {2} \left (i \sqrt {2}+x\right ) \left (8+\log \left (3-\frac {x^2}{2}-x^4\right )\right )^2}\right ) \, dx-60 \int \left (-\frac {1}{2 \sqrt {3} \left (\sqrt {3}-\sqrt {2} x\right ) \left (8+\log \left (3-\frac {x^2}{2}-x^4\right )\right )^2}-\frac {1}{2 \sqrt {3} \left (\sqrt {3}+\sqrt {2} x\right ) \left (8+\log \left (3-\frac {x^2}{2}-x^4\right )\right )^2}\right ) \, dx \\ & = 10 \int \frac {1}{8+\log \left (3-\frac {x^2}{2}-x^4\right )} \, dx-40 \int \frac {1}{\left (8+\log \left (3-\frac {x^2}{2}-x^4\right )\right )^2} \, dx+\left (10 i \sqrt {2}\right ) \int \frac {1}{\left (i \sqrt {2}-x\right ) \left (8+\log \left (3-\frac {x^2}{2}-x^4\right )\right )^2} \, dx+\left (10 i \sqrt {2}\right ) \int \frac {1}{\left (i \sqrt {2}+x\right ) \left (8+\log \left (3-\frac {x^2}{2}-x^4\right )\right )^2} \, dx+\left (10 \sqrt {3}\right ) \int \frac {1}{\left (\sqrt {3}-\sqrt {2} x\right ) \left (8+\log \left (3-\frac {x^2}{2}-x^4\right )\right )^2} \, dx+\left (10 \sqrt {3}\right ) \int \frac {1}{\left (\sqrt {3}+\sqrt {2} x\right ) \left (8+\log \left (3-\frac {x^2}{2}-x^4\right )\right )^2} \, dx \\ \end{align*}
Time = 0.43 (sec) , antiderivative size = 22, normalized size of antiderivative = 1.00 \[ \int \frac {-480+60 x^2+80 x^4+\left (-60+10 x^2+20 x^4\right ) \log \left (\frac {1}{2} \left (6-x^2-2 x^4\right )\right )}{-384+64 x^2+128 x^4+\left (-96+16 x^2+32 x^4\right ) \log \left (\frac {1}{2} \left (6-x^2-2 x^4\right )\right )+\left (-6+x^2+2 x^4\right ) \log ^2\left (\frac {1}{2} \left (6-x^2-2 x^4\right )\right )} \, dx=\frac {10 x}{8+\log \left (3-\frac {x^2}{2}-x^4\right )} \]
[In]
[Out]
Time = 0.76 (sec) , antiderivative size = 21, normalized size of antiderivative = 0.95
method | result | size |
norman | \(\frac {10 x}{\ln \left (-x^{4}-\frac {1}{2} x^{2}+3\right )+8}\) | \(21\) |
risch | \(\frac {10 x}{\ln \left (-x^{4}-\frac {1}{2} x^{2}+3\right )+8}\) | \(21\) |
parallelrisch | \(\frac {10 x}{\ln \left (-x^{4}-\frac {1}{2} x^{2}+3\right )+8}\) | \(21\) |
[In]
[Out]
none
Time = 0.24 (sec) , antiderivative size = 20, normalized size of antiderivative = 0.91 \[ \int \frac {-480+60 x^2+80 x^4+\left (-60+10 x^2+20 x^4\right ) \log \left (\frac {1}{2} \left (6-x^2-2 x^4\right )\right )}{-384+64 x^2+128 x^4+\left (-96+16 x^2+32 x^4\right ) \log \left (\frac {1}{2} \left (6-x^2-2 x^4\right )\right )+\left (-6+x^2+2 x^4\right ) \log ^2\left (\frac {1}{2} \left (6-x^2-2 x^4\right )\right )} \, dx=\frac {10 \, x}{\log \left (-x^{4} - \frac {1}{2} \, x^{2} + 3\right ) + 8} \]
[In]
[Out]
Time = 0.07 (sec) , antiderivative size = 15, normalized size of antiderivative = 0.68 \[ \int \frac {-480+60 x^2+80 x^4+\left (-60+10 x^2+20 x^4\right ) \log \left (\frac {1}{2} \left (6-x^2-2 x^4\right )\right )}{-384+64 x^2+128 x^4+\left (-96+16 x^2+32 x^4\right ) \log \left (\frac {1}{2} \left (6-x^2-2 x^4\right )\right )+\left (-6+x^2+2 x^4\right ) \log ^2\left (\frac {1}{2} \left (6-x^2-2 x^4\right )\right )} \, dx=\frac {10 x}{\log {\left (- x^{4} - \frac {x^{2}}{2} + 3 \right )} + 8} \]
[In]
[Out]
none
Time = 0.31 (sec) , antiderivative size = 27, normalized size of antiderivative = 1.23 \[ \int \frac {-480+60 x^2+80 x^4+\left (-60+10 x^2+20 x^4\right ) \log \left (\frac {1}{2} \left (6-x^2-2 x^4\right )\right )}{-384+64 x^2+128 x^4+\left (-96+16 x^2+32 x^4\right ) \log \left (\frac {1}{2} \left (6-x^2-2 x^4\right )\right )+\left (-6+x^2+2 x^4\right ) \log ^2\left (\frac {1}{2} \left (6-x^2-2 x^4\right )\right )} \, dx=-\frac {10 \, x}{\log \left (2\right ) - \log \left (x^{2} + 2\right ) - \log \left (-2 \, x^{2} + 3\right ) - 8} \]
[In]
[Out]
none
Time = 0.37 (sec) , antiderivative size = 20, normalized size of antiderivative = 0.91 \[ \int \frac {-480+60 x^2+80 x^4+\left (-60+10 x^2+20 x^4\right ) \log \left (\frac {1}{2} \left (6-x^2-2 x^4\right )\right )}{-384+64 x^2+128 x^4+\left (-96+16 x^2+32 x^4\right ) \log \left (\frac {1}{2} \left (6-x^2-2 x^4\right )\right )+\left (-6+x^2+2 x^4\right ) \log ^2\left (\frac {1}{2} \left (6-x^2-2 x^4\right )\right )} \, dx=\frac {10 \, x}{\log \left (-x^{4} - \frac {1}{2} \, x^{2} + 3\right ) + 8} \]
[In]
[Out]
Time = 0.69 (sec) , antiderivative size = 20, normalized size of antiderivative = 0.91 \[ \int \frac {-480+60 x^2+80 x^4+\left (-60+10 x^2+20 x^4\right ) \log \left (\frac {1}{2} \left (6-x^2-2 x^4\right )\right )}{-384+64 x^2+128 x^4+\left (-96+16 x^2+32 x^4\right ) \log \left (\frac {1}{2} \left (6-x^2-2 x^4\right )\right )+\left (-6+x^2+2 x^4\right ) \log ^2\left (\frac {1}{2} \left (6-x^2-2 x^4\right )\right )} \, dx=\frac {10\,x}{\ln \left (-x^4-\frac {x^2}{2}+3\right )+8} \]
[In]
[Out]