A multi-level tensor algebra superoptimizer - View it on GitHub