stat for ppRewrite in arith