Optimal. Leaf size=35 \[ \log \left (-x-\frac {-3+x-x^2}{x}+\log (5)-\frac {x^2}{\log \left (\left (2+x^2\right )^2\right )}\right ) \]
[Out]
________________________________________________________________________________________
Rubi [F]
time = 4.36, antiderivative size = 0, normalized size of antiderivative = 0.00, number of steps
used = 0, number of rules used = 0, integrand size = 0, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.000, Rules used = {}
\begin {gather*} \int \frac {4 x^5+\left (-4 x^3-2 x^5\right ) \log \left (4+4 x^2+x^4\right )+\left (-6-3 x^2\right ) \log ^2\left (4+4 x^2+x^4\right )}{\left (-2 x^4-x^6\right ) \log \left (4+4 x^2+x^4\right )+\left (6 x-2 x^2+3 x^3-x^4+\left (2 x^2+x^4\right ) \log (5)\right ) \log ^2\left (4+4 x^2+x^4\right )} \, dx \end {gather*}
Verification is not applicable to the result.
[In]
[Out]
Rubi steps
\begin {gather*} \begin {aligned} \text {integral} &=\int \frac {-4 x^5+2 x^3 \left (2+x^2\right ) \log \left (\left (2+x^2\right )^2\right )+3 \left (2+x^2\right ) \log ^2\left (\left (2+x^2\right )^2\right )}{x \left (2+x^2\right ) \log \left (\left (2+x^2\right )^2\right ) \left (x^3+(-3+x-x \log (5)) \log \left (\left (2+x^2\right )^2\right )\right )} \, dx\\ &=\int \left (\frac {3}{x (-3+x (1-\log (5)))}-\frac {4 x}{\left (2+x^2\right ) \log \left (\left (2+x^2\right )^2\right )}+\frac {x^2 (9-2 x (1-\log (5)))}{(3-x (1-\log (5))) \left (x^3-3 \log \left (\left (2+x^2\right )^2\right )+x (1-\log (5)) \log \left (\left (2+x^2\right )^2\right )\right )}+\frac {4 x (-3+x (1-\log (5)))}{\left (2+x^2\right ) \left (x^3-3 \log \left (\left (2+x^2\right )^2\right )+x (1-\log (5)) \log \left (\left (2+x^2\right )^2\right )\right )}\right ) \, dx\\ &=3 \int \frac {1}{x (-3+x (1-\log (5)))} \, dx-4 \int \frac {x}{\left (2+x^2\right ) \log \left (\left (2+x^2\right )^2\right )} \, dx+4 \int \frac {x (-3+x (1-\log (5)))}{\left (2+x^2\right ) \left (x^3-3 \log \left (\left (2+x^2\right )^2\right )+x (1-\log (5)) \log \left (\left (2+x^2\right )^2\right )\right )} \, dx+\int \frac {x^2 (9-2 x (1-\log (5)))}{(3-x (1-\log (5))) \left (x^3-3 \log \left (\left (2+x^2\right )^2\right )+x (1-\log (5)) \log \left (\left (2+x^2\right )^2\right )\right )} \, dx\\ &=-\left (2 \text {Subst}\left (\int \frac {1}{(2+x) \log \left ((2+x)^2\right )} \, dx,x,x^2\right )\right )+4 \int \left (\frac {\left (1-\frac {1}{\log (5)}\right ) \log (5)}{-x^3+3 \log \left (\left (2+x^2\right )^2\right )-x (1-\log (5)) \log \left (\left (2+x^2\right )^2\right )}+\frac {-2-3 x+\log (25)}{\left (2+x^2\right ) \left (x^3-3 \log \left (\left (2+x^2\right )^2\right )+x (1-\log (5)) \log \left (\left (2+x^2\right )^2\right )\right )}\right ) \, dx+(1-\log (5)) \int \frac {1}{-3+x (1-\log (5))} \, dx-\int \frac {1}{x} \, dx+\int \left (\frac {9}{(1-\log (5))^2 \left (-x^3+3 \log \left (\left (2+x^2\right )^2\right )-x (1-\log (5)) \log \left (\left (2+x^2\right )^2\right )\right )}+\frac {2 x^2}{x^3-3 \log \left (\left (2+x^2\right )^2\right )+x (1-\log (5)) \log \left (\left (2+x^2\right )^2\right )}+\frac {27}{(3-x (1-\log (5))) (1-\log (5))^2 \left (x^3-3 \log \left (\left (2+x^2\right )^2\right )+x (1-\log (5)) \log \left (\left (2+x^2\right )^2\right )\right )}+\frac {3 x}{(-1+\log (5)) \left (x^3-3 \log \left (\left (2+x^2\right )^2\right )+x (1-\log (5)) \log \left (\left (2+x^2\right )^2\right )\right )}\right ) \, dx\\ &=-\log (x)+\log (3-x (1-\log (5)))+2 \int \frac {x^2}{x^3-3 \log \left (\left (2+x^2\right )^2\right )+x (1-\log (5)) \log \left (\left (2+x^2\right )^2\right )} \, dx-2 \text {Subst}\left (\int \frac {1}{x \log \left (x^2\right )} \, dx,x,2+x^2\right )+4 \int \frac {-2-3 x+\log (25)}{\left (2+x^2\right ) \left (x^3-3 \log \left (\left (2+x^2\right )^2\right )+x (1-\log (5)) \log \left (\left (2+x^2\right )^2\right )\right )} \, dx+\frac {9 \int \frac {1}{-x^3+3 \log \left (\left (2+x^2\right )^2\right )-x (1-\log (5)) \log \left (\left (2+x^2\right )^2\right )} \, dx}{(1-\log (5))^2}+\frac {27 \int \frac {1}{(3-x (1-\log (5))) \left (x^3-3 \log \left (\left (2+x^2\right )^2\right )+x (1-\log (5)) \log \left (\left (2+x^2\right )^2\right )\right )} \, dx}{(1-\log (5))^2}-\frac {3 \int \frac {x}{x^3-3 \log \left (\left (2+x^2\right )^2\right )+x (1-\log (5)) \log \left (\left (2+x^2\right )^2\right )} \, dx}{1-\log (5)}+(4 (-1+\log (5))) \int \frac {1}{-x^3+3 \log \left (\left (2+x^2\right )^2\right )-x (1-\log (5)) \log \left (\left (2+x^2\right )^2\right )} \, dx\\ &=-\log (x)+\log (3-x (1-\log (5)))+2 \int \frac {x^2}{x^3+(-3+x-x \log (5)) \log \left (\left (2+x^2\right )^2\right )} \, dx+4 \int \frac {-2-3 x+\log (25)}{\left (2+x^2\right ) \left (x^3+(-3+x-x \log (5)) \log \left (\left (2+x^2\right )^2\right )\right )} \, dx+\frac {9 \int \frac {1}{-x^3-(-3+x-x \log (5)) \log \left (\left (2+x^2\right )^2\right )} \, dx}{(1-\log (5))^2}+\frac {27 \int \frac {1}{(3+x (-1+\log (5))) \left (x^3+(-3+x-x \log (5)) \log \left (\left (2+x^2\right )^2\right )\right )} \, dx}{(1-\log (5))^2}-\frac {3 \int \frac {x}{x^3+(-3+x-x \log (5)) \log \left (\left (2+x^2\right )^2\right )} \, dx}{1-\log (5)}+(4 (-1+\log (5))) \int \frac {1}{-x^3-(-3+x-x \log (5)) \log \left (\left (2+x^2\right )^2\right )} \, dx-\text {Subst}\left (\int \frac {1}{x} \, dx,x,\log \left (\left (2+x^2\right )^2\right )\right )\\ &=-\log (x)+\log (3-x (1-\log (5)))-\log \left (\log \left (\left (2+x^2\right )^2\right )\right )+2 \int \frac {x^2}{x^3+(-3+x-x \log (5)) \log \left (\left (2+x^2\right )^2\right )} \, dx+4 \int \left (\frac {3 x}{\left (-2-x^2\right ) \left (x^3-3 \log \left (\left (2+x^2\right )^2\right )+x (1-\log (5)) \log \left (\left (2+x^2\right )^2\right )\right )}+\frac {2 (1-\log (5))}{\left (-2-x^2\right ) \left (x^3-3 \log \left (\left (2+x^2\right )^2\right )+x (1-\log (5)) \log \left (\left (2+x^2\right )^2\right )\right )}\right ) \, dx+\frac {9 \int \frac {1}{-x^3-(-3+x-x \log (5)) \log \left (\left (2+x^2\right )^2\right )} \, dx}{(1-\log (5))^2}+\frac {27 \int \frac {1}{(3+x (-1+\log (5))) \left (x^3+(-3+x-x \log (5)) \log \left (\left (2+x^2\right )^2\right )\right )} \, dx}{(1-\log (5))^2}-\frac {3 \int \frac {x}{x^3+(-3+x-x \log (5)) \log \left (\left (2+x^2\right )^2\right )} \, dx}{1-\log (5)}+(4 (-1+\log (5))) \int \frac {1}{-x^3-(-3+x-x \log (5)) \log \left (\left (2+x^2\right )^2\right )} \, dx\\ &=-\log (x)+\log (3-x (1-\log (5)))-\log \left (\log \left (\left (2+x^2\right )^2\right )\right )+2 \int \frac {x^2}{x^3+(-3+x-x \log (5)) \log \left (\left (2+x^2\right )^2\right )} \, dx+12 \int \frac {x}{\left (-2-x^2\right ) \left (x^3-3 \log \left (\left (2+x^2\right )^2\right )+x (1-\log (5)) \log \left (\left (2+x^2\right )^2\right )\right )} \, dx+\frac {9 \int \frac {1}{-x^3-(-3+x-x \log (5)) \log \left (\left (2+x^2\right )^2\right )} \, dx}{(1-\log (5))^2}+\frac {27 \int \frac {1}{(3+x (-1+\log (5))) \left (x^3+(-3+x-x \log (5)) \log \left (\left (2+x^2\right )^2\right )\right )} \, dx}{(1-\log (5))^2}-\frac {3 \int \frac {x}{x^3+(-3+x-x \log (5)) \log \left (\left (2+x^2\right )^2\right )} \, dx}{1-\log (5)}+(8 (1-\log (5))) \int \frac {1}{\left (-2-x^2\right ) \left (x^3-3 \log \left (\left (2+x^2\right )^2\right )+x (1-\log (5)) \log \left (\left (2+x^2\right )^2\right )\right )} \, dx+(4 (-1+\log (5))) \int \frac {1}{-x^3-(-3+x-x \log (5)) \log \left (\left (2+x^2\right )^2\right )} \, dx\\ &=-\log (x)+\log (3-x (1-\log (5)))-\log \left (\log \left (\left (2+x^2\right )^2\right )\right )+2 \int \frac {x^2}{x^3+(-3+x-x \log (5)) \log \left (\left (2+x^2\right )^2\right )} \, dx+12 \int \frac {x}{\left (-2-x^2\right ) \left (x^3+(-3+x-x \log (5)) \log \left (\left (2+x^2\right )^2\right )\right )} \, dx+\frac {9 \int \frac {1}{-x^3-(-3+x-x \log (5)) \log \left (\left (2+x^2\right )^2\right )} \, dx}{(1-\log (5))^2}+\frac {27 \int \frac {1}{(3+x (-1+\log (5))) \left (x^3+(-3+x-x \log (5)) \log \left (\left (2+x^2\right )^2\right )\right )} \, dx}{(1-\log (5))^2}-\frac {3 \int \frac {x}{x^3+(-3+x-x \log (5)) \log \left (\left (2+x^2\right )^2\right )} \, dx}{1-\log (5)}+(8 (1-\log (5))) \int \frac {1}{\left (-2-x^2\right ) \left (x^3+(-3+x-x \log (5)) \log \left (\left (2+x^2\right )^2\right )\right )} \, dx+(4 (-1+\log (5))) \int \frac {1}{-x^3-(-3+x-x \log (5)) \log \left (\left (2+x^2\right )^2\right )} \, dx\\ &=-\log (x)+\log (3-x (1-\log (5)))-\log \left (\log \left (\left (2+x^2\right )^2\right )\right )+2 \int \frac {x^2}{x^3+(-3+x-x \log (5)) \log \left (\left (2+x^2\right )^2\right )} \, dx+12 \int \left (\frac {1}{2 \left (i \sqrt {2}-x\right ) \left (x^3+(-3+x-x \log (5)) \log \left (\left (2+x^2\right )^2\right )\right )}-\frac {1}{2 \left (i \sqrt {2}+x\right ) \left (x^3+(-3+x-x \log (5)) \log \left (\left (2+x^2\right )^2\right )\right )}\right ) \, dx+\frac {9 \int \frac {1}{-x^3-(-3+x-x \log (5)) \log \left (\left (2+x^2\right )^2\right )} \, dx}{(1-\log (5))^2}+\frac {27 \int \frac {1}{(3+x (-1+\log (5))) \left (x^3+(-3+x-x \log (5)) \log \left (\left (2+x^2\right )^2\right )\right )} \, dx}{(1-\log (5))^2}-\frac {3 \int \frac {x}{x^3+(-3+x-x \log (5)) \log \left (\left (2+x^2\right )^2\right )} \, dx}{1-\log (5)}+(8 (1-\log (5))) \int \left (-\frac {i}{2 \sqrt {2} \left (i \sqrt {2}-x\right ) \left (x^3+(-3+x-x \log (5)) \log \left (\left (2+x^2\right )^2\right )\right )}-\frac {i}{2 \sqrt {2} \left (i \sqrt {2}+x\right ) \left (x^3+(-3+x-x \log (5)) \log \left (\left (2+x^2\right )^2\right )\right )}\right ) \, dx+(4 (-1+\log (5))) \int \frac {1}{-x^3-(-3+x-x \log (5)) \log \left (\left (2+x^2\right )^2\right )} \, dx\\ &=-\log (x)+\log (3-x (1-\log (5)))-\log \left (\log \left (\left (2+x^2\right )^2\right )\right )+2 \int \frac {x^2}{x^3+(-3+x-x \log (5)) \log \left (\left (2+x^2\right )^2\right )} \, dx+6 \int \frac {1}{\left (i \sqrt {2}-x\right ) \left (x^3+(-3+x-x \log (5)) \log \left (\left (2+x^2\right )^2\right )\right )} \, dx-6 \int \frac {1}{\left (i \sqrt {2}+x\right ) \left (x^3+(-3+x-x \log (5)) \log \left (\left (2+x^2\right )^2\right )\right )} \, dx+\frac {9 \int \frac {1}{-x^3-(-3+x-x \log (5)) \log \left (\left (2+x^2\right )^2\right )} \, dx}{(1-\log (5))^2}+\frac {27 \int \frac {1}{(3+x (-1+\log (5))) \left (x^3+(-3+x-x \log (5)) \log \left (\left (2+x^2\right )^2\right )\right )} \, dx}{(1-\log (5))^2}-\frac {3 \int \frac {x}{x^3+(-3+x-x \log (5)) \log \left (\left (2+x^2\right )^2\right )} \, dx}{1-\log (5)}-\left (2 i \sqrt {2} (1-\log (5))\right ) \int \frac {1}{\left (i \sqrt {2}-x\right ) \left (x^3+(-3+x-x \log (5)) \log \left (\left (2+x^2\right )^2\right )\right )} \, dx-\left (2 i \sqrt {2} (1-\log (5))\right ) \int \frac {1}{\left (i \sqrt {2}+x\right ) \left (x^3+(-3+x-x \log (5)) \log \left (\left (2+x^2\right )^2\right )\right )} \, dx+(4 (-1+\log (5))) \int \frac {1}{-x^3-(-3+x-x \log (5)) \log \left (\left (2+x^2\right )^2\right )} \, dx\\ \end {aligned} \end {gather*}
________________________________________________________________________________________
Mathematica [A]
time = 0.64, size = 54, normalized size = 1.54 \begin {gather*} -\log (x)-\log \left (\log \left (\left (2+x^2\right )^2\right )\right )+\log \left (x^3-3 \log \left (\left (2+x^2\right )^2\right )+x \log \left (\left (2+x^2\right )^2\right )-x \log (5) \log \left (\left (2+x^2\right )^2\right )\right ) \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [A]
time = 2.67, size = 60, normalized size = 1.71
method | result | size |
risch | \(\ln \left (\left (-\ln \left (5\right )+1\right ) x -3\right )-\ln \left (x \right )-\ln \left (\ln \left (x^{4}+4 x^{2}+4\right )\right )+\ln \left (\ln \left (x^{4}+4 x^{2}+4\right )-\frac {x^{3}}{x \ln \left (5\right )-x +3}\right )\) | \(60\) |
norman | \(-\ln \left (x \right )-\ln \left (\ln \left (x^{4}+4 x^{2}+4\right )\right )+\ln \left (\ln \left (5\right ) \ln \left (x^{4}+4 x^{2}+4\right ) x -x^{3}-x \ln \left (x^{4}+4 x^{2}+4\right )+3 \ln \left (x^{4}+4 x^{2}+4\right )\right )\) | \(69\) |
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [A]
time = 0.51, size = 56, normalized size = 1.60 \begin {gather*} \log \left (x {\left (\log \left (5\right ) - 1\right )} + 3\right ) - \log \left (x\right ) + \log \left (-\frac {x^{3} - 2 \, {\left (x {\left (\log \left (5\right ) - 1\right )} + 3\right )} \log \left (x^{2} + 2\right )}{2 \, {\left (x {\left (\log \left (5\right ) - 1\right )} + 3\right )}}\right ) - \log \left (\log \left (x^{2} + 2\right )\right ) \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [B] Leaf count of result is larger than twice the leaf count of optimal. 69 vs.
\(2 (34) = 68\).
time = 0.37, size = 69, normalized size = 1.97 \begin {gather*} \log \left (x \log \left (5\right ) - x + 3\right ) - \log \left (x\right ) + \log \left (-\frac {x^{3} - {\left (x \log \left (5\right ) - x + 3\right )} \log \left (x^{4} + 4 \, x^{2} + 4\right )}{x \log \left (5\right ) - x + 3}\right ) - \log \left (\log \left (x^{4} + 4 \, x^{2} + 4\right )\right ) \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [F(-2)]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {Exception raised: PolynomialError} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [A]
time = 0.44, size = 68, normalized size = 1.94 \begin {gather*} \log \left (-x^{3} + x \log \left (5\right ) \log \left (x^{4} + 4 \, x^{2} + 4\right ) - x \log \left (x^{4} + 4 \, x^{2} + 4\right ) + 3 \, \log \left (x^{4} + 4 \, x^{2} + 4\right )\right ) - \log \left (x\right ) - \log \left (\log \left (x^{4} + 4 \, x^{2} + 4\right )\right ) \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Mupad [B]
time = 6.03, size = 2500, normalized size = 71.43 \begin {gather*} \text {Too large to display} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________