rewrites: 11 in 0ms cpu (0ms real) (~ rewrites/second) result Nat: f(4, 2, p, 0, 0)