Normal form of: perm(s(s(s(s(s(s(s(Zero)))))))) is: insert1(s(s(s(s(s(s(s(Zero))))))),insert1(s(s(s(s(s(s(Zero)))))),insert1(s(s(s(s(s(Zero))))),insert1(s(s(s(s(Zero)))),insert1(s(s(s(Zero))),insert1(s(s(Zero)),p(l(s(Zero))))))))) Evaluated: [user/system] = [0.00s/0.00s]