Hello,
my name is Andrei and I'm a student from Germany (I couldn't find a contact E-Mail on the website of Sympy, so I'm posting this here).
This
website claims that Sympy is the only CAS known to be able to integrate this function in finite terms:
f = (x**2+2*x+1+(3*x+1)*sqrt(x+log(x)))/(x*sqrt(x+log(x))*(x+sqrt(x+log(x))))
Can someone tell me what algorithm is used to integrate f ?
(f is clearly not purely transcendental, so I wounder whether the Risch Algorithm for mixed functions is implemented or not)