Just an idea: implement the "square root denesting" ideas of http://www.almaden.ibm.com/cs/people/fagin/symb85.pdf doesn't look to complicated.
I am happy to work on this after the prettyprinter works: that we can see what we are doing :-)
- Jurjen

Original issue for #3192: http://code.google.com/p/sympy/issues/detail?id=93

Original author: https://code.google.com/u/105448442912468869732/