simplifying expressions involving square roots