Simplification of nested radicals | IEEE Conference Publication | IEEE Xplore