Question: How to make solving of system of polynomial equations faster?

Hey guys, 

I am working with Maple 2024. I have to solve many systems of polynomial equations symbolically. I have 8 equations, 8 variables and 14 inequalities (which also implies that I only want real solutions). In my opinion the equations are not too difficult. However there is a maximum of up to 4 variables multiplied together which could be a problem. Since I have to solve thousand of those systems I need to reduce the amount of time needed. While many of the systmes only take a few seconds, there are a few systems (10%) that need way to much time (multiple houres, sometimes I stop the process before the computation is over). 

In my attached file you can see the kind of equations I have. While "equations_500 union inequalities" only needs a few seconds, "equations_1162 union inequalities" needs more than 2 houres (than I stopped). 
I also tryed a second approach. At first I just solved the 8 equations. Then I took every solution, combined it with the set of inequalities and solved it again. Not only does it not work for equations_1162 eather, but it also sometimes brings the warning "solutions may have been lost" which is not really convincing. For that process I also used "with(RealDomain) since I only want to find real solutions when solving the eight equations in the first step. 

I figured out, that for the normal and simpel solve command it cqn help to rename the variables so the lexigraphic order as the initial situation playes a role. But when I understood the pages explaining SolveTools or Groebner, this optimal order of the variables is completed automatically inside these environments. 

So my question is: Is there any way to accelerate the process (in this case for equations_1162)? Waiting some minutes isfine, but I cant wait houres for one solution. 

Thank you in advance. 

solve_system_of_polynomials_with_inequalities.mw

Please Wait...