Simplifying and manipulating square roots