This story has moved to /story/axon-a-synthesizing-superoptimizer-for-tensor-programs/.