Integrand size = 144, antiderivative size = 31 \[ \int \frac {4+4 \log \left (\frac {5 \log (3)}{e^2 x}\right )+(-4-8 x) \log ^2\left (\frac {5 \log (3)}{e^2 x}\right )+\left (-2-2 \log \left (\frac {5 \log (3)}{e^2 x}\right )+(2+4 x) \log ^2\left (\frac {5 \log (3)}{e^2 x}\right )\right ) \log \left (\frac {x+\left (-x-x^2\right ) \log \left (\frac {5 \log (3)}{e^2 x}\right )}{\log \left (\frac {5 \log (3)}{e^2 x}\right )}\right )}{-x \log \left (\frac {5 \log (3)}{e^2 x}\right )+\left (x+x^2\right ) \log ^2\left (\frac {5 \log (3)}{e^2 x}\right )} \, dx=\left (2-\log \left (-x-x^2+\frac {x}{\log \left (\frac {5 \log (3)}{e^2 x}\right )}\right )\right )^2 \]
[Out]
Time = 0.28 (sec) , antiderivative size = 26, normalized size of antiderivative = 0.84, number of steps used = 3, number of rules used = 3, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.021, Rules used = {6820, 12, 6818} \[ \int \frac {4+4 \log \left (\frac {5 \log (3)}{e^2 x}\right )+(-4-8 x) \log ^2\left (\frac {5 \log (3)}{e^2 x}\right )+\left (-2-2 \log \left (\frac {5 \log (3)}{e^2 x}\right )+(2+4 x) \log ^2\left (\frac {5 \log (3)}{e^2 x}\right )\right ) \log \left (\frac {x+\left (-x-x^2\right ) \log \left (\frac {5 \log (3)}{e^2 x}\right )}{\log \left (\frac {5 \log (3)}{e^2 x}\right )}\right )}{-x \log \left (\frac {5 \log (3)}{e^2 x}\right )+\left (x+x^2\right ) \log ^2\left (\frac {5 \log (3)}{e^2 x}\right )} \, dx=\left (2-\log \left (-x \left (x+\frac {1}{2-\log \left (\frac {\log (243)}{x}\right )}+1\right )\right )\right )^2 \]
[In]
[Out]
Rule 12
Rule 6818
Rule 6820
Rubi steps \begin{align*} \text {integral}& = \int \frac {2 \left (1+\left (-2+\log \left (\frac {1}{x}\right )+\log (\log (243))\right )^2+2 x \left (-2+\log \left (\frac {1}{x}\right )+\log (\log (243))\right )^2-\log \left (\frac {\log (243)}{x}\right )\right ) \left (-2+\log \left (x \left (-1-x+\frac {1}{-2+\log \left (\frac {\log (243)}{x}\right )}\right )\right )\right )}{x \left (1-(1+x) \left (-2+\log \left (\frac {1}{x}\right )+\log (\log (243))\right )\right ) \left (2-\log \left (\frac {\log (243)}{x}\right )\right )} \, dx \\ & = 2 \int \frac {\left (1+\left (-2+\log \left (\frac {1}{x}\right )+\log (\log (243))\right )^2+2 x \left (-2+\log \left (\frac {1}{x}\right )+\log (\log (243))\right )^2-\log \left (\frac {\log (243)}{x}\right )\right ) \left (-2+\log \left (x \left (-1-x+\frac {1}{-2+\log \left (\frac {\log (243)}{x}\right )}\right )\right )\right )}{x \left (1-(1+x) \left (-2+\log \left (\frac {1}{x}\right )+\log (\log (243))\right )\right ) \left (2-\log \left (\frac {\log (243)}{x}\right )\right )} \, dx \\ & = \left (2-\log \left (-x \left (1+x+\frac {1}{2-\log \left (\frac {\log (243)}{x}\right )}\right )\right )\right )^2 \\ \end{align*}
\[ \int \frac {4+4 \log \left (\frac {5 \log (3)}{e^2 x}\right )+(-4-8 x) \log ^2\left (\frac {5 \log (3)}{e^2 x}\right )+\left (-2-2 \log \left (\frac {5 \log (3)}{e^2 x}\right )+(2+4 x) \log ^2\left (\frac {5 \log (3)}{e^2 x}\right )\right ) \log \left (\frac {x+\left (-x-x^2\right ) \log \left (\frac {5 \log (3)}{e^2 x}\right )}{\log \left (\frac {5 \log (3)}{e^2 x}\right )}\right )}{-x \log \left (\frac {5 \log (3)}{e^2 x}\right )+\left (x+x^2\right ) \log ^2\left (\frac {5 \log (3)}{e^2 x}\right )} \, dx=\int \frac {4+4 \log \left (\frac {5 \log (3)}{e^2 x}\right )+(-4-8 x) \log ^2\left (\frac {5 \log (3)}{e^2 x}\right )+\left (-2-2 \log \left (\frac {5 \log (3)}{e^2 x}\right )+(2+4 x) \log ^2\left (\frac {5 \log (3)}{e^2 x}\right )\right ) \log \left (\frac {x+\left (-x-x^2\right ) \log \left (\frac {5 \log (3)}{e^2 x}\right )}{\log \left (\frac {5 \log (3)}{e^2 x}\right )}\right )}{-x \log \left (\frac {5 \log (3)}{e^2 x}\right )+\left (x+x^2\right ) \log ^2\left (\frac {5 \log (3)}{e^2 x}\right )} \, dx \]
[In]
[Out]
Leaf count of result is larger than twice the leaf count of optimal. \(117\) vs. \(2(32)=64\).
Time = 0.49 (sec) , antiderivative size = 118, normalized size of antiderivative = 3.81
method | result | size |
default | \(8 \ln \left (\frac {1}{x}\right )-4 \ln \left (\frac {\ln \left (5\right )}{x}+\frac {\ln \left (\ln \left (3\right )\right )}{x}+\frac {\ln \left (\frac {1}{x}\right )}{x}+\ln \left (5\right )+\ln \left (\ln \left (3\right )\right )+\ln \left (\frac {1}{x}\right )-\frac {3}{x}-2\right )+4 \ln \left (\ln \left (5\right )+\ln \left (\ln \left (3\right )\right )-2+\ln \left (\frac {1}{x}\right )\right )+\ln \left (\frac {x \left (-x \ln \left (5\right )-\ln \left (\ln \left (3\right )\right ) x +2 x -x \ln \left (\frac {1}{x}\right )-\ln \left (5\right )-\ln \left (\ln \left (3\right )\right )+3-\ln \left (\frac {1}{x}\right )\right )}{\ln \left (5\right )+\ln \left (\ln \left (3\right )\right )-2+\ln \left (\frac {1}{x}\right )}\right )^{2}\) | \(118\) |
parts | \(8 \ln \left (\frac {5 \ln \left (3\right ) {\mathrm e}^{-2}}{x}\right )-4 \ln \left (\frac {5 \ln \left (\frac {5 \ln \left (3\right ) {\mathrm e}^{-2}}{x}\right ) \ln \left (3\right )}{x}-\frac {5 \ln \left (3\right )}{x}+5 \ln \left (3\right ) \ln \left (\frac {5 \ln \left (3\right ) {\mathrm e}^{-2}}{x}\right )\right )+4 \ln \left (\ln \left (\frac {5 \ln \left (3\right ) {\mathrm e}^{-2}}{x}\right )\right )+\ln \left (\frac {x \left (-x \ln \left (5\right )-\ln \left (\ln \left (3\right )\right ) x +2 x -x \ln \left (\frac {1}{x}\right )-\ln \left (5\right )-\ln \left (\ln \left (3\right )\right )+3-\ln \left (\frac {1}{x}\right )\right )}{\ln \left (5\right )+\ln \left (\ln \left (3\right )\right )-2+\ln \left (\frac {1}{x}\right )}\right )^{2}\) | \(133\) |
[In]
[Out]
Leaf count of result is larger than twice the leaf count of optimal. 75 vs. \(2 (28) = 56\).
Time = 0.27 (sec) , antiderivative size = 75, normalized size of antiderivative = 2.42 \[ \int \frac {4+4 \log \left (\frac {5 \log (3)}{e^2 x}\right )+(-4-8 x) \log ^2\left (\frac {5 \log (3)}{e^2 x}\right )+\left (-2-2 \log \left (\frac {5 \log (3)}{e^2 x}\right )+(2+4 x) \log ^2\left (\frac {5 \log (3)}{e^2 x}\right )\right ) \log \left (\frac {x+\left (-x-x^2\right ) \log \left (\frac {5 \log (3)}{e^2 x}\right )}{\log \left (\frac {5 \log (3)}{e^2 x}\right )}\right )}{-x \log \left (\frac {5 \log (3)}{e^2 x}\right )+\left (x+x^2\right ) \log ^2\left (\frac {5 \log (3)}{e^2 x}\right )} \, dx=\log \left (-\frac {{\left (x^{2} + x\right )} \log \left (\frac {5 \, e^{\left (-2\right )} \log \left (3\right )}{x}\right ) - x}{\log \left (\frac {5 \, e^{\left (-2\right )} \log \left (3\right )}{x}\right )}\right )^{2} - 4 \, \log \left (-\frac {{\left (x^{2} + x\right )} \log \left (\frac {5 \, e^{\left (-2\right )} \log \left (3\right )}{x}\right ) - x}{\log \left (\frac {5 \, e^{\left (-2\right )} \log \left (3\right )}{x}\right )}\right ) \]
[In]
[Out]
Exception generated. \[ \int \frac {4+4 \log \left (\frac {5 \log (3)}{e^2 x}\right )+(-4-8 x) \log ^2\left (\frac {5 \log (3)}{e^2 x}\right )+\left (-2-2 \log \left (\frac {5 \log (3)}{e^2 x}\right )+(2+4 x) \log ^2\left (\frac {5 \log (3)}{e^2 x}\right )\right ) \log \left (\frac {x+\left (-x-x^2\right ) \log \left (\frac {5 \log (3)}{e^2 x}\right )}{\log \left (\frac {5 \log (3)}{e^2 x}\right )}\right )}{-x \log \left (\frac {5 \log (3)}{e^2 x}\right )+\left (x+x^2\right ) \log ^2\left (\frac {5 \log (3)}{e^2 x}\right )} \, dx=\text {Exception raised: PolynomialError} \]
[In]
[Out]
\[ \int \frac {4+4 \log \left (\frac {5 \log (3)}{e^2 x}\right )+(-4-8 x) \log ^2\left (\frac {5 \log (3)}{e^2 x}\right )+\left (-2-2 \log \left (\frac {5 \log (3)}{e^2 x}\right )+(2+4 x) \log ^2\left (\frac {5 \log (3)}{e^2 x}\right )\right ) \log \left (\frac {x+\left (-x-x^2\right ) \log \left (\frac {5 \log (3)}{e^2 x}\right )}{\log \left (\frac {5 \log (3)}{e^2 x}\right )}\right )}{-x \log \left (\frac {5 \log (3)}{e^2 x}\right )+\left (x+x^2\right ) \log ^2\left (\frac {5 \log (3)}{e^2 x}\right )} \, dx=\int { -\frac {2 \, {\left (2 \, {\left (2 \, x + 1\right )} \log \left (\frac {5 \, e^{\left (-2\right )} \log \left (3\right )}{x}\right )^{2} - {\left ({\left (2 \, x + 1\right )} \log \left (\frac {5 \, e^{\left (-2\right )} \log \left (3\right )}{x}\right )^{2} - \log \left (\frac {5 \, e^{\left (-2\right )} \log \left (3\right )}{x}\right ) - 1\right )} \log \left (-\frac {{\left (x^{2} + x\right )} \log \left (\frac {5 \, e^{\left (-2\right )} \log \left (3\right )}{x}\right ) - x}{\log \left (\frac {5 \, e^{\left (-2\right )} \log \left (3\right )}{x}\right )}\right ) - 2 \, \log \left (\frac {5 \, e^{\left (-2\right )} \log \left (3\right )}{x}\right ) - 2\right )}}{{\left (x^{2} + x\right )} \log \left (\frac {5 \, e^{\left (-2\right )} \log \left (3\right )}{x}\right )^{2} - x \log \left (\frac {5 \, e^{\left (-2\right )} \log \left (3\right )}{x}\right )} \,d x } \]
[In]
[Out]
\[ \int \frac {4+4 \log \left (\frac {5 \log (3)}{e^2 x}\right )+(-4-8 x) \log ^2\left (\frac {5 \log (3)}{e^2 x}\right )+\left (-2-2 \log \left (\frac {5 \log (3)}{e^2 x}\right )+(2+4 x) \log ^2\left (\frac {5 \log (3)}{e^2 x}\right )\right ) \log \left (\frac {x+\left (-x-x^2\right ) \log \left (\frac {5 \log (3)}{e^2 x}\right )}{\log \left (\frac {5 \log (3)}{e^2 x}\right )}\right )}{-x \log \left (\frac {5 \log (3)}{e^2 x}\right )+\left (x+x^2\right ) \log ^2\left (\frac {5 \log (3)}{e^2 x}\right )} \, dx=\int { -\frac {2 \, {\left (2 \, {\left (2 \, x + 1\right )} \log \left (\frac {5 \, e^{\left (-2\right )} \log \left (3\right )}{x}\right )^{2} - {\left ({\left (2 \, x + 1\right )} \log \left (\frac {5 \, e^{\left (-2\right )} \log \left (3\right )}{x}\right )^{2} - \log \left (\frac {5 \, e^{\left (-2\right )} \log \left (3\right )}{x}\right ) - 1\right )} \log \left (-\frac {{\left (x^{2} + x\right )} \log \left (\frac {5 \, e^{\left (-2\right )} \log \left (3\right )}{x}\right ) - x}{\log \left (\frac {5 \, e^{\left (-2\right )} \log \left (3\right )}{x}\right )}\right ) - 2 \, \log \left (\frac {5 \, e^{\left (-2\right )} \log \left (3\right )}{x}\right ) - 2\right )}}{{\left (x^{2} + x\right )} \log \left (\frac {5 \, e^{\left (-2\right )} \log \left (3\right )}{x}\right )^{2} - x \log \left (\frac {5 \, e^{\left (-2\right )} \log \left (3\right )}{x}\right )} \,d x } \]
[In]
[Out]
Time = 9.86 (sec) , antiderivative size = 223, normalized size of antiderivative = 7.19 \[ \int \frac {4+4 \log \left (\frac {5 \log (3)}{e^2 x}\right )+(-4-8 x) \log ^2\left (\frac {5 \log (3)}{e^2 x}\right )+\left (-2-2 \log \left (\frac {5 \log (3)}{e^2 x}\right )+(2+4 x) \log ^2\left (\frac {5 \log (3)}{e^2 x}\right )\right ) \log \left (\frac {x+\left (-x-x^2\right ) \log \left (\frac {5 \log (3)}{e^2 x}\right )}{\log \left (\frac {5 \log (3)}{e^2 x}\right )}\right )}{-x \log \left (\frac {5 \log (3)}{e^2 x}\right )+\left (x+x^2\right ) \log ^2\left (\frac {5 \log (3)}{e^2 x}\right )} \, dx={\ln \left (\frac {x-\ln \left (\frac {5\,{\mathrm {e}}^{-2}\,\ln \left (3\right )}{x}\right )\,\left (x^2+x\right )}{\ln \left (\frac {5\,{\mathrm {e}}^{-2}\,\ln \left (3\right )}{x}\right )}\right )}^2+4\,\ln \left (x+1\right )-4\,\ln \left (\frac {4\,\left (x-x\,\ln \left (\frac {5\,{\mathrm {e}}^{-2}\,\ln \left (3\right )}{x}\right )+1\right )}{x\,{\left (x+1\right )}^2}-\frac {4\,\left (2\,\ln \left (\frac {5\,{\mathrm {e}}^{-2}\,\ln \left (3\right )}{x}\right )-x+3\,x\,\ln \left (\frac {5\,{\mathrm {e}}^{-2}\,\ln \left (3\right )}{x}\right )+2\,x^2\,\ln \left (\frac {5\,{\mathrm {e}}^{-2}\,\ln \left (3\right )}{x}\right )-1\right )}{x\,{\left (x+1\right )}^2}\right )+4\,\ln \left (\frac {4\,\left (2\,\ln \left (\frac {5\,{\mathrm {e}}^{-2}\,\ln \left (3\right )}{x}\right )-x+3\,x\,\ln \left (\frac {5\,{\mathrm {e}}^{-2}\,\ln \left (3\right )}{x}\right )+2\,x^2\,\ln \left (\frac {5\,{\mathrm {e}}^{-2}\,\ln \left (3\right )}{x}\right )-1\right )}{x\,{\left (x+1\right )}^2}+\frac {4\,\left (x-x\,\ln \left (\frac {5\,{\mathrm {e}}^{-2}\,\ln \left (3\right )}{x}\right )+1\right )}{x\,{\left (x+1\right )}^2}\right )-4\,\ln \left (x\,\left (x^2+x+1\right )\right ) \]
[In]
[Out]