\[ \int -\frac {5 e^{3+e^x+x}}{25+10 e^{3+e^x}+e^{6+2 e^x}} \, dx \]
Optimal antiderivative \[ \frac {5}{5+{\mathrm e}^{3} {\mathrm e}^{{\mathrm e}^{x}}} \]
command
integrate(-5*exp(3)*exp(x)*exp(exp(x))/(exp(3)^2*exp(exp(x))^2+10*exp(3)*exp(exp(x))+25),x, algorithm="giac")
Giac 1.9.0-11 via sagemath 9.6 output
\[ \frac {5}{e^{\left (e^{x} + 3\right )} + 5} \]
Giac 1.7.0 via sagemath 9.3 output
\[ \text {Exception raised: NotImplementedError} \]________________________________________________________________________________________