Functional_square_root