Got the normal-form flag implemented and working, insert-sort down to 120secs again. Still prettty slow though.