I have the following expression (the solution of Kamke ODE 1.63):
res:(sqrt(x+1)*'integrate(abs(sqrt(y+1)+y)/(y^2+1),y)-2)/sqrt(x+1)+%c;
I try to see if it can be written explicitly in y:
solve(res,y);
[]
I don't know why this returns empty. Without abs(), it gives me
res:(sqrt(x+1)*'integrate((sqrt(y+1)+y)/(y^2+1),y)-2)/sqrt(x+1)+%c;
grind(solve(res,y));
['integrate((sqrt(y+1)+y)/(y^2+1),y) = -(%c*sqrt(x+1)-2)/sqrt(x+1)]$
This seems to be a bug. Thanks for looking into this.
Best,
Nijso