Module symbolic

Symbolic optimization using egglog for algebraic simplification

This module provides Layer 2 optimization in our three-layer optimization strategy:

1. Hand-coded domain optimizations (in JIT layer)
2. Egglog symbolic optimization (this module)
3. Cranelift low-level optimization

The symbolic optimizer handles algebraic identities, constant folding, and structural optimizations that can be expressed as rewrite rules.

Re-exports

pub use crate::backends::rust_codegen::RustOptLevel;

Structs

ExpressionStats

Statistics for tracking expression usage patterns

OptimizationConfig

Optimization configuration

OptimizationStats

Optimization statistics

SymbolicOptimizer

Symbolic optimizer using egglog for algebraic simplification

Enums

CompilationApproach

Compilation approach decision for a specific expression

CompilationStrategy

Compilation strategy for mathematical expressions

Traits

OptimizeExpr

Trait for optimizable expressions