Rationalizing Denominators with Radicals Cruncher