slide (cargo): A static expression optimizer.
Keywords: math|rewrite-system