bit more on sympy, inequalities, evalf, ...