Optimal. Leaf size=22 \[ x+\left (5+x+\left (-2+e^{\frac {4}{\log (x)}}+47 x\right )^2\right )^2 \]
________________________________________________________________________________________
Rubi [B] time = 1.74, antiderivative size = 87, normalized size of antiderivative = 3.95, number of steps used = 7, number of rules used = 3, integrand size = 140, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.021, Rules used = {6742, 2209, 2288} \begin {gather*} 4879681 x^4-826166 x^3+74731 x^2+2 \left (6627 x^2-563 x+17\right ) e^{\frac {8}{\log (x)}}-4 \left (-103823 x^3+13207 x^2-797 x+18\right ) e^{\frac {4}{\log (x)}}-3365 x+e^{\frac {16}{\log (x)}}-4 (2-47 x) e^{\frac {12}{\log (x)}} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
Rule 2209
Rule 2288
Rule 6742
Rubi steps
\begin {gather*} \begin {aligned} \text {integral} &=\int \left (-3365+149462 x-2478498 x^2+19518724 x^3-\frac {16 e^{\frac {16}{\log (x)}}}{x \log ^2(x)}+\frac {4 e^{\frac {12}{\log (x)}} \left (24-564 x+47 x \log ^2(x)\right )}{x \log ^2(x)}+\frac {2 e^{\frac {8}{\log (x)}} \left (-136+4504 x-53016 x^2-563 x \log ^2(x)+13254 x^2 \log ^2(x)\right )}{x \log ^2(x)}+\frac {4 e^{\frac {4}{\log (x)}} \left (72-3188 x+52828 x^2-415292 x^3+797 x \log ^2(x)-26414 x^2 \log ^2(x)+311469 x^3 \log ^2(x)\right )}{x \log ^2(x)}\right ) \, dx\\ &=-3365 x+74731 x^2-826166 x^3+4879681 x^4+2 \int \frac {e^{\frac {8}{\log (x)}} \left (-136+4504 x-53016 x^2-563 x \log ^2(x)+13254 x^2 \log ^2(x)\right )}{x \log ^2(x)} \, dx+4 \int \frac {e^{\frac {12}{\log (x)}} \left (24-564 x+47 x \log ^2(x)\right )}{x \log ^2(x)} \, dx+4 \int \frac {e^{\frac {4}{\log (x)}} \left (72-3188 x+52828 x^2-415292 x^3+797 x \log ^2(x)-26414 x^2 \log ^2(x)+311469 x^3 \log ^2(x)\right )}{x \log ^2(x)} \, dx-16 \int \frac {e^{\frac {16}{\log (x)}}}{x \log ^2(x)} \, dx\\ &=-4 e^{\frac {12}{\log (x)}} (2-47 x)-3365 x+74731 x^2-826166 x^3+4879681 x^4+2 e^{\frac {8}{\log (x)}} \left (17-563 x+6627 x^2\right )-4 e^{\frac {4}{\log (x)}} \left (18-797 x+13207 x^2-103823 x^3\right )-16 \operatorname {Subst}\left (\int \frac {e^{16/x}}{x^2} \, dx,x,\log (x)\right )\\ &=e^{\frac {16}{\log (x)}}-4 e^{\frac {12}{\log (x)}} (2-47 x)-3365 x+74731 x^2-826166 x^3+4879681 x^4+2 e^{\frac {8}{\log (x)}} \left (17-563 x+6627 x^2\right )-4 e^{\frac {4}{\log (x)}} \left (18-797 x+13207 x^2-103823 x^3\right )\\ \end {aligned} \end {gather*}
________________________________________________________________________________________
Mathematica [B] time = 0.36, size = 87, normalized size = 3.95 \begin {gather*} e^{\frac {16}{\log (x)}}-e^{\frac {12}{\log (x)}} (8-188 x)-3365 x+74731 x^2-826166 x^3+4879681 x^4-e^{\frac {8}{\log (x)}} (-34-2 x (-563+6627 x))-e^{\frac {4}{\log (x)}} \left (72-4 x \left (797-13207 x+103823 x^2\right )\right ) \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
fricas [B] time = 0.53, size = 83, normalized size = 3.77 \begin {gather*} 4879681 \, x^{4} - 826166 \, x^{3} + 74731 \, x^{2} + 4 \, {\left (47 \, x - 2\right )} e^{\frac {12}{\log \relax (x)}} + 2 \, {\left (6627 \, x^{2} - 563 \, x + 17\right )} e^{\frac {8}{\log \relax (x)}} + 4 \, {\left (103823 \, x^{3} - 13207 \, x^{2} + 797 \, x - 18\right )} e^{\frac {4}{\log \relax (x)}} - 3365 \, x + e^{\frac {16}{\log \relax (x)}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
giac [B] time = 0.15, size = 119, normalized size = 5.41 \begin {gather*} 4879681 \, x^{4} + 415292 \, x^{3} e^{\frac {4}{\log \relax (x)}} - 826166 \, x^{3} + 13254 \, x^{2} e^{\frac {8}{\log \relax (x)}} - 52828 \, x^{2} e^{\frac {4}{\log \relax (x)}} + 74731 \, x^{2} + 188 \, x e^{\frac {12}{\log \relax (x)}} - 1126 \, x e^{\frac {8}{\log \relax (x)}} + 3188 \, x e^{\frac {4}{\log \relax (x)}} - 3365 \, x + e^{\frac {16}{\log \relax (x)}} - 8 \, e^{\frac {12}{\log \relax (x)}} + 34 \, e^{\frac {8}{\log \relax (x)}} - 72 \, e^{\frac {4}{\log \relax (x)}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
maple [B] time = 0.10, size = 81, normalized size = 3.68
method | result | size |
risch | \(4879681 x^{4}+{\mathrm e}^{\frac {16}{\ln \relax (x )}}-826166 x^{3}+74731 x^{2}-3365 x +\left (-8+188 x \right ) {\mathrm e}^{\frac {12}{\ln \relax (x )}}+\left (13254 x^{2}-1126 x +34\right ) {\mathrm e}^{\frac {8}{\ln \relax (x )}}+\left (415292 x^{3}-52828 x^{2}+3188 x -72\right ) {\mathrm e}^{\frac {4}{\ln \relax (x )}}\) | \(81\) |
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
maxima [F] time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} 4879681 \, x^{4} - 826166 \, x^{3} + 74731 \, x^{2} - 3365 \, x + e^{\frac {16}{\log \relax (x)}} + \int \frac {4 \, {\left (47 \, x \log \relax (x)^{2} - 564 \, x + 24\right )} e^{\frac {12}{\log \relax (x)}}}{x \log \relax (x)^{2}}\,{d x} + \int \frac {2 \, {\left ({\left (13254 \, x^{2} - 563 \, x\right )} \log \relax (x)^{2} - 53016 \, x^{2} + 4504 \, x - 136\right )} e^{\frac {8}{\log \relax (x)}}}{x \log \relax (x)^{2}}\,{d x} + \int -\frac {4 \, {\left (415292 \, x^{3} - {\left (311469 \, x^{3} - 26414 \, x^{2} + 797 \, x\right )} \log \relax (x)^{2} - 52828 \, x^{2} + 3188 \, x - 72\right )} e^{\frac {4}{\log \relax (x)}}}{x \log \relax (x)^{2}}\,{d x} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
mupad [F] time = 0.00, size = -1, normalized size = -0.05 \begin {gather*} -\int \frac {16\,{\mathrm {e}}^{\frac {16}{\ln \relax (x)}}-{\mathrm {e}}^{\frac {4}{\ln \relax (x)}}\,\left ({\ln \relax (x)}^2\,\left (1245876\,x^3-105656\,x^2+3188\,x\right )-12752\,x+211312\,x^2-1661168\,x^3+288\right )+{\ln \relax (x)}^2\,\left (-19518724\,x^4+2478498\,x^3-149462\,x^2+3365\,x\right )-{\mathrm {e}}^{\frac {12}{\ln \relax (x)}}\,\left (188\,x\,{\ln \relax (x)}^2-2256\,x+96\right )+{\mathrm {e}}^{\frac {8}{\ln \relax (x)}}\,\left ({\ln \relax (x)}^2\,\left (1126\,x-26508\,x^2\right )-9008\,x+106032\,x^2+272\right )}{x\,{\ln \relax (x)}^2} \,d x \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
sympy [B] time = 5.59, size = 75, normalized size = 3.41 \begin {gather*} 4879681 x^{4} - 826166 x^{3} + 74731 x^{2} - 3365 x + \left (188 x - 8\right ) e^{\frac {12}{\log {\relax (x )}}} + \left (13254 x^{2} - 1126 x + 34\right ) e^{\frac {8}{\log {\relax (x )}}} + \left (415292 x^{3} - 52828 x^{2} + 3188 x - 72\right ) e^{\frac {4}{\log {\relax (x )}}} + e^{\frac {16}{\log {\relax (x )}}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________