Enum SymExpr 

pub enum SymExpr {
    Const(f64),
    Var(String),
    Add(Box<SymExpr>, Box<SymExpr>),
    Mul(Box<SymExpr>, Box<SymExpr>),
    Pow(Box<SymExpr>, f64),
    Sin(Box<SymExpr>),
    Cos(Box<SymExpr>),
    Exp(Box<SymExpr>),
    Ln(Box<SymExpr>),
    Neg(Box<SymExpr>),
}

Symbolic expression representation for automatic symbolic differentiation.

These are value-level symbolic expressions that can be differentiated symbolically before evaluation. This provides exact derivatives without numerical error.

Variants

Const(f64)

Constant value

Var(String)

Variable reference (by name)

Add(Box<SymExpr>, Box<SymExpr>)

Addition

Mul(Box<SymExpr>, Box<SymExpr>)

Multiplication

Pow(Box<SymExpr>, f64)

Power: base^exponent (exponent is a constant)

Sin(Box<SymExpr>)

Sine

Cos(Box<SymExpr>)

Cosine

Exp(Box<SymExpr>)

Exponential

Ln(Box<SymExpr>)

Natural logarithm

Neg(Box<SymExpr>)

Negation

Implementations

impl SymExpr

pub fn differentiate(&self, var: &str) -> SymExpr

Symbolically differentiate with respect to variable var.

pub fn eval(&self, bindings: &BTreeMap<String, f64>) -> f64

Evaluate the symbolic expression with the given variable bindings.

Trait Implementations

impl Clone for SymExpr

fn clone(&self) -> SymExpr

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for SymExpr

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl PartialEq for SymExpr

fn eq(&self, other: &SymExpr) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl StructuralPartialEq for SymExpr