Function equivalent 

pub fn equivalent(
    a: &Expr,
    b: &Expr,
    alg: Algebra,
) -> Result<EquivalenceResult, LimitError>

判断两个表达式在给定语义下是否逻辑等价（默认预算）。