jdlib_expr : no inv anymore, some new simplification rules