Simplifying Radicals with variables