Can I use the Intermediate Data to accelerate solving speed?

[bobozi-cmd]

I need to solve million level size formulas whether not have solution. Those formulas will be insert into solving set one by one, like:

# first iter
solve(x1+x2==x3, x2*x4==x1, x5-x1==12)
# seconde iter
solve(x1+x2==x3, x2*x4==x1, x5-x1==12, x6+x7==x2)
...

I find the speed of solving become slower with set size enlarge, so I want to find a method to speed up solving speed, maybe I can multiplex the intermediate data to achieve this?
This image is my benchmark to test the speed on my dataset.