simplifying radicals with variables