Best way to simplify radicals with variables