answered 8 years ago
This isn't necessarily simplification; which one is really "simpler"? But Sage does support this - you may want a combination of several symbolic methods. Try this.
f = x^2 + 2*x + 1 f.factor()