Expand description
Elementary Function Simplification Strategies
Implements algebraic rewrite rules for elementary functions (sqrt, abs, exp).
Structsยง
- AbsSimplification
Strategy - Absolute value simplification strategy
- ExpSimplification
Strategy - Exponential function simplification strategy
- Sqrt
Simplification Strategy - Square root simplification strategy