step1 8348 0.04535984992980957
step2 5636 1.7411599159240723
step3 13400 3.037451982498169
terms 13400 negative coefficients 0 constant term 20639121408000
python3 positivity.py  0.92s user 0.01s system 30% cpu 3.081 total
