3.3 Problem number 559

\[ \int \frac {F^{\frac {2 \sqrt {1-a x}}{\sqrt {1+a x}}}}{1-a^2 x^2} \, dx \]

Optimal antiderivative \[ -\frac {\expIntegral \! \left (\frac {2 \ln \left (F \right ) \sqrt {-a x +1}}{\sqrt {a x +1}}\right )}{a} \]

command

integrate(F^(2*(-a*x+1)^(1/2)/(a*x+1)^(1/2))/(-a^2*x^2+1),x, algorithm="fricas")

Fricas 1.3.8 (sbcl 2.2.11.debian) via sagemath 9.6 output

\[ \text {could not integrate} \]

Fricas 1.3.7 via sagemath 9.3 output

\[ -\frac {{\rm Ei}\left (\frac {2 \, \sqrt {-a x + 1} \log \left (F\right )}{\sqrt {a x + 1}}\right )}{a} \]