I have looked at this more in depth, I was wrong, there are no visible improvements… Sorry for the buzz… I’ll attach some profiling I did later
BTW: the algorithm for diagonalization has the same name as the algorithm for solving linear equations that confused me at first.