Optimal. Leaf size=17 \[ \frac {(28+\log (2))^4}{4096 x^4 \log ^4(x)} \]
________________________________________________________________________________________
Rubi [C] time = 0.54, antiderivative size = 230, normalized size of antiderivative = 13.53, number of steps used = 21, number of rules used = 7, integrand size = 62, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.113, Rules used = {12, 2306, 2309, 2178, 2366, 6742, 6482} \begin {gather*} \frac {1}{96} (28+\log (2))^4 \log (x) \text {Ei}(-4 \log (x))-\frac {1}{96} \left ((28+\log (2))^4 \log (x)+(28+\log (2))^4\right ) \text {Ei}(-4 \log (x))+\frac {1}{96} (28+\log (2))^4 \text {Ei}(-4 \log (x))+\frac {(28+\log (2))^4 \log (x)+(28+\log (2))^4}{4096 x^4 \log ^4(x)}-\frac {(28+\log (2))^4 \log (x)+(28+\log (2))^4}{3072 x^4 \log ^3(x)}+\frac {(28+\log (2))^4}{12288 x^4 \log ^3(x)}+\frac {(28+\log (2))^4 \log (x)+(28+\log (2))^4}{1536 x^4 \log ^2(x)}-\frac {(28+\log (2))^4}{3072 x^4 \log ^2(x)}-\frac {(28+\log (2))^4 \log (x)+(28+\log (2))^4}{384 x^4 \log (x)}+\frac {(28+\log (2))^4}{512 x^4 \log (x)}+\frac {(28+\log (2))^4}{384 x^4} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
Rule 12
Rule 2178
Rule 2306
Rule 2309
Rule 2366
Rule 6482
Rule 6742
Rubi steps
\begin {gather*} \begin {aligned} \text {integral} &=\frac {\int \frac {-614656-87808 \log (2)-4704 \log ^2(2)-112 \log ^3(2)-\log ^4(2)+\left (-614656-87808 \log (2)-4704 \log ^2(2)-112 \log ^3(2)-\log ^4(2)\right ) \log (x)}{x^5 \log ^5(x)} \, dx}{1024}\\ &=-\frac {1}{96} \text {Ei}(-4 \log (x)) \left ((28+\log (2))^4+(28+\log (2))^4 \log (x)\right )+\frac {(28+\log (2))^4+(28+\log (2))^4 \log (x)}{4096 x^4 \log ^4(x)}-\frac {(28+\log (2))^4+(28+\log (2))^4 \log (x)}{3072 x^4 \log ^3(x)}+\frac {(28+\log (2))^4+(28+\log (2))^4 \log (x)}{1536 x^4 \log ^2(x)}-\frac {(28+\log (2))^4+(28+\log (2))^4 \log (x)}{384 x^4 \log (x)}+\frac {(28+\log (2))^4 \int \frac {-3+4 \log (x)-8 \log ^2(x)+32 \log ^3(x)+128 x^4 \text {Ei}(-4 \log (x)) \log ^4(x)}{12 x^5 \log ^4(x)} \, dx}{1024}\\ &=-\frac {1}{96} \text {Ei}(-4 \log (x)) \left ((28+\log (2))^4+(28+\log (2))^4 \log (x)\right )+\frac {(28+\log (2))^4+(28+\log (2))^4 \log (x)}{4096 x^4 \log ^4(x)}-\frac {(28+\log (2))^4+(28+\log (2))^4 \log (x)}{3072 x^4 \log ^3(x)}+\frac {(28+\log (2))^4+(28+\log (2))^4 \log (x)}{1536 x^4 \log ^2(x)}-\frac {(28+\log (2))^4+(28+\log (2))^4 \log (x)}{384 x^4 \log (x)}+\frac {(28+\log (2))^4 \int \frac {-3+4 \log (x)-8 \log ^2(x)+32 \log ^3(x)+128 x^4 \text {Ei}(-4 \log (x)) \log ^4(x)}{x^5 \log ^4(x)} \, dx}{12288}\\ &=-\frac {1}{96} \text {Ei}(-4 \log (x)) \left ((28+\log (2))^4+(28+\log (2))^4 \log (x)\right )+\frac {(28+\log (2))^4+(28+\log (2))^4 \log (x)}{4096 x^4 \log ^4(x)}-\frac {(28+\log (2))^4+(28+\log (2))^4 \log (x)}{3072 x^4 \log ^3(x)}+\frac {(28+\log (2))^4+(28+\log (2))^4 \log (x)}{1536 x^4 \log ^2(x)}-\frac {(28+\log (2))^4+(28+\log (2))^4 \log (x)}{384 x^4 \log (x)}+\frac {(28+\log (2))^4 \int \left (\frac {128 \text {Ei}(-4 \log (x))}{x}-\frac {3}{x^5 \log ^4(x)}+\frac {4}{x^5 \log ^3(x)}-\frac {8}{x^5 \log ^2(x)}+\frac {32}{x^5 \log (x)}\right ) \, dx}{12288}\\ &=-\frac {1}{96} \text {Ei}(-4 \log (x)) \left ((28+\log (2))^4+(28+\log (2))^4 \log (x)\right )+\frac {(28+\log (2))^4+(28+\log (2))^4 \log (x)}{4096 x^4 \log ^4(x)}-\frac {(28+\log (2))^4+(28+\log (2))^4 \log (x)}{3072 x^4 \log ^3(x)}+\frac {(28+\log (2))^4+(28+\log (2))^4 \log (x)}{1536 x^4 \log ^2(x)}-\frac {(28+\log (2))^4+(28+\log (2))^4 \log (x)}{384 x^4 \log (x)}-\frac {(28+\log (2))^4 \int \frac {1}{x^5 \log ^4(x)} \, dx}{4096}+\frac {(28+\log (2))^4 \int \frac {1}{x^5 \log ^3(x)} \, dx}{3072}-\frac {(28+\log (2))^4 \int \frac {1}{x^5 \log ^2(x)} \, dx}{1536}+\frac {1}{384} (28+\log (2))^4 \int \frac {1}{x^5 \log (x)} \, dx+\frac {1}{96} (28+\log (2))^4 \int \frac {\text {Ei}(-4 \log (x))}{x} \, dx\\ &=\frac {(28+\log (2))^4}{12288 x^4 \log ^3(x)}-\frac {(28+\log (2))^4}{6144 x^4 \log ^2(x)}+\frac {(28+\log (2))^4}{1536 x^4 \log (x)}-\frac {1}{96} \text {Ei}(-4 \log (x)) \left ((28+\log (2))^4+(28+\log (2))^4 \log (x)\right )+\frac {(28+\log (2))^4+(28+\log (2))^4 \log (x)}{4096 x^4 \log ^4(x)}-\frac {(28+\log (2))^4+(28+\log (2))^4 \log (x)}{3072 x^4 \log ^3(x)}+\frac {(28+\log (2))^4+(28+\log (2))^4 \log (x)}{1536 x^4 \log ^2(x)}-\frac {(28+\log (2))^4+(28+\log (2))^4 \log (x)}{384 x^4 \log (x)}+\frac {(28+\log (2))^4 \int \frac {1}{x^5 \log ^3(x)} \, dx}{3072}-\frac {(28+\log (2))^4 \int \frac {1}{x^5 \log ^2(x)} \, dx}{1536}+\frac {1}{384} (28+\log (2))^4 \int \frac {1}{x^5 \log (x)} \, dx+\frac {1}{384} (28+\log (2))^4 \operatorname {Subst}\left (\int \frac {e^{-4 x}}{x} \, dx,x,\log (x)\right )+\frac {1}{96} (28+\log (2))^4 \operatorname {Subst}(\int \text {Ei}(-4 x) \, dx,x,\log (x))\\ &=\frac {(28+\log (2))^4}{384 x^4}+\frac {1}{384} \text {Ei}(-4 \log (x)) (28+\log (2))^4+\frac {(28+\log (2))^4}{12288 x^4 \log ^3(x)}-\frac {(28+\log (2))^4}{3072 x^4 \log ^2(x)}+\frac {(28+\log (2))^4}{768 x^4 \log (x)}+\frac {1}{96} \text {Ei}(-4 \log (x)) (28+\log (2))^4 \log (x)-\frac {1}{96} \text {Ei}(-4 \log (x)) \left ((28+\log (2))^4+(28+\log (2))^4 \log (x)\right )+\frac {(28+\log (2))^4+(28+\log (2))^4 \log (x)}{4096 x^4 \log ^4(x)}-\frac {(28+\log (2))^4+(28+\log (2))^4 \log (x)}{3072 x^4 \log ^3(x)}+\frac {(28+\log (2))^4+(28+\log (2))^4 \log (x)}{1536 x^4 \log ^2(x)}-\frac {(28+\log (2))^4+(28+\log (2))^4 \log (x)}{384 x^4 \log (x)}-\frac {(28+\log (2))^4 \int \frac {1}{x^5 \log ^2(x)} \, dx}{1536}+\frac {1}{384} (28+\log (2))^4 \int \frac {1}{x^5 \log (x)} \, dx+\frac {1}{384} (28+\log (2))^4 \operatorname {Subst}\left (\int \frac {e^{-4 x}}{x} \, dx,x,\log (x)\right )\\ &=\frac {(28+\log (2))^4}{384 x^4}+\frac {1}{192} \text {Ei}(-4 \log (x)) (28+\log (2))^4+\frac {(28+\log (2))^4}{12288 x^4 \log ^3(x)}-\frac {(28+\log (2))^4}{3072 x^4 \log ^2(x)}+\frac {(28+\log (2))^4}{512 x^4 \log (x)}+\frac {1}{96} \text {Ei}(-4 \log (x)) (28+\log (2))^4 \log (x)-\frac {1}{96} \text {Ei}(-4 \log (x)) \left ((28+\log (2))^4+(28+\log (2))^4 \log (x)\right )+\frac {(28+\log (2))^4+(28+\log (2))^4 \log (x)}{4096 x^4 \log ^4(x)}-\frac {(28+\log (2))^4+(28+\log (2))^4 \log (x)}{3072 x^4 \log ^3(x)}+\frac {(28+\log (2))^4+(28+\log (2))^4 \log (x)}{1536 x^4 \log ^2(x)}-\frac {(28+\log (2))^4+(28+\log (2))^4 \log (x)}{384 x^4 \log (x)}+\frac {1}{384} (28+\log (2))^4 \int \frac {1}{x^5 \log (x)} \, dx+\frac {1}{384} (28+\log (2))^4 \operatorname {Subst}\left (\int \frac {e^{-4 x}}{x} \, dx,x,\log (x)\right )\\ &=\frac {(28+\log (2))^4}{384 x^4}+\frac {1}{128} \text {Ei}(-4 \log (x)) (28+\log (2))^4+\frac {(28+\log (2))^4}{12288 x^4 \log ^3(x)}-\frac {(28+\log (2))^4}{3072 x^4 \log ^2(x)}+\frac {(28+\log (2))^4}{512 x^4 \log (x)}+\frac {1}{96} \text {Ei}(-4 \log (x)) (28+\log (2))^4 \log (x)-\frac {1}{96} \text {Ei}(-4 \log (x)) \left ((28+\log (2))^4+(28+\log (2))^4 \log (x)\right )+\frac {(28+\log (2))^4+(28+\log (2))^4 \log (x)}{4096 x^4 \log ^4(x)}-\frac {(28+\log (2))^4+(28+\log (2))^4 \log (x)}{3072 x^4 \log ^3(x)}+\frac {(28+\log (2))^4+(28+\log (2))^4 \log (x)}{1536 x^4 \log ^2(x)}-\frac {(28+\log (2))^4+(28+\log (2))^4 \log (x)}{384 x^4 \log (x)}+\frac {1}{384} (28+\log (2))^4 \operatorname {Subst}\left (\int \frac {e^{-4 x}}{x} \, dx,x,\log (x)\right )\\ &=\frac {(28+\log (2))^4}{384 x^4}+\frac {1}{96} \text {Ei}(-4 \log (x)) (28+\log (2))^4+\frac {(28+\log (2))^4}{12288 x^4 \log ^3(x)}-\frac {(28+\log (2))^4}{3072 x^4 \log ^2(x)}+\frac {(28+\log (2))^4}{512 x^4 \log (x)}+\frac {1}{96} \text {Ei}(-4 \log (x)) (28+\log (2))^4 \log (x)-\frac {1}{96} \text {Ei}(-4 \log (x)) \left ((28+\log (2))^4+(28+\log (2))^4 \log (x)\right )+\frac {(28+\log (2))^4+(28+\log (2))^4 \log (x)}{4096 x^4 \log ^4(x)}-\frac {(28+\log (2))^4+(28+\log (2))^4 \log (x)}{3072 x^4 \log ^3(x)}+\frac {(28+\log (2))^4+(28+\log (2))^4 \log (x)}{1536 x^4 \log ^2(x)}-\frac {(28+\log (2))^4+(28+\log (2))^4 \log (x)}{384 x^4 \log (x)}\\ \end {aligned} \end {gather*}
________________________________________________________________________________________
Mathematica [A] time = 0.02, size = 17, normalized size = 1.00 \begin {gather*} \frac {(28+\log (2))^4}{4096 x^4 \log ^4(x)} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
fricas [B] time = 0.66, size = 31, normalized size = 1.82 \begin {gather*} \frac {\log \relax (2)^{4} + 112 \, \log \relax (2)^{3} + 4704 \, \log \relax (2)^{2} + 87808 \, \log \relax (2) + 614656}{4096 \, x^{4} \log \relax (x)^{4}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
giac [B] time = 0.13, size = 31, normalized size = 1.82 \begin {gather*} \frac {\log \relax (2)^{4} + 112 \, \log \relax (2)^{3} + 4704 \, \log \relax (2)^{2} + 87808 \, \log \relax (2) + 614656}{4096 \, x^{4} \log \relax (x)^{4}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
maple [B] time = 0.03, size = 32, normalized size = 1.88
method | result | size |
risch | \(\frac {\ln \relax (2)^{4}+112 \ln \relax (2)^{3}+4704 \ln \relax (2)^{2}+87808 \ln \relax (2)+614656}{4096 x^{4} \ln \relax (x )^{4}}\) | \(32\) |
default | \(-\frac {\ln \relax (2)^{4} \left (-\frac {1}{3 x^{4} \ln \relax (x )^{3}}+\frac {2}{3 x^{4} \ln \relax (x )^{2}}-\frac {8}{3 x^{4} \ln \relax (x )}+\frac {32 \expIntegralEi \left (1, 4 \ln \relax (x )\right )}{3}\right )}{1024}-\frac {7 \ln \relax (2)^{3} \left (-\frac {1}{3 x^{4} \ln \relax (x )^{3}}+\frac {2}{3 x^{4} \ln \relax (x )^{2}}-\frac {8}{3 x^{4} \ln \relax (x )}+\frac {32 \expIntegralEi \left (1, 4 \ln \relax (x )\right )}{3}\right )}{64}-\frac {\ln \relax (2)^{4} \left (-\frac {1}{4 x^{4} \ln \relax (x )^{4}}+\frac {1}{3 x^{4} \ln \relax (x )^{3}}-\frac {2}{3 x^{4} \ln \relax (x )^{2}}+\frac {8}{3 x^{4} \ln \relax (x )}-\frac {32 \expIntegralEi \left (1, 4 \ln \relax (x )\right )}{3}\right )}{1024}-\frac {147 \ln \relax (2)^{2} \left (-\frac {1}{3 x^{4} \ln \relax (x )^{3}}+\frac {2}{3 x^{4} \ln \relax (x )^{2}}-\frac {8}{3 x^{4} \ln \relax (x )}+\frac {32 \expIntegralEi \left (1, 4 \ln \relax (x )\right )}{3}\right )}{32}-\frac {7 \ln \relax (2)^{3} \left (-\frac {1}{4 x^{4} \ln \relax (x )^{4}}+\frac {1}{3 x^{4} \ln \relax (x )^{3}}-\frac {2}{3 x^{4} \ln \relax (x )^{2}}+\frac {8}{3 x^{4} \ln \relax (x )}-\frac {32 \expIntegralEi \left (1, 4 \ln \relax (x )\right )}{3}\right )}{64}-\frac {343 \ln \relax (2) \left (-\frac {1}{3 x^{4} \ln \relax (x )^{3}}+\frac {2}{3 x^{4} \ln \relax (x )^{2}}-\frac {8}{3 x^{4} \ln \relax (x )}+\frac {32 \expIntegralEi \left (1, 4 \ln \relax (x )\right )}{3}\right )}{4}-\frac {147 \ln \relax (2)^{2} \left (-\frac {1}{4 x^{4} \ln \relax (x )^{4}}+\frac {1}{3 x^{4} \ln \relax (x )^{3}}-\frac {2}{3 x^{4} \ln \relax (x )^{2}}+\frac {8}{3 x^{4} \ln \relax (x )}-\frac {32 \expIntegralEi \left (1, 4 \ln \relax (x )\right )}{3}\right )}{32}-\frac {343 \ln \relax (2) \left (-\frac {1}{4 x^{4} \ln \relax (x )^{4}}+\frac {1}{3 x^{4} \ln \relax (x )^{3}}-\frac {2}{3 x^{4} \ln \relax (x )^{2}}+\frac {8}{3 x^{4} \ln \relax (x )}-\frac {32 \expIntegralEi \left (1, 4 \ln \relax (x )\right )}{3}\right )}{4}+\frac {2401}{16 x^{4} \ln \relax (x )^{4}}\) | \(379\) |
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
maxima [C] time = 0.41, size = 109, normalized size = 6.41 \begin {gather*} \frac {1}{16} \, \Gamma \left (-3, 4 \, \log \relax (x)\right ) \log \relax (2)^{4} + \frac {1}{4} \, \Gamma \left (-4, 4 \, \log \relax (x)\right ) \log \relax (2)^{4} + 7 \, \Gamma \left (-3, 4 \, \log \relax (x)\right ) \log \relax (2)^{3} + 28 \, \Gamma \left (-4, 4 \, \log \relax (x)\right ) \log \relax (2)^{3} + 294 \, \Gamma \left (-3, 4 \, \log \relax (x)\right ) \log \relax (2)^{2} + 1176 \, \Gamma \left (-4, 4 \, \log \relax (x)\right ) \log \relax (2)^{2} + 5488 \, \Gamma \left (-3, 4 \, \log \relax (x)\right ) \log \relax (2) + 21952 \, \Gamma \left (-4, 4 \, \log \relax (x)\right ) \log \relax (2) + 38416 \, \Gamma \left (-3, 4 \, \log \relax (x)\right ) + 153664 \, \Gamma \left (-4, 4 \, \log \relax (x)\right ) \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
mupad [B] time = 4.34, size = 15, normalized size = 0.88 \begin {gather*} \frac {{\left (\ln \relax (2)+28\right )}^4}{4096\,x^4\,{\ln \relax (x)}^4} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
sympy [B] time = 0.14, size = 34, normalized size = 2.00 \begin {gather*} \frac {\log {\relax (2 )}^{4} + 112 \log {\relax (2 )}^{3} + 4704 \log {\relax (2 )}^{2} + 87808 \log {\relax (2 )} + 614656}{4096 x^{4} \log {\relax (x )}^{4}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________