Simplifying square roots