Does Sage have a function to simplify symbolic expressions in a similar way to how the other major CAS do it? I.e. use heuristics to try to come up with a form which is likely to seem simpler to humans, which is certainly subjective and cannot be done perfectly, but it's also certainly very useful.
simplify doesn't do this, and the documentation is a bit confusing: it says that f = I + x - x; simplify(f) gives I, but so does just printing f. So what's the point of simplify?
I'm sure there must be a function that does this, as I beieve Sage includes several good CAS, I just can't find it.
Some examples to try:
(sqrt(2) - 1)*(sqrt(2)+1)
1/(3*(1 + x)) - (2*x - 1)/(6*(x^2 - x + 1)) + 2/(3*(1 + ((2*x - 1)^2)/3))
(Second one taken from Mathematica documentation.)
I know I can play with expand and factor but is there a less manual way?
