Optimal. Leaf size=24 \[ -\frac {3}{5 \left (e^{-x} \log ^2(2)-\log (3)\right )}+\log (x) \]
[Out]
________________________________________________________________________________________
Rubi [A]
time = 0.64, antiderivative size = 29, normalized size of antiderivative = 1.21, number of steps
used = 11, number of rules used = 8, integrand size = 73, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.110, Rules used = {6873, 12,
6874, 2320, 46, 36, 29, 31} \begin {gather*} \log (x)-\frac {3 \log ^2(2)}{5 \log (3) \left (\log ^2(2)-e^x \log (3)\right )} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
Rule 12
Rule 29
Rule 31
Rule 36
Rule 46
Rule 2320
Rule 6873
Rule 6874
Rubi steps
\begin {gather*} \begin {aligned} \text {integral} &=\int \frac {5 \log ^4(2)+5 e^{2 x} \log ^2(3)+e^x \left (-3 x \log ^2(2)-10 \log ^2(2) \log (3)\right )}{5 x \left (\log ^2(2)-e^x \log (3)\right )^2} \, dx\\ &=\frac {1}{5} \int \frac {5 \log ^4(2)+5 e^{2 x} \log ^2(3)+e^x \left (-3 x \log ^2(2)-10 \log ^2(2) \log (3)\right )}{x \left (\log ^2(2)-e^x \log (3)\right )^2} \, dx\\ &=\frac {1}{5} \int \left (\frac {5}{x}-\frac {3 \log ^4(2)}{\log (3) \left (\log ^2(2)-e^x \log (3)\right )^2}+\frac {3 \log ^2(2)}{\log (3) \left (\log ^2(2)-e^x \log (3)\right )}\right ) \, dx\\ &=\log (x)+\frac {\left (3 \log ^2(2)\right ) \int \frac {1}{\log ^2(2)-e^x \log (3)} \, dx}{5 \log (3)}-\frac {\left (3 \log ^4(2)\right ) \int \frac {1}{\left (\log ^2(2)-e^x \log (3)\right )^2} \, dx}{5 \log (3)}\\ &=\log (x)+\frac {\left (3 \log ^2(2)\right ) \text {Subst}\left (\int \frac {1}{x \left (\log ^2(2)-x \log (3)\right )} \, dx,x,e^x\right )}{5 \log (3)}-\frac {\left (3 \log ^4(2)\right ) \text {Subst}\left (\int \frac {1}{x \left (\log ^2(2)-x \log (3)\right )^2} \, dx,x,e^x\right )}{5 \log (3)}\\ &=\log (x)+\frac {3}{5} \text {Subst}\left (\int \frac {1}{\log ^2(2)-x \log (3)} \, dx,x,e^x\right )+\frac {3 \text {Subst}\left (\int \frac {1}{x} \, dx,x,e^x\right )}{5 \log (3)}-\frac {\left (3 \log ^4(2)\right ) \text {Subst}\left (\int \left (\frac {1}{x \log ^4(2)}+\frac {\log (3)}{\log ^2(2) \left (\log ^2(2)-x \log (3)\right )^2}+\frac {\log (3)}{\log ^4(2) \left (\log ^2(2)-x \log (3)\right )}\right ) \, dx,x,e^x\right )}{5 \log (3)}\\ &=-\frac {3 \log ^2(2)}{5 \log (3) \left (\log ^2(2)-e^x \log (3)\right )}+\log (x)\\ \end {aligned} \end {gather*}
________________________________________________________________________________________
Mathematica [A]
time = 0.12, size = 34, normalized size = 1.42 \begin {gather*} \frac {1}{5} \left (\frac {3 \log ^2(2)}{\log (3) \left (-\log ^2(2)+e^x \log (3)\right )}+5 \log (x)\right ) \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [A]
time = 42.26, size = 22, normalized size = 0.92
method | result | size |
norman | \(\frac {3 \,{\mathrm e}^{x}}{5 \left (\ln \left (3\right ) {\mathrm e}^{x}-\ln \left (2\right )^{2}\right )}+\ln \left (x \right )\) | \(22\) |
risch | \(\ln \left (x \right )+\frac {3 \ln \left (2\right )^{2}}{5 \ln \left (3\right ) \left (\ln \left (3\right ) {\mathrm e}^{x}-\ln \left (2\right )^{2}\right )}\) | \(28\) |
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [A]
time = 0.49, size = 27, normalized size = 1.12 \begin {gather*} \frac {3 \, \log \left (2\right )^{2}}{5 \, {\left (e^{x} \log \left (3\right )^{2} - \log \left (3\right ) \log \left (2\right )^{2}\right )}} + \log \left (x\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. 47 vs.
\(2 (21) = 42\).
time = 0.43, size = 47, normalized size = 1.96 \begin {gather*} \frac {3 \, \log \left (2\right )^{2} + 5 \, {\left (e^{x} \log \left (3\right )^{2} - \log \left (3\right ) \log \left (2\right )^{2}\right )} \log \left (x\right )}{5 \, {\left (e^{x} \log \left (3\right )^{2} - \log \left (3\right ) \log \left (2\right )^{2}\right )}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [A]
time = 0.04, size = 29, normalized size = 1.21 \begin {gather*} \log {\left (x \right )} + \frac {3 \log {\left (2 \right )}^{2}}{5 e^{x} \log {\left (3 \right )}^{2} - 5 \log {\left (2 \right )}^{2} \log {\left (3 \right )}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [B] Leaf count of result is larger than twice the leaf count of optimal. 47 vs.
\(2 (21) = 42\).
time = 0.40, size = 47, normalized size = 1.96 \begin {gather*} \frac {5 \, e^{x} \log \left (3\right )^{2} \log \left (x\right ) - 5 \, \log \left (3\right ) \log \left (2\right )^{2} \log \left (x\right ) + 3 \, \log \left (2\right )^{2}}{5 \, {\left (e^{x} \log \left (3\right )^{2} - \log \left (3\right ) \log \left (2\right )^{2}\right )}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Mupad [B]
time = 4.22, size = 22, normalized size = 0.92 \begin {gather*} \ln \left (x\right )+\frac {3\,{\mathrm {e}}^x}{5\,{\mathrm {e}}^x\,\ln \left (3\right )-5\,{\ln \left (2\right )}^2} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________