Symbol: M_get_sqrt_guess