That is already happening. For instance
`r1 * r2**2 + r4 * r3**2  - testplus < S(0.00001)`

Anyway, I'll take a look into the functions you have mentioned.