resolve Sqrt_x