return S.Reals for solve_univariate_real(0, x)