Optimal. Leaf size=29 \[ \left (-4+e^3\right ) (i \pi +\log (10)) \log \left (x+\frac {e^x}{\log \left (\frac {5}{x^2}\right )}\right ) \]
[Out]
________________________________________________________________________________________
Rubi [F]
time = 1.42, 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 {e^x \left (-8+2 e^3\right ) (i \pi +\log (10))+e^x \left (-4 x+e^3 x\right ) (i \pi +\log (10)) \log \left (\frac {5}{x^2}\right )+\left (-4 x+e^3 x\right ) (i \pi +\log (10)) \log ^2\left (\frac {5}{x^2}\right )}{e^x x \log \left (\frac {5}{x^2}\right )+x^2 \log ^2\left (\frac {5}{x^2}\right )} \, dx \end {gather*}
Verification is not applicable to the result.
[In]
[Out]
Rubi steps
\begin {gather*} \begin {aligned} \text {integral} &=\int \frac {\left (4-e^3\right ) (i \pi +\log (10)) \left (-2 e^x-e^x x \log \left (\frac {5}{x^2}\right )-x \log ^2\left (\frac {5}{x^2}\right )\right )}{x \log \left (\frac {5}{x^2}\right ) \left (e^x+x \log \left (\frac {5}{x^2}\right )\right )} \, dx\\ &=\left (\left (4-e^3\right ) (i \pi +\log (10))\right ) \int \frac {-2 e^x-e^x x \log \left (\frac {5}{x^2}\right )-x \log ^2\left (\frac {5}{x^2}\right )}{x \log \left (\frac {5}{x^2}\right ) \left (e^x+x \log \left (\frac {5}{x^2}\right )\right )} \, dx\\ &=\left (\left (4-e^3\right ) (i \pi +\log (10))\right ) \int \left (\frac {-2-x \log \left (\frac {5}{x^2}\right )}{x \log \left (\frac {5}{x^2}\right )}+\frac {2-\log \left (\frac {5}{x^2}\right )+x \log \left (\frac {5}{x^2}\right )}{e^x+x \log \left (\frac {5}{x^2}\right )}\right ) \, dx\\ &=\left (\left (4-e^3\right ) (i \pi +\log (10))\right ) \int \frac {-2-x \log \left (\frac {5}{x^2}\right )}{x \log \left (\frac {5}{x^2}\right )} \, dx+\left (\left (4-e^3\right ) (i \pi +\log (10))\right ) \int \frac {2-\log \left (\frac {5}{x^2}\right )+x \log \left (\frac {5}{x^2}\right )}{e^x+x \log \left (\frac {5}{x^2}\right )} \, dx\\ &=\left (\left (4-e^3\right ) (i \pi +\log (10))\right ) \int \left (-1-\frac {2}{x \log \left (\frac {5}{x^2}\right )}\right ) \, dx+\left (\left (4-e^3\right ) (i \pi +\log (10))\right ) \int \frac {2+(-1+x) \log \left (\frac {5}{x^2}\right )}{e^x+x \log \left (\frac {5}{x^2}\right )} \, dx\\ &=-\left (\left (4-e^3\right ) x (i \pi +\log (10))\right )+\left (\left (4-e^3\right ) (i \pi +\log (10))\right ) \int \left (\frac {2}{e^x+x \log \left (\frac {5}{x^2}\right )}-\frac {\log \left (\frac {5}{x^2}\right )}{e^x+x \log \left (\frac {5}{x^2}\right )}+\frac {x \log \left (\frac {5}{x^2}\right )}{e^x+x \log \left (\frac {5}{x^2}\right )}\right ) \, dx-\left (2 \left (4-e^3\right ) (i \pi +\log (10))\right ) \int \frac {1}{x \log \left (\frac {5}{x^2}\right )} \, dx\\ &=-\left (\left (4-e^3\right ) x (i \pi +\log (10))\right )-\left (\left (4-e^3\right ) (i \pi +\log (10))\right ) \int \frac {\log \left (\frac {5}{x^2}\right )}{e^x+x \log \left (\frac {5}{x^2}\right )} \, dx+\left (\left (4-e^3\right ) (i \pi +\log (10))\right ) \int \frac {x \log \left (\frac {5}{x^2}\right )}{e^x+x \log \left (\frac {5}{x^2}\right )} \, dx+\left (\left (4-e^3\right ) (i \pi +\log (10))\right ) \text {Subst}\left (\int \frac {1}{x} \, dx,x,\log \left (\frac {5}{x^2}\right )\right )+\left (2 \left (4-e^3\right ) (i \pi +\log (10))\right ) \int \frac {1}{e^x+x \log \left (\frac {5}{x^2}\right )} \, dx\\ &=-\left (\left (4-e^3\right ) x (i \pi +\log (10))\right )+\left (4-e^3\right ) (i \pi +\log (10)) \log \left (\log \left (\frac {5}{x^2}\right )\right )-\left (\left (4-e^3\right ) (i \pi +\log (10))\right ) \int \frac {\log \left (\frac {5}{x^2}\right )}{e^x+x \log \left (\frac {5}{x^2}\right )} \, dx+\left (\left (4-e^3\right ) (i \pi +\log (10))\right ) \int \frac {x \log \left (\frac {5}{x^2}\right )}{e^x+x \log \left (\frac {5}{x^2}\right )} \, dx+\left (2 \left (4-e^3\right ) (i \pi +\log (10))\right ) \int \frac {1}{e^x+x \log \left (\frac {5}{x^2}\right )} \, dx\\ \end {aligned} \end {gather*}
________________________________________________________________________________________
Mathematica [A]
time = 0.08, size = 37, normalized size = 1.28 \begin {gather*} \left (-4+e^3\right ) (i \pi +\log (10)) \left (-\log \left (\log \left (\frac {5}{x^2}\right )\right )+\log \left (e^x+x \log \left (\frac {5}{x^2}\right )\right )\right ) \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [B] Both result and optimal contain complex but leaf count of result is larger than twice
the leaf count of optimal. 176 vs. \(2 (26 ) = 52\).
time = 1.25, size = 177, normalized size = 6.10
method | result | size |
norman | \(\left (-i \pi \,{\mathrm e}^{3}+4 i \pi -{\mathrm e}^{3} \ln \left (10\right )+4 \ln \left (10\right )\right ) \ln \left (\ln \left (\frac {5}{x^{2}}\right )\right )+\left (i \pi \,{\mathrm e}^{3}-4 i \pi +{\mathrm e}^{3} \ln \left (10\right )-4 \ln \left (10\right )\right ) \ln \left (x \ln \left (\frac {5}{x^{2}}\right )+{\mathrm e}^{x}\right )\) | \(64\) |
default | \(-i \pi \,{\mathrm e}^{3} \ln \left (-\ln \left (\frac {5}{x^{2}}\right )\right )+4 i \pi \ln \left (-\ln \left (\frac {5}{x^{2}}\right )\right )-{\mathrm e}^{3} \ln \left (-\ln \left (\frac {5}{x^{2}}\right )\right ) \ln \left (10\right )+4 \ln \left (-\ln \left (\frac {5}{x^{2}}\right )\right ) \ln \left (10\right )+i \pi \,{\mathrm e}^{3} \ln \left (2 x \ln \left (x \right )-x \left (\ln \left (\frac {5}{x^{2}}\right )+2 \ln \left (x \right )\right )-{\mathrm e}^{x}\right )-4 i \pi \ln \left (2 x \ln \left (x \right )-x \left (\ln \left (\frac {5}{x^{2}}\right )+2 \ln \left (x \right )\right )-{\mathrm e}^{x}\right )+{\mathrm e}^{3} \ln \left (2 x \ln \left (x \right )-x \left (\ln \left (\frac {5}{x^{2}}\right )+2 \ln \left (x \right )\right )-{\mathrm e}^{x}\right ) \ln \left (10\right )-4 \ln \left (2 x \ln \left (x \right )-x \left (\ln \left (\frac {5}{x^{2}}\right )+2 \ln \left (x \right )\right )-{\mathrm e}^{x}\right ) \ln \left (10\right )\) | \(177\) |
risch | \(\text {Expression too large to display}\) | \(856\) |
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [B] Both result and optimal contain complex but leaf count of result is larger than
twice the leaf count of optimal. 74 vs. \(2 (25) = 50\).
time = 0.55, size = 74, normalized size = 2.55 \begin {gather*} {\left (-4 i \, \pi + {\left (i \, \pi + \log \left (5\right ) + \log \left (2\right )\right )} e^{3} - 4 \, \log \left (5\right ) - 4 \, \log \left (2\right )\right )} \log \left (x \log \left (5\right ) - 2 \, x \log \left (x\right ) + e^{x}\right ) + {\left (4 i \, \pi + {\left (-i \, \pi - \log \left (5\right ) - \log \left (2\right )\right )} e^{3} + 4 \, \log \left (5\right ) + 4 \, \log \left (2\right )\right )} \log \left (-\frac {1}{2} \, \log \left (5\right ) + \log \left (x\right )\right ) \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [B] Both result and optimal contain complex but leaf count of result is larger than twice
the leaf count of optimal. 86 vs. \(2 (25) = 50\).
time = 0.38, size = 86, normalized size = 2.97 \begin {gather*} -{\left (4 i \, \pi - i \, \pi e^{3} - {\left (e^{3} - 4\right )} \log \left (10\right )\right )} \log \left (\frac {x \log \left (\frac {5}{x^{2}}\right ) + e^{x}}{x}\right ) + \frac {1}{2} \, {\left (4 i \, \pi - i \, \pi e^{3} - {\left (e^{3} - 4\right )} \log \left (10\right )\right )} \log \left (\frac {5}{x^{2}}\right ) - {\left (-4 i \, \pi + i \, \pi e^{3} + {\left (e^{3} - 4\right )} \log \left (10\right )\right )} \log \left (\log \left (\frac {5}{x^{2}}\right )\right ) \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [B] Both result and optimal contain complex but leaf count of result is larger than twice
the leaf count of optimal. 53 vs. \(2 (24) = 48\).
time = 0.97, size = 53, normalized size = 1.83 \begin {gather*} - \left (-4 + e^{3}\right ) \left (\log {\left (10 \right )} + i \pi \right ) \log {\left (\log {\left (\frac {1}{x^{2}} \right )} + \log {\left (5 \right )} \right )} + \left (-4 + e^{3}\right ) \left (\log {\left (10 \right )} + i \pi \right ) \log {\left (x \log {\left (\frac {1}{x^{2}} \right )} + x \log {\left (5 \right )} + e^{x} \right )} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [B] Both result and optimal contain complex but leaf count of result is larger than twice
the leaf count of optimal. 205 vs. \(2 (25) = 50\).
time = 0.50, size = 205, normalized size = 7.07 \begin {gather*} i \, \pi e^{3} \log \left (x \log \left (5\right ) - x \log \left (x^{2}\right ) + e^{x}\right ) + e^{3} \log \left (5\right ) \log \left (x \log \left (5\right ) - x \log \left (x^{2}\right ) + e^{x}\right ) + e^{3} \log \left (2\right ) \log \left (x \log \left (5\right ) - x \log \left (x^{2}\right ) + e^{x}\right ) - i \, \pi e^{3} \log \left (\log \left (5\right ) - \log \left (x^{2}\right )\right ) - e^{3} \log \left (5\right ) \log \left (\log \left (5\right ) - \log \left (x^{2}\right )\right ) - e^{3} \log \left (2\right ) \log \left (\log \left (5\right ) - \log \left (x^{2}\right )\right ) - 4 i \, \pi \log \left (x \log \left (5\right ) - x \log \left (x^{2}\right ) + e^{x}\right ) - 4 \, \log \left (5\right ) \log \left (x \log \left (5\right ) - x \log \left (x^{2}\right ) + e^{x}\right ) - 4 \, \log \left (2\right ) \log \left (x \log \left (5\right ) - x \log \left (x^{2}\right ) + e^{x}\right ) + 4 i \, \pi \log \left (\log \left (5\right ) - \log \left (x^{2}\right )\right ) + 4 \, \log \left (5\right ) \log \left (\log \left (5\right ) - \log \left (x^{2}\right )\right ) + 4 \, \log \left (2\right ) \log \left (\log \left (5\right ) - \log \left (x^{2}\right )\right ) \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Mupad [B]
time = 4.24, size = 35, normalized size = 1.21 \begin {gather*} -\left (\ln \left (10\right )+\Pi \,1{}\mathrm {i}\right )\,\left ({\mathrm {e}}^3-4\right )\,\left (\ln \left (\ln \left (\frac {5}{x^2}\right )\right )-\ln \left ({\mathrm {e}}^x+x\,\ln \left (\frac {5}{x^2}\right )\right )\right ) \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________