get normal form for: rev(fact(s(s(s(s(s(0)))))))