Nice. 4.5 -> 2.7 seconds on my machine when using 'quot' instead of '/'. 2.4 seconds when hinting ^long in argument of collatz-length. 1.6 when also hinting

Nice. 4.5 -> 2.7 seconds on my machine when using 'quot' instead of '/'. 2.4 seconds when hinting ^long in argument of collatz-length. 1.6 when also hinting ^long in collatz-next. Interestingly, when I hint only in collatz-next it takes 1.5.