https://123dok.net/document/yr310ro8-polynomial-time-over-the-reals-with-parsimony.html