rounding_test:  s*s*s*s ==>(s*s)*(s*s)