When you take a square root in SymPy, a square root that's not a square root is printed as it would look in a textbook. It will also automatically factor out any perfect squares.