simplifying radical expressions with variables