1) I have tried nearly all simplification methods, expansion, factorization, collect... on the following code for Ra1
var("x,a") Ra1 = -diff(x^a, x,2)/diff(x^a, x) show(Ra1)
but the self-evident simplification doesn't work. I wonder why. I also have tried to add assumption even I do not see why since it's only algebra
2) Is there a way to ask SM to factor on a variable ?