get normal form for: qsort(rev(10)) % resut: % cons(0,cons(s(0),cons(s(s(0)),cons(s(s(s(0))),cons(s(s(s(s(0)))),cons(s(s(s(s(s(0))))),cons(s(s(s(s(s(s(0)))))),cons(s(s( % s(s(s(s(s(0))))))),cons(s(s(s(s(s(s(s(s(0)))))))),cons(s(s(s(s(s(s(s(s(s(0))))))))),cons(s(s(s(s(s(s(s(s(s(s( % 0)))))))))),nil)))))))))))