At a slight expense to readability, optimize out redundant negations in the GJK algorithm.