Optimize GJK by removing an unneeded division and a square root.