Integrand size = 72, antiderivative size = 26 \[ \int \frac {1-3 x^2+e^x \left (-x+x^3\right )}{-3 x+3 x^3+e^5 \left (x-x^3\right )+e^x \left (-x+x^3\right )+\left (-x+x^3\right ) \log \left (-\frac {3}{-x+x^3}\right )} \, dx=\log \left (3-e^5+e^x+\log \left (\frac {3}{x \left (1-x^2\right )}\right )\right ) \]
[Out]
Time = 0.33 (sec) , antiderivative size = 23, normalized size of antiderivative = 0.88, number of steps used = 2, number of rules used = 2, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.028, Rules used = {6873, 6816} \[ \int \frac {1-3 x^2+e^x \left (-x+x^3\right )}{-3 x+3 x^3+e^5 \left (x-x^3\right )+e^x \left (-x+x^3\right )+\left (-x+x^3\right ) \log \left (-\frac {3}{-x+x^3}\right )} \, dx=\log \left (\log \left (\frac {3}{x-x^3}\right )+e^x-e^5+3\right ) \]
[In]
[Out]
Rule 6816
Rule 6873
Rubi steps \begin{align*} \text {integral}& = \int \frac {-1+3 x^2-e^x \left (-x+x^3\right )}{x \left (1-x^2\right ) \left (e^x+3 \left (1-\frac {e^5}{3}\right )+\log \left (\frac {3}{x-x^3}\right )\right )} \, dx \\ & = \log \left (3-e^5+e^x+\log \left (\frac {3}{x-x^3}\right )\right ) \\ \end{align*}
Time = 2.01 (sec) , antiderivative size = 23, normalized size of antiderivative = 0.88 \[ \int \frac {1-3 x^2+e^x \left (-x+x^3\right )}{-3 x+3 x^3+e^5 \left (x-x^3\right )+e^x \left (-x+x^3\right )+\left (-x+x^3\right ) \log \left (-\frac {3}{-x+x^3}\right )} \, dx=\log \left (3-e^5+e^x+\log \left (\frac {3}{x-x^3}\right )\right ) \]
[In]
[Out]
Time = 2.23 (sec) , antiderivative size = 23, normalized size of antiderivative = 0.88
method | result | size |
parallelrisch | \(\ln \left (-{\mathrm e}^{5}+{\mathrm e}^{x}+\ln \left (-\frac {3}{x \left (x^{2}-1\right )}\right )+3\right )\) | \(23\) |
default | \(\ln \left ({\mathrm e}^{5}-{\mathrm e}^{x}-\ln \left (-\frac {3}{x^{3}-x}\right )-3\right )\) | \(24\) |
norman | \(\ln \left ({\mathrm e}^{5}-{\mathrm e}^{x}-\ln \left (-\frac {3}{x^{3}-x}\right )-3\right )\) | \(24\) |
risch | \(\ln \left (-\frac {i \pi \,\operatorname {csgn}\left (\frac {i}{x^{2}-1}\right ) {\operatorname {csgn}\left (\frac {i}{x \left (x^{2}-1\right )}\right )}^{2}}{2}+\frac {i \pi \,\operatorname {csgn}\left (\frac {i}{x^{2}-1}\right ) \operatorname {csgn}\left (\frac {i}{x \left (x^{2}-1\right )}\right ) \operatorname {csgn}\left (\frac {i}{x}\right )}{2}-\frac {i \pi {\operatorname {csgn}\left (\frac {i}{x \left (x^{2}-1\right )}\right )}^{3}}{2}+i \pi {\operatorname {csgn}\left (\frac {i}{x \left (x^{2}-1\right )}\right )}^{2}-\frac {i \pi {\operatorname {csgn}\left (\frac {i}{x \left (x^{2}-1\right )}\right )}^{2} \operatorname {csgn}\left (\frac {i}{x}\right )}{2}-i \pi +{\mathrm e}^{5}-\ln \left (3\right )-{\mathrm e}^{x}+\ln \left (x \right )+\ln \left (x^{2}-1\right )-3\right )\) | \(160\) |
[In]
[Out]
none
Time = 0.25 (sec) , antiderivative size = 21, normalized size of antiderivative = 0.81 \[ \int \frac {1-3 x^2+e^x \left (-x+x^3\right )}{-3 x+3 x^3+e^5 \left (x-x^3\right )+e^x \left (-x+x^3\right )+\left (-x+x^3\right ) \log \left (-\frac {3}{-x+x^3}\right )} \, dx=\log \left (-e^{5} + e^{x} + \log \left (-\frac {3}{x^{3} - x}\right ) + 3\right ) \]
[In]
[Out]
Time = 0.20 (sec) , antiderivative size = 19, normalized size of antiderivative = 0.73 \[ \int \frac {1-3 x^2+e^x \left (-x+x^3\right )}{-3 x+3 x^3+e^5 \left (x-x^3\right )+e^x \left (-x+x^3\right )+\left (-x+x^3\right ) \log \left (-\frac {3}{-x+x^3}\right )} \, dx=\log {\left (e^{x} + \log {\left (- \frac {3}{x^{3} - x} \right )} - e^{5} + 3 \right )} \]
[In]
[Out]
none
Time = 0.32 (sec) , antiderivative size = 25, normalized size of antiderivative = 0.96 \[ \int \frac {1-3 x^2+e^x \left (-x+x^3\right )}{-3 x+3 x^3+e^5 \left (x-x^3\right )+e^x \left (-x+x^3\right )+\left (-x+x^3\right ) \log \left (-\frac {3}{-x+x^3}\right )} \, dx=\log \left (e^{5} - e^{x} - \log \left (3\right ) + \log \left (x + 1\right ) + \log \left (x\right ) + \log \left (-x + 1\right ) - 3\right ) \]
[In]
[Out]
none
Time = 0.30 (sec) , antiderivative size = 21, normalized size of antiderivative = 0.81 \[ \int \frac {1-3 x^2+e^x \left (-x+x^3\right )}{-3 x+3 x^3+e^5 \left (x-x^3\right )+e^x \left (-x+x^3\right )+\left (-x+x^3\right ) \log \left (-\frac {3}{-x+x^3}\right )} \, dx=\log \left (-e^{5} + e^{x} + \log \left (-\frac {3}{x^{3} - x}\right ) + 3\right ) \]
[In]
[Out]
Time = 14.58 (sec) , antiderivative size = 21, normalized size of antiderivative = 0.81 \[ \int \frac {1-3 x^2+e^x \left (-x+x^3\right )}{-3 x+3 x^3+e^5 \left (x-x^3\right )+e^x \left (-x+x^3\right )+\left (-x+x^3\right ) \log \left (-\frac {3}{-x+x^3}\right )} \, dx=\ln \left (\ln \left (\frac {3}{x-x^3}\right )-{\mathrm {e}}^5+{\mathrm {e}}^x+3\right ) \]
[In]
[Out]