new expm1 and improved log1p check, checks assert conditions