Simplifying radical expressions