\[ \int \frac {12 x^2 \log (2)+3 e^{2/x} x^2 \log (2)+3 e^{\frac {2 \left (x^3+x^3 \log (2)\right )}{\log (2)}} x^2 \log (2)+e^{\frac {1}{x}} \left (5+12 x^2\right ) \log (2)+e^{\frac {x^3+x^3 \log (2)}{\log (2)}} \left (15 x^4-6 e^{\frac {1}{x}} x^2 \log (2)+\left (-12 x^2+15 x^4\right ) \log (2)\right )}{12 x^2 \log (2)+12 e^{\frac {1}{x}} x^2 \log (2)+3 e^{2/x} x^2 \log (2)+3 e^{\frac {2 \left (x^3+x^3 \log (2)\right )}{\log (2)}} x^2 \log (2)+e^{\frac {x^3+x^3 \log (2)}{\log (2)}} \left (-12 x^2 \log (2)-6 e^{\frac {1}{x}} x^2 \log (2)\right )} \, dx \]
Optimal antiderivative \[ \frac {5}{3 \left ({\mathrm e}^{\frac {1}{x}}-{\mathrm e}^{\frac {x^{2} \left (x \ln \left (2\right )+x \right )}{\ln \left (2\right )}}+2\right )}+x \]
command
integrate((3*x^2*log(2)*exp((x^3*log(2)+x^3)/log(2))^2+(-6*x^2*log(2)*exp(1/x)+(15*x^4-12*x^2)*log(2)+15*x^4)*exp((x^3*log(2)+x^3)/log(2))+3*x^2*log(2)*exp(1/x)^2+(12*x^2+5)*log(2)*exp(1/x)+12*x^2*log(2))/(3*x^2*log(2)*exp((x^3*log(2)+x^3)/log(2))^2+(-6*x^2*log(2)*exp(1/x)-12*x^2*log(2))*exp((x^3*log(2)+x^3)/log(2))+3*x^2*log(2)*exp(1/x)^2+12*x^2*log(2)*exp(1/x)+12*x^2*log(2)),x, algorithm="giac")
Giac 1.9.0-11 via sagemath 9.6 output
\[ \text {output too large to display} \]
Giac 1.7.0 via sagemath 9.3 output \[ \text {Timed out} \]_______________________________________________________