If you want to test this, this corresponds to the integral of the derivative of `((x*log(x) - log(x))/-((x + exp(x**2))*(2*x**2 - 1)) + Integral(exp(x**2)/(exp(x**2) + 1), x)` (and the same below). Previously, it was wrong, which you could see by differentiating the result and trying to simplify the difference to 0.