Redirecting to Semialgebraic set