Normal form of: f(s(s(s(s(s(s(Zero)))))),s(s(s(s(s(Zero))))),s(s(Zero)),Zero,One) is: f(s(s(s(s(s(s(Zero)))))),s(s(s(s(Zero)))),p,Zero,Zero) Evaluated: [user/system] = [0.00s/0.00s]