Same algorithm, 16x faster: optimizing a vector search engine’s hot path