Optimal. Leaf size=28 \[ \frac {e^{10}}{x \left (4-\frac {3}{1-\log \left (3+\frac {1}{x}+\log (\log (3))\right )}\right )} \]
________________________________________________________________________________________
Rubi [F] time = 0.72, 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^{10} (-4-3 x)-e^{10} x \log (\log (3))+\left (e^{10} (5+15 x)+5 e^{10} x \log (\log (3))\right ) \log \left (\frac {1+3 x+x \log (\log (3))}{x}\right )+\left (e^{10} (-4-12 x)-4 e^{10} x \log (\log (3))\right ) \log ^2\left (\frac {1+3 x+x \log (\log (3))}{x}\right )}{x^2+3 x^3+x^3 \log (\log (3))+\left (-8 x^2-24 x^3-8 x^3 \log (\log (3))\right ) \log \left (\frac {1+3 x+x \log (\log (3))}{x}\right )+\left (16 x^2+48 x^3+16 x^3 \log (\log (3))\right ) \log ^2\left (\frac {1+3 x+x \log (\log (3))}{x}\right )} \, dx \end {gather*}
Verification is not applicable to the result.
[In]
[Out]
Rubi steps
\begin {gather*} \begin {aligned} \text {integral} &=\int \frac {e^{10} (-4-3 x)-e^{10} x \log (\log (3))+\left (e^{10} (5+15 x)+5 e^{10} x \log (\log (3))\right ) \log \left (\frac {1+3 x+x \log (\log (3))}{x}\right )+\left (e^{10} (-4-12 x)-4 e^{10} x \log (\log (3))\right ) \log ^2\left (\frac {1+3 x+x \log (\log (3))}{x}\right )}{x^2+x^3 (3+\log (\log (3)))+\left (-8 x^2-24 x^3-8 x^3 \log (\log (3))\right ) \log \left (\frac {1+3 x+x \log (\log (3))}{x}\right )+\left (16 x^2+48 x^3+16 x^3 \log (\log (3))\right ) \log ^2\left (\frac {1+3 x+x \log (\log (3))}{x}\right )} \, dx\\ &=\int \frac {e^{10} \left (-4-x (3+\log (\log (3)))+5 (1+x (3+\log (\log (3)))) \log \left (3+\frac {1}{x}+\log (\log (3))\right )-4 (1+x (3+\log (\log (3)))) \log ^2\left (3+\frac {1}{x}+\log (\log (3))\right )\right )}{(1+x (3+\log (\log (3)))) \left (x-4 x \log \left (3+\frac {1}{x}+\log (\log (3))\right )\right )^2} \, dx\\ &=e^{10} \int \frac {-4-x (3+\log (\log (3)))+5 (1+x (3+\log (\log (3)))) \log \left (3+\frac {1}{x}+\log (\log (3))\right )-4 (1+x (3+\log (\log (3)))) \log ^2\left (3+\frac {1}{x}+\log (\log (3))\right )}{(1+x (3+\log (\log (3)))) \left (x-4 x \log \left (3+\frac {1}{x}+\log (\log (3))\right )\right )^2} \, dx\\ &=e^{10} \int \left (-\frac {1}{4 x^2}+\frac {3}{x^2 (-1-x (3+\log (\log (3)))) \left (1-4 \log \left (3+\frac {1}{x}+\log (\log (3))\right )\right )^2}+\frac {3}{4 x^2 \left (-1+4 \log \left (3+\frac {1}{x}+\log (\log (3))\right )\right )}\right ) \, dx\\ &=\frac {e^{10}}{4 x}+\frac {1}{4} \left (3 e^{10}\right ) \int \frac {1}{x^2 \left (-1+4 \log \left (3+\frac {1}{x}+\log (\log (3))\right )\right )} \, dx+\left (3 e^{10}\right ) \int \frac {1}{x^2 (-1+x (-3-\log (\log (3)))) \left (1-4 \log \left (3+\frac {1}{x}+\log (\log (3))\right )\right )^2} \, dx\\ &=\frac {e^{10}}{4 x}-\frac {1}{4} \left (3 e^{10}\right ) \operatorname {Subst}\left (\int \frac {1}{-1+4 \log (3+x+\log (\log (3)))} \, dx,x,\frac {1}{x}\right )+\left (3 e^{10}\right ) \int \left (-\frac {1}{x^2 \left (1-4 \log \left (3+\frac {1}{x}+\log (\log (3))\right )\right )^2}+\frac {3+\log (\log (3))}{x \left (1-4 \log \left (3+\frac {1}{x}+\log (\log (3))\right )\right )^2}+\frac {(3+\log (\log (3)))^2}{(-1-x (3+\log (\log (3)))) \left (1-4 \log \left (3+\frac {1}{x}+\log (\log (3))\right )\right )^2}\right ) \, dx\\ &=\frac {e^{10}}{4 x}-\frac {1}{4} \left (3 e^{10}\right ) \operatorname {Subst}\left (\int \frac {1}{-1+4 \log (x)} \, dx,x,3+\frac {1}{x}+\log (\log (3))\right )-\left (3 e^{10}\right ) \int \frac {1}{x^2 \left (1-4 \log \left (3+\frac {1}{x}+\log (\log (3))\right )\right )^2} \, dx+\left (3 e^{10} (3+\log (\log (3)))\right ) \int \frac {1}{x \left (1-4 \log \left (3+\frac {1}{x}+\log (\log (3))\right )\right )^2} \, dx+\left (3 e^{10} (3+\log (\log (3)))^2\right ) \int \frac {1}{(-1+x (-3-\log (\log (3)))) \left (1-4 \log \left (3+\frac {1}{x}+\log (\log (3))\right )\right )^2} \, dx\\ &=\frac {e^{10}}{4 x}-\frac {1}{4} \left (3 e^{10}\right ) \operatorname {Subst}\left (\int \frac {e^x}{-1+4 x} \, dx,x,\log \left (3+\frac {1}{x}+\log (\log (3))\right )\right )+\left (3 e^{10}\right ) \operatorname {Subst}\left (\int \frac {1}{(1-4 \log (3+x+\log (\log (3))))^2} \, dx,x,\frac {1}{x}\right )+\left (3 e^{10} (3+\log (\log (3)))\right ) \int \frac {1}{x \left (1-4 \log \left (3+\frac {1}{x}+\log (\log (3))\right )\right )^2} \, dx+\left (3 e^{10} (3+\log (\log (3)))^2\right ) \int \frac {1}{(-1+x (-3-\log (\log (3)))) \left (1-4 \log \left (3+\frac {1}{x}+\log (\log (3))\right )\right )^2} \, dx\\ &=\frac {e^{10}}{4 x}-\frac {3}{16} e^{41/4} \text {Ei}\left (\frac {1}{4} \left (-1+4 \log \left (3+\frac {1}{x}+\log (\log (3))\right )\right )\right )+\left (3 e^{10}\right ) \operatorname {Subst}\left (\int \frac {1}{(1-4 \log (x))^2} \, dx,x,3+\frac {1}{x}+\log (\log (3))\right )+\left (3 e^{10} (3+\log (\log (3)))\right ) \int \frac {1}{x \left (1-4 \log \left (3+\frac {1}{x}+\log (\log (3))\right )\right )^2} \, dx+\left (3 e^{10} (3+\log (\log (3)))^2\right ) \int \frac {1}{(-1+x (-3-\log (\log (3)))) \left (1-4 \log \left (3+\frac {1}{x}+\log (\log (3))\right )\right )^2} \, dx\\ &=\frac {e^{10}}{4 x}-\frac {3}{16} e^{41/4} \text {Ei}\left (\frac {1}{4} \left (-1+4 \log \left (3+\frac {1}{x}+\log (\log (3))\right )\right )\right )+\frac {3 e^{10} \left (3+\frac {1}{x}+\log (\log (3))\right )}{4 \left (1-4 \log \left (3+\frac {1}{x}+\log (\log (3))\right )\right )}-\frac {1}{4} \left (3 e^{10}\right ) \operatorname {Subst}\left (\int \frac {1}{1-4 \log (x)} \, dx,x,3+\frac {1}{x}+\log (\log (3))\right )+\left (3 e^{10} (3+\log (\log (3)))\right ) \int \frac {1}{x \left (1-4 \log \left (3+\frac {1}{x}+\log (\log (3))\right )\right )^2} \, dx+\left (3 e^{10} (3+\log (\log (3)))^2\right ) \int \frac {1}{(-1+x (-3-\log (\log (3)))) \left (1-4 \log \left (3+\frac {1}{x}+\log (\log (3))\right )\right )^2} \, dx\\ &=\frac {e^{10}}{4 x}-\frac {3}{16} e^{41/4} \text {Ei}\left (\frac {1}{4} \left (-1+4 \log \left (3+\frac {1}{x}+\log (\log (3))\right )\right )\right )+\frac {3 e^{10} \left (3+\frac {1}{x}+\log (\log (3))\right )}{4 \left (1-4 \log \left (3+\frac {1}{x}+\log (\log (3))\right )\right )}-\frac {1}{4} \left (3 e^{10}\right ) \operatorname {Subst}\left (\int \frac {e^x}{1-4 x} \, dx,x,\log \left (3+\frac {1}{x}+\log (\log (3))\right )\right )+\left (3 e^{10} (3+\log (\log (3)))\right ) \int \frac {1}{x \left (1-4 \log \left (3+\frac {1}{x}+\log (\log (3))\right )\right )^2} \, dx+\left (3 e^{10} (3+\log (\log (3)))^2\right ) \int \frac {1}{(-1+x (-3-\log (\log (3)))) \left (1-4 \log \left (3+\frac {1}{x}+\log (\log (3))\right )\right )^2} \, dx\\ &=\frac {e^{10}}{4 x}+\frac {3 e^{10} \left (3+\frac {1}{x}+\log (\log (3))\right )}{4 \left (1-4 \log \left (3+\frac {1}{x}+\log (\log (3))\right )\right )}+\left (3 e^{10} (3+\log (\log (3)))\right ) \int \frac {1}{x \left (1-4 \log \left (3+\frac {1}{x}+\log (\log (3))\right )\right )^2} \, dx+\left (3 e^{10} (3+\log (\log (3)))^2\right ) \int \frac {1}{(-1+x (-3-\log (\log (3)))) \left (1-4 \log \left (3+\frac {1}{x}+\log (\log (3))\right )\right )^2} \, dx\\ \end {aligned} \end {gather*}
________________________________________________________________________________________
Mathematica [A] time = 0.05, size = 36, normalized size = 1.29 \begin {gather*} -\frac {e^{10} \left (1-\log \left (3+\frac {1}{x}+\log (\log (3))\right )\right )}{x \left (-1+4 \log \left (3+\frac {1}{x}+\log (\log (3))\right )\right )} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
fricas [A] time = 0.64, size = 48, normalized size = 1.71 \begin {gather*} \frac {e^{10} \log \left (\frac {x \log \left (\log \relax (3)\right ) + 3 \, x + 1}{x}\right ) - e^{10}}{4 \, x \log \left (\frac {x \log \left (\log \relax (3)\right ) + 3 \, x + 1}{x}\right ) - x} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
giac [B] time = 0.30, size = 51, normalized size = 1.82 \begin {gather*} \frac {e^{10} \log \left (x \log \left (\log \relax (3)\right ) + 3 \, x + 1\right ) - e^{10} \log \relax (x) - e^{10}}{4 \, x \log \left (x \log \left (\log \relax (3)\right ) + 3 \, x + 1\right ) - 4 \, x \log \relax (x) - x} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
maple [A] time = 0.30, size = 37, normalized size = 1.32
method | result | size |
risch | \(\frac {{\mathrm e}^{10}}{4 x}-\frac {3 \,{\mathrm e}^{10}}{4 x \left (-1+4 \ln \left (\frac {\ln \left (\ln \relax (3)\right ) x +3 x +1}{x}\right )\right )}\) | \(37\) |
norman | \(\frac {{\mathrm e}^{10} \ln \left (\frac {\ln \left (\ln \relax (3)\right ) x +3 x +1}{x}\right )-{\mathrm e}^{10}}{x \left (-1+4 \ln \left (\frac {\ln \left (\ln \relax (3)\right ) x +3 x +1}{x}\right )\right )}\) | \(53\) |
derivativedivides | \(\frac {3 \,{\mathrm e}^{10} \ln \left (\ln \relax (3)\right )}{4 \left (4 \ln \left (3+\frac {1}{x}+\ln \left (\ln \relax (3)\right )\right )-1\right )}+\frac {9 \,{\mathrm e}^{10}}{4 \left (4 \ln \left (3+\frac {1}{x}+\ln \left (\ln \relax (3)\right )\right )-1\right )}-\frac {3 \,{\mathrm e}^{10} \left (3+\frac {1}{x}+\ln \left (\ln \relax (3)\right )\right )}{16 \left (\ln \left (3+\frac {1}{x}+\ln \left (\ln \relax (3)\right )\right )-\frac {1}{4}\right )}+\frac {{\mathrm e}^{10} \left (3+\frac {1}{x}+\ln \left (\ln \relax (3)\right )\right )}{4}\) | \(82\) |
default | \(\frac {3 \,{\mathrm e}^{10} \ln \left (\ln \relax (3)\right )}{4 \left (4 \ln \left (3+\frac {1}{x}+\ln \left (\ln \relax (3)\right )\right )-1\right )}+\frac {9 \,{\mathrm e}^{10}}{4 \left (4 \ln \left (3+\frac {1}{x}+\ln \left (\ln \relax (3)\right )\right )-1\right )}-\frac {3 \,{\mathrm e}^{10} \left (3+\frac {1}{x}+\ln \left (\ln \relax (3)\right )\right )}{16 \left (\ln \left (3+\frac {1}{x}+\ln \left (\ln \relax (3)\right )\right )-\frac {1}{4}\right )}+\frac {{\mathrm e}^{10} \left (3+\frac {1}{x}+\ln \left (\ln \relax (3)\right )\right )}{4}\) | \(82\) |
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
maxima [A] time = 0.52, size = 49, normalized size = 1.75 \begin {gather*} \frac {e^{10} \log \left (x {\left (\log \left (\log \relax (3)\right ) + 3\right )} + 1\right ) - e^{10} \log \relax (x) - e^{10}}{4 \, x \log \left (x {\left (\log \left (\log \relax (3)\right ) + 3\right )} + 1\right ) - 4 \, x \log \relax (x) - x} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
mupad [B] time = 4.92, size = 76, normalized size = 2.71 \begin {gather*} \frac {{\mathrm {e}}^{10}\,\left (36\,x+12\,x\,\ln \left (\ln \relax (3)\right )+16\right )}{64\,x}-\frac {\frac {{\mathrm {e}}^{10}\,\left (9\,x+3\,x\,\ln \left (\ln \relax (3)\right )+16\right )}{16}-\frac {{\mathrm {e}}^{10}\,\left (36\,x+12\,x\,\ln \left (\ln \relax (3)\right )+16\right )}{64}}{x\,\left (4\,\ln \left (\frac {3\,x+x\,\ln \left (\ln \relax (3)\right )+1}{x}\right )-1\right )} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
sympy [A] time = 0.20, size = 32, normalized size = 1.14 \begin {gather*} - \frac {3 e^{10}}{16 x \log {\left (\frac {x \log {\left (\log {\relax (3 )} \right )} + 3 x + 1}{x} \right )} - 4 x} + \frac {e^{10}}{4 x} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________