jdlib_expr : pow operation and new simplification rules