Partial solution for bug 1452341: solve(x^(5/2)+1,x)



ratsimp basically renames 5^(1/2)*(5^(2/3)+5^(1/3))    to  be  a*(b^2+b), 
where a=sqrt(5), b= 5^(1/3), rationally simplifies.
sometimes there is a dusting of extra simplification like    a^2 would be 5, 
at the end.

If you have some ideas that are cheap and effective, go to it!

RJF