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