get normal form for: mergesort(rev(times(10, 10)))