There's a lot more stuff in sage, like good support for graph theory and group theory, which iPython doesn't even touch. It also wraps a number of other pieces of excellent open source projects.
sagemath is such a distribution, but also a rather thick layer of algorithms on top of that. many of them are actually written in cython, to make them fast and to have a good binding with those libraries, etc.