improve xor handling: faster gauss and more thorough search for equivalences