Simplifying expressions involving square roots