sqrt (actually expt) now simplifies sqrt(n) into m*sqrt(f) where f is square free