Logic for simplifying radicals seems to be working, to be double checked later